519.8 Д706 Достоверный и правдоподобный вывод в интеллектуальных системах : учеб. пособие для вузов по напр. "Прикл. математика и информатика", "Информатика и вычисл. техника" / Под ред. В.Н. Вагина, Д.А. Поспелова. - Изд. 2-е, испр. и доп. - М. : ФИЗМАТЛИТ, 2008. - 710 с. : ил. - ISBN 978-5-9221-0962-8 : 660 р. Допущено МО РФ ГРНТИ 28.29.03 28 УДК:519.816(075.8)007(075.8) Ключевые слова: интеллектуальные системы -- достоверный вывод -- правдоподобный вывод -- формальные системы -- автоматическое доказательство теорем -- вывод на графе связей -- вывод на графе дизъюнктов -- вывод на аналитических таблицах -- вывод на иерархических структурах -- аргументация -- абдукция -- монотонные модальные логики -- немонотонные модальные логики -- логическое программирование -- индукция -- обобщение -- учебные пособия Доп.точки доступа: Вагин, Вадим Николаевич \ред.\ --- Поспелов, Дмитрий Александрович \ред.\ --- Экземпляры всего: 5 Mесто хранения: чз (3), аб (2) Свободны: чз (3), аб (2) |