Вагин В.Н., Головина Е.Ю., Загорянская А.А., Фомина М.В. Достоверный и правдоподобный вывод в интеллектуальных системах

2008. 712 с. ISBN 978-5-9221-0962-8.

Твердый переплет
Другой вариант Предварительный заказ! ››

Аннотация

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

Оглавление

I. Достоверный вывод

1. Формальные системы

2. Автоматическое доказательство теорем

3. Вывод на графе связей

4. Вывод на графе дизъюнктов

5. Вывод на аналитических таблицах

6. Вывод на иерархических структурах

7. Данные и знания в интеллектуальных системах

8. Монотонные классические модальные логики

9. Немонотонные модальные логики

10. Немонотонные логики в логическом программировании

11. Системы аргументаций и абдуктивный вывод

II. Индукция и обобщение

12. Базовые принципы построения систем обучения и принятия решений

13. Задача обучения "без учителя"

14. Обучение с учителем

15. Индуктивные методы для случая неполной информации

16. Индуктивное формирование понятий в "зашумленных" базах данных