Please use this identifier to cite or link to this item:
http://earchive.tpu.ru/handle/11683/763
Title: | Использование модальной логики для проектирования оболочек экспертных систем |
Authors: | Ларионов, Д. С. |
Keywords: | использование; модальная логика; проектирование; оболочки; экспертные системы; механизмы; примеры; автоэпистемическая логика; логика Мак-Дермотта; фундаментальные свойства; теории; полнота; адекватность; результаты; нормальные модальные системы; аксиомы; ситуации |
Issue Date: | 2005 |
Publisher: | Томский политехнический университет |
Citation: | Ларионов Д. С. Использование модальной логики для проектирования оболочек экспертных систем / Д. С. Ларионов // Известия Томского политехнического университета [Известия ТПУ]. — 2005. — Т. 308, № 4. — [С. 173-177]. |
Abstract: | Рассматривается применение модальной логики в качестве механизма вывода экспертных систем. Для примера взята автоэпистемическая логика, являющаяся развитием модальной логики Мак-Дермотта. Описываются такие фундаментальные свойства теории как полнота и адекватность, благодаря которым можно говорить о верных результатах вывода системы. Дается понятие нормальной модальной системы, и указаны аксиомы, за счет которых эти системы обогащаются. Приводится разрешающая процедура для автоэпистемической логики, и описываются ситуации, в которых ее применение будет полезно для механизма вывода экспертных систем. |
URI: | http://earchive.tpu.ru/handle/11683/763 |
Appears in Collections: | Известия Томского политехнического университета. Инжиниринг георесурсов |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
bulletin_tpu-2005-308-4-40.pdf | 613,38 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.