Использование модальной логики для проектирования оболочек экспертных систем
| Parent link: | Известия Томского политехнического университета [Известия ТПУ]/ Томский политехнический университет (ТПУ).— , 2000- Т. 308, № 4.— 2005.— [С. 173-177] |
|---|---|
| Autor principal: | |
| Sumari: | Заглавие с титульного листа Электронная версия печатной публикации Рассматривается применение модальной логики в качестве механизма вывода экспертных систем. Для примера взята автоэпистемическая логика, являющаяся развитием модальной логики Мак-Дермотта. Описываются такие фундаментальные свойства теории как полнота и адекватность, благодаря которым можно говорить о верных результатах вывода системы. Дается понятие нормальной модальной системы, и указаны аксиомы, за счет которых эти системы обогащаются. Приводится разрешающая процедура для автоэпистемической логики, и описываются ситуации, в которых ее применение будет полезно для механизма вывода экспертных систем. |
| Idioma: | rus |
| Publicat: |
2005
|
| Col·lecció: | Технические науки |
| Matèries: | |
| Accés en línia: | http://www.lib.tpu.ru/fulltext/v/Bulletin_TPU/2005/v308/i4/40.pdf |
| Format: | Electrònic Capítol de llibre |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=170630 |
| Descripció física: | 1 файл (609 Кб) |
|---|---|
| Sumari: | Заглавие с титульного листа Электронная версия печатной публикации Рассматривается применение модальной логики в качестве механизма вывода экспертных систем. Для примера взята автоэпистемическая логика, являющаяся развитием модальной логики Мак-Дермотта. Описываются такие фундаментальные свойства теории как полнота и адекватность, благодаря которым можно говорить о верных результатах вывода системы. Дается понятие нормальной модальной системы, и указаны аксиомы, за счет которых эти системы обогащаются. Приводится разрешающая процедура для автоэпистемической логики, и описываются ситуации, в которых ее применение будет полезно для механизма вывода экспертных систем. |