|
Итоги науки и техники. Серия «Теория вероятностей. Математическая статистика. Теоретическая кибернетика», 1988, том 28, страницы 3–84
(Mi intv75)
|
|
|
|
Эта публикация цитируется в 6 научных статьях (всего в 6 статьях)
Правдоподобные выводы и правдоподобные рассуждения
В. К. Финн
Аннотация:
Работа посвящена центральному элементу любой «интеллектоподобной» системы формальным моделям рассуждений (правдоподобных рассуждений, выводов) и методам их автоматической реализации в компьютерных системах. Дается классификация типов выводов и краткая характеристика исторического развития соответствующих теорий. Подробно представлен так называемый ДСМ-метод автоматического порождения гипотез, используемый в решателе типа «правдоподобный вывод + достоверный вывод» логической информационно-вычислительной системы (ЛИВС).
Библ. 75.
Образец цитирования:
В. К. Финн, “Правдоподобные выводы и правдоподобные рассуждения”, Итоги науки и техн. Сер. Теор. вероятн. Мат. стат. Теор. кибернет., 28, ВИНИТИ, М., 1988, 3–84; J. Soviet Math., 56:1 (1991), 2201–2248
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/intv75 https://www.mathnet.ru/rus/intv/v28/p3
|
Статистика просмотров: |
Страница аннотации: | 1174 | PDF полного текста: | 1263 |
|