Обзор теоретико-типового подхода для построения диалоговых систем

Г. Ю. Лобанов

Аннотация


В статье представлен обзор теоретико-типового подхода для построения целеориентированных диалоговых систем. Он опирается на встроенную в программную платформу Grammatical Framework — систему редактирования доказательств. Взаимодействие диалогового агента и пользователя представляет собой пошаговое конструирование корректно типизированного выражения. Опи- саны способы сохранения и обновления информационного состояния диалога для учета контекста.

Полный текст:

PDF

Литература


Bohlin P. et al. Survey of existing interactive systems. Trindi deliverable D1.3, 1999.

Jurafsky D., Martin J. H. Speech and Language Processing. Third edition, unpublished draft.

Ljunglöf P. Dialogue management as interactive tree building. Proceedings of the 13th Workshop on the Semantics and Pragmatics of Dialogue, June 24–26, 2009, Stockholm, Sweden. 2009, p. 83–90.

Martin-Löf P., Sambin G. Intuitionistic type theory. Napoli, Bibliopolis, 1984.

Ranta A., Cooper R. Dialogue systems as proof editors. Journal of Logic, Language and Information 13.2, 2004, p. 225–240.

Ranta A. Grammatical Framework: A Type-Theoretical Grammar Formalism. Journal of Functional Programming 14.2, 2004, p. 145–189.

Ranta A. Type-Theoretical Grammar. Oxford Science Publications, 1995.

GF—Grammatical Framework. 2018. URL: www.grammaticalframework.org (accessed: 28.05.2024).

GF Resource Grammar Library: Synopsis. 2018. URL: www.grammaticalframework.org/lib/doc/synopsis.html (accessed: 28.05.2024).




DOI: https://doi.org/10.52119/LPHS.2024.87.26.008

Ссылки

  • На текущий момент ссылки отсутствуют.


Bookmark and Share


(c) 2024 Г. Ю. Лобанов

Лицензия Creative Commons
Это произведение доступно по лицензии Creative Commons «Attribution-NonCommercial» («Атрибуция — Некоммерческое использование») 4.0 Всемирная.