Использование модальной логики для проектирования оболочек экспертных систем; Известия Томского политехнического университета [Известия ТПУ]; Т. 308, № 4
| Parent link: | Известия Томского политехнического университета [Известия ТПУ]/ Томский политехнический университет (ТПУ).— , 2000- Т. 308, № 4.— 2005.— [С. 173-177] |
|---|---|
| المؤلف الرئيسي: | |
| الملخص: | Заглавие с титульного листа Электронная версия печатной публикации Рассматривается применение модальной логики в качестве механизма вывода экспертных систем. Для примера взята автоэпистемическая логика, являющаяся развитием модальной логики Мак-Дермотта. Описываются такие фундаментальные свойства теории как полнота и адекватность, благодаря которым можно говорить о верных результатах вывода системы. Дается понятие нормальной модальной системы, и указаны аксиомы, за счет которых эти системы обогащаются. Приводится разрешающая процедура для автоэпистемической логики, и описываются ситуации, в которых ее применение будет полезно для механизма вывода экспертных систем. |
| اللغة: | الروسية |
| منشور في: |
2005
|
| سلاسل: | Технические науки |
| الموضوعات: | |
| الوصول للمادة أونلاين: | http://www.lib.tpu.ru/fulltext/v/Bulletin_TPU/2005/v308/i4/40.pdf |
| التنسيق: | الكتروني فصل الكتاب |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=170630 |
| وصف مادي: | 1 файл (609 Кб) |
|---|---|
| الملخص: | Заглавие с титульного листа Электронная версия печатной публикации Рассматривается применение модальной логики в качестве механизма вывода экспертных систем. Для примера взята автоэпистемическая логика, являющаяся развитием модальной логики Мак-Дермотта. Описываются такие фундаментальные свойства теории как полнота и адекватность, благодаря которым можно говорить о верных результатах вывода системы. Дается понятие нормальной модальной системы, и указаны аксиомы, за счет которых эти системы обогащаются. Приводится разрешающая процедура для автоэпистемической логики, и описываются ситуации, в которых ее применение будет полезно для механизма вывода экспертных систем. |