Читать онлайн «Достоверный и правдоподобный вывод в ителлектуальных системах»

УДК 519. 816 ББК 32. 81 В 12 Вагин В. Н. , Головина Е. Ю. , Загорянская А. А. , Фомина М. В. Достоверный и правдоподобный вывод в интеллектуальных систе- системах / Под ред. В. Н. Вагина, Д. А. Поспелова. — М. : ФИЗМАТЛИТ, 2004. — 704 с. - ISBN 5-9221-0474-8. Рассматриваются методы достоверного (дедуктивного) и правдоподоб- правдоподобного (абдуктивного, индуктивного) выводов в интеллектуальных системах различного назначения. Приводятся методы дедуктивного вывода на графо- графовых структурах: вывод на графе связей, графе дизъюнктов, вывод на иерар- иерархических структурах. Даются различные виды параллелизма при выводе на графовых структурах. Описываются как классические, так и немонотонные модальные логики: логики убеждения и знания, немонотонные логики Мак- Дермотта и Дойла, автоэпистемические логики Мура, логики умолчания Рейтера. Приводятся основы теории аргументации и методы абдуктивного вывода. Рассматриваются базовые принципы построения систем обучения и принятия решений и даются задачи обучения «без учителя» и «с учителем». Излагаются индуктивные методы для случая с неполной информацией и методы теории приближенных множеств. Для студентов, аспирантов, обучающихся по направлениям «Приклад- «Прикладная математика и информатика», «Информатика и вычислительная техни- техника» и специальностям «Прикладная математика» (по областям), «Приклад- «Прикладная математика и информатика», а также для специалистов в области ис- искусственного интеллекта, интеллектуальных систем управления и принятия решений. ISBN 5-9221-0474-8 © физматлит, 2004 СОДЕРЖАНИЕ Предисловие 10 Введение 12 I. ДОСТОВЕРНЫЙ ВЫВОД Глава 1. Автоматическое доказательство теорем 24 1. 1. Нормальные и стандартные формы 25 1. 2. Логические следствия 35 1. 3. Процедура вывода Эрбрана 38 1. 4. Принцип резолюции 41 1. 5. Линейная резолюция 48 1. 6. Вывод в языке Пролог 54 1. 6. 1. SLD-резолюция E4). 1. 6. 2. Стратегии поиска в языке Пролог E8). 1. 6. 3. Предположение о замкнутости мира F1). 1. 6. 4. Синтаксис и семантика языка Пролог F2). 1. 6. 5. Реали- Реализация на языке Пролог моделей представления знаний и меха- механизмов вывода на них F9). Глава 2. Вывод на графе связей 81 2. 1. Последовательная процедура доказательства методом гра- графа связей 82 2. 2. Стратегии поиска в графе связей 86 2. 3. Достоинства процедуры дедуктивного вывода на графе связей 87 2. 4. Параллельный вывод на графе связей 88 2. 4. 1. Метод OR-параллельной резолюции (89). 2. 4. 2. DCDP- параллельный вывод (91). 2. 4. 3. AND-параллельная резолю- резолюция (94). 2. 5. Модификация процедур параллельного вывода 97 2. 5. 1. Принципы создания эвристической функции (97). 2. 5. 2. Эвристическая функция HI (98). 2. 5. 3. Применение эвристической функции HI при решении задачи «Стимрол- лер» A00). 2. 6. Сравнение эффективности 104 2. 7. Система параллельного вывода PIS (Parallel Inference System) на графе связей 107 2. 7. 1. Автоматический выбор параллельных методов вы- вывода A08). 2. 7. 2. Математический препроцессор A09). 2. 7. 3. Методы ускорения и анализ результатов для задачи о N ферзях A12). 2. 7. 4.