Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: http://earchive.tpu.ru/handle/11683/763
Название: Использование модальной логики для проектирования оболочек экспертных систем
Авторы: Ларионов, Д. С.
Ключевые слова: использование; модальная логика; проектирование; оболочки; экспертные системы; механизмы; примеры; автоэпистемическая логика; логика Мак-Дермотта; фундаментальные свойства; теории; полнота; адекватность; результаты; нормальные модальные системы; аксиомы; ситуации
Дата публикации: 2005
Издатель: Томский политехнический университет
Библиографическое описание: Ларионов Д. С. Использование модальной логики для проектирования оболочек экспертных систем / Д. С. Ларионов // Известия Томского политехнического университета [Известия ТПУ]. — 2005. — Т. 308, № 4. — [С. 173-177].
Аннотация: Рассматривается применение модальной логики в качестве механизма вывода экспертных систем. Для примера взята автоэпистемическая логика, являющаяся развитием модальной логики Мак-Дермотта. Описываются такие фундаментальные свойства теории как полнота и адекватность, благодаря которым можно говорить о верных результатах вывода системы. Дается понятие нормальной модальной системы, и указаны аксиомы, за счет которых эти системы обогащаются. Приводится разрешающая процедура для автоэпистемической логики, и описываются ситуации, в которых ее применение будет полезно для механизма вывода экспертных систем.
URI: http://earchive.tpu.ru/handle/11683/763
Располагается в коллекциях:Известия ТПУ

Файлы этого ресурса:
Файл Описание РазмерФормат 
bulletin_tpu-2005-308-4-40.pdf613,38 kBAdobe PDFПросмотреть/Открыть


Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.