Семинар по социальной эпистемологии и искусственному интеллекту. О.А.Доманов "Формализация естественного языка: теоретико-типовой подход"
22 января в 12.00 в конференц-зале ИФПР СО РАН состоится очередное заседание семинара по социальной эпистемологии и искусственному интеллекту.
Докладчик: старший научный сотрудник ИФПР СО РАН О.А. Доманов.
Тема доклада: Формализация естественного языка: теоретико-типовой подход
Интуиционистская теория типов П.Мартин-Лёфа это конструктивистская математическая теория, которую можно рассматривать как вариант теоретико-доказательственной…
(читать далее)