Использование модальной логики для проектирования оболочек экспертных систем
| Parent link: | Известия Томского политехнического университета [Известия ТПУ]/ Томский политехнический университет (ТПУ).— , 2000- Т. 308, № 4.— 2005.— [С. 173-177] |
|---|---|
| Autor Principal: | |
| Summary: | Заглавие с титульного листа Электронная версия печатной публикации Рассматривается применение модальной логики в качестве механизма вывода экспертных систем. Для примера взята автоэпистемическая логика, являющаяся развитием модальной логики Мак-Дермотта. Описываются такие фундаментальные свойства теории как полнота и адекватность, благодаря которым можно говорить о верных результатах вывода системы. Дается понятие нормальной модальной системы, и указаны аксиомы, за счет которых эти системы обогащаются. Приводится разрешающая процедура для автоэпистемической логики, и описываются ситуации, в которых ее применение будет полезно для механизма вывода экспертных систем. |
| Publicado: |
2005
|
| Series: | Технические науки |
| Subjects: | |
| Acceso en liña: | http://www.lib.tpu.ru/fulltext/v/Bulletin_TPU/2005/v308/i4/40.pdf |
| Formato: | Electrónico Capítulo de libro |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=170630 |
| Descrición Física: | 1 файл (609 Кб) |
|---|---|
| Summary: | Заглавие с титульного листа Электронная версия печатной публикации Рассматривается применение модальной логики в качестве механизма вывода экспертных систем. Для примера взята автоэпистемическая логика, являющаяся развитием модальной логики Мак-Дермотта. Описываются такие фундаментальные свойства теории как полнота и адекватность, благодаря которым можно говорить о верных результатах вывода системы. Дается понятие нормальной модальной системы, и указаны аксиомы, за счет которых эти системы обогащаются. Приводится разрешающая процедура для автоэпистемической логики, и описываются ситуации, в которых ее применение будет полезно для механизма вывода экспертных систем. |