Книга: Вагин Вадим Николаевич, Головина Елена Юрьевна, Загорянская Анастасия Анатольевна «Достоверный и правдоподобный вывод в интеллектуальных системах»

Рассматриваются методы достоверного (дедуктивного) и правдоподобного (абдуктивного, индуктивного) выводов в интеллектуальных системах различного назначения. Приводятся методы дедуктивного вывода на графовых структурах. Описываются как классические, так и немонотонные модальные логики: логики убеждения и знания, немонотонные логики Мак-Дермотта и Дойла, автоэпистемические логики Мура, логики умолчания Рейтера. Приводятся основы теории аргументации и методы абдуктивного вывода. Рассматриваются базовые принципы построения систем обучения и принятия решений и даются задачи обучения "без учителя" и"с учителем" . Излагаются индуктивные методы для случая с неполной информацией и методы теории приближенных множеств. Во 2-е издание добавлены главы об исчислении высказываний иоб исчислении предикатов первого порядка, а также о работе с реальными" зашумленными" базами данных в задаче индуктивного формирования понятий. Допущено Министерством образования Российской Федерации в качестве учебного пособия для студентов вузов, обучающихся по направлениям" Прикладная математика и информатика", "Информатика и вычислительная техника" и специальностям" Прикладная информатика" (по направлениям) и" Прикладная математика и информатика" . 2-е издание, исправленное и дополненное.

Издательство: "Физматлит" (2008)

ISBN: 978-5-9221-0962-8

Купить за 1492 руб в Лабиринте