Вычислимые модели интенсиональной логики Доклады на конференциях
Язык | Русский | ||
---|---|---|---|
Тип доклада | Секционный | ||
Url доклада | http://old.math.nsc.ru/conference/malmeet/23/ProgramCT.pdf | ||
Конференция |
Мальцевские чтения : Международная конференция 13-17 нояб. 2023 , Новосибирск |
||
Авторы |
|
||
Организации |
|
Реферат:
Рассматриваются алгоритмические свойства моделей интенсиональной
логики Монтегю, используемых в математической лингвистике для формализации и представления семантики предложений естественного языка.
Функционалы конечных типов играют важную роль в структуре таких моделей . Построены несколько вычислимых моделей пространств функционалов конечных типов, свойства которых зависят от выбора трех базовых пространств: для сущностей, для истинностных значений, и для состояний. Работа выполнена в рамках государственноого задания ИМ СО РАН, номер проекта FWNF-2022-0012.
Библиографическая ссылка:
Стукачев А.И.
Вычислимые модели интенсиональной логики
Мальцевские чтения : Международная конференция 13-17 нояб. 2023
Вычислимые модели интенсиональной логики
Мальцевские чтения : Международная конференция 13-17 нояб. 2023