22 января в 12.00 в конференц-зале ИФПР СО РАН состоится очередное заседание семинара по социальной эпистемологии и искусственному интеллекту.
Докладчик: старший научный сотрудник ИФПР СО РАН О.А. Доманов.
Тема доклада: Формализация естественного языка: теоретико-типовой подход
Интуиционистская теория типов П.Мартин-Лёфа это конструктивистская математическая теория, которую можно рассматривать как вариант теоретико-доказательственной семантики. В докладе обсуждаются возможности применения теории типов для анализа семантики естественного языка. Основное внимание будет уделено теоретико-типовой семантике (Ranta) и теории «Смысл—Текст» (Мельчук, Жолковский).
Литература
1. Martin-Löf, P. (1984). An intuitionistic type theory. Napoli: Bibliopolis.
2. Ranta, A. (1994). Type-theoretical grammar. Clarendon Press.
3. Mel'čuk, I., Milićević, J. (2020) An Advanced Introduction to Semantics: A Meaning-Text Approach. CUP.