Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
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.pdf | 613,38 kB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.