Использование модальной логики для проектирования оболочек экспертных систем; Известия Томского политехнического университета [Известия ТПУ]; Т. 308, № 4
| Parent link: | Известия Томского политехнического университета [Известия ТПУ]/ Томский политехнический университет (ТПУ).— , 2000- Т. 308, № 4.— 2005.— [С. 173-177] |
|---|---|
| Egile nagusia: | |
| Gaia: | Заглавие с титульного листа Электронная версия печатной публикации Рассматривается применение модальной логики в качестве механизма вывода экспертных систем. Для примера взята автоэпистемическая логика, являющаяся развитием модальной логики Мак-Дермотта. Описываются такие фундаментальные свойства теории как полнота и адекватность, благодаря которым можно говорить о верных результатах вывода системы. Дается понятие нормальной модальной системы, и указаны аксиомы, за счет которых эти системы обогащаются. Приводится разрешающая процедура для автоэпистемической логики, и описываются ситуации, в которых ее применение будет полезно для механизма вывода экспертных систем. |
| Hizkuntza: | errusiera |
| Argitaratua: |
2005
|
| Saila: | Технические науки |
| Gaiak: | |
| Sarrera elektronikoa: | http://www.lib.tpu.ru/fulltext/v/Bulletin_TPU/2005/v308/i4/40.pdf |
| Formatua: | Baliabide elektronikoa Liburu kapitulua |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=170630 |
MARC
| LEADER | 00000nla2a2200000 4500 | ||
|---|---|---|---|
| 001 | 170630 | ||
| 005 | 20231031163736.0 | ||
| 035 | |a (RuTPU)RU\TPU\book\185035 | ||
| 035 | |a RU\TPU\book\185033 | ||
| 090 | |a 170630 | ||
| 100 | |a 20091124d2005 k y0rusy50 ca | ||
| 101 | 0 | |a rus | |
| 102 | |a RU | ||
| 135 | |a drnn ---uucaa | ||
| 181 | 0 | |a i | |
| 182 | 0 | |a b | |
| 200 | 1 | |a Использование модальной логики для проектирования оболочек экспертных систем |b Электронный ресурс |f Д. С. Ларионов | |
| 203 | |a Текст |c электронный | ||
| 215 | |a 1 файл (609 Кб) | ||
| 225 | 1 | |a Технические науки | |
| 230 | |a Электронные текстовые данные (1 файл : 609 Кб) | ||
| 300 | |a Заглавие с титульного листа | ||
| 300 | |a Электронная версия печатной публикации | ||
| 320 | |a [Библиогр.: с. 177 (9 назв.)] | ||
| 330 | |a Рассматривается применение модальной логики в качестве механизма вывода экспертных систем. Для примера взята автоэпистемическая логика, являющаяся развитием модальной логики Мак-Дермотта. Описываются такие фундаментальные свойства теории как полнота и адекватность, благодаря которым можно говорить о верных результатах вывода системы. Дается понятие нормальной модальной системы, и указаны аксиомы, за счет которых эти системы обогащаются. Приводится разрешающая процедура для автоэпистемической логики, и описываются ситуации, в которых ее применение будет полезно для механизма вывода экспертных систем. | ||
| 337 | |a Adobe Reader | ||
| 461 | 1 | |0 (RuTPU)RU\TPU\book\176237 |t Известия Томского политехнического университета [Известия ТПУ] |f Томский политехнический университет (ТПУ) |d 2000- | |
| 463 | 1 | |0 (RuTPU)RU\TPU\book\184960 |t Т. 308, № 4 |v [С. 173-177] |d 2005 |p 254 с. | |
| 610 | 1 | |a использование | |
| 610 | 1 | |a модальная логика | |
| 610 | 1 | |a проектирование | |
| 610 | 1 | |a оболочки | |
| 610 | 1 | |a экспертные системы | |
| 610 | 1 | |a механизмы | |
| 610 | 1 | |a примеры | |
| 610 | 1 | |a автоэпистемическая логика | |
| 610 | 1 | |a логика Мак-Дермотта | |
| 610 | 1 | |a фундаментальные свойства | |
| 610 | 1 | |a теории | |
| 610 | 1 | |a полнота | |
| 610 | 1 | |a адекватность | |
| 610 | 1 | |a результаты | |
| 610 | 1 | |a нормальные модальные системы | |
| 610 | 1 | |a аксиомы | |
| 610 | 1 | |a ситуации | |
| 610 | 1 | |a труды учёных ТПУ | |
| 610 | 1 | |a электронный ресурс | |
| 700 | 1 | |a Ларионов |b Д. С. | |
| 801 | 1 | |a RU |b 63413507 |c 20090623 |g PSBO | |
| 801 | 2 | |a RU |b 63413507 |c 20211012 |g PSBO | |
| 856 | 4 | |u http://www.lib.tpu.ru/fulltext/v/Bulletin_TPU/2005/v308/i4/40.pdf | |
| 942 | |c CF | ||