URSS.ru - Издательская группа URSS. Научная и учебная литература
Об издательстве Интернет-магазин Контакты Оптовикам и библиотекам Вакансии Пишите нам
КНИГИ НА РУССКОМ ЯЗЫКЕ


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

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

2008. 712 с. Твердый переплет. ISBN 978-5-9221-0962-8.

 Аннотация

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

Допущено Министерством образования Российской Федерации в качестве учебного пособия для студентов вузов, обучающихся по направлениям «Прикладная математика и информатика», «Информатика и вычислительная техника» и специальностям «Прикладная информатика» (по направлениям) и «Прикладная математика и информатика».


 Оглавление

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

 
© URSS 2016.

Информация о Продавце