ИНТЕЛРОС > №4, 2018 > Теория типов Мартина-Лёфа как мультиагентная формальная эпистемическая система

Родин А.В.
Теория типов Мартина-Лёфа как мультиагентная формальная эпистемическая система


19 февраля 2019

Ранта безосновательно называет произвольные подстанов­ки переменных из одних контекстов ТТМЛ в другие «расши­рениями контекстов», предполагая при этом, что контексты всегда формируют частичный порядок. Однако хорошо из­вестно, что это не так: в общем случае категория контекстов ТТМЛ представляет собой локально декартово замкнутую категорию. Поэтому предложенное Домановым понимание таких подстановок как взаимных интерпретаций знаний, от­носящихся к различными эпистемическими агентам, является более адекватным. Предложенный Домановым анализ может быть усовершенствован, если эта точка зрения будет прове­дена более последовательно, чем это сделал Доманов в об­суждаемой статье.


Вернуться назад