|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Экспликация понятия изменения знания в динамической эпистемической логикедипломная работа (Магистр)
- Научный руководитель: Григорьев О.М.
- Автор: Манахова Т.А.
- Тип: Магистр
- Организация, в которой проходила защита: МГУ имени М.В. Ломоносова
- Год защиты: 2018
- Аннотация: Квалификационная работа Манаховой Татьяны Алексеевны посвящена интересной и активно разрабатываемой в современной логике проблематике – исследованию с логической точки зрения ситуаций изменения совокупности знаний познающего субъекта. Автором выпускной квалификационной работы была предложена идея рассмотреть публичные объявления как разновидность абдукции, логической процедуры поиска объясняющих гипотез. При этом за основу был взят подход к экспликации абдуктивных рассуждений посредством аналитико-табличного метода в модальной логике, а также имеющиеся аналитико-табличные исчисления для стандартной логики публичных объявлений. Был разработан механизм поиска объясняющих гипотез (формул, необходимых для получения замкнутой таблицы) и исследовано применение полученного аппарата для решения познавательных стандартных задач, хорошо известных в логике знания.
- Добавил в систему: Григорьев Олег Михайлович