Достоверный и правдоподобный вывод в интеллектуальных системах /Под ред. В.Н. Вагина, Д.А. Поспелова
Автор:
В. Н. Вагин, Е. Ю. Головина, А. А. Загорянская, М. В. Фомина, 704 стр., издатель:
"ФИЗМАТЛИТ", ISBN:
5-9221-0474-8, 978-5-94057-145-2
Рассматриваются методы достоверного (дедуктивного) и правдоподобного (абдуктивного, индуктивного) выводов в интеллектуальных системах различного назначения. Приводятся методы дедуктивного вывода на графовых структурах: вывод на графе связей, графе дизъюнктов, вывод на иерархических структурах. Даются различные виды параллелизма при выводе на графовых структурах. Описываются как классические, так и немонотонные модальные логики: логики убеждения и знания, немонотонные логики Мак-Дермотта и Дойла, автоэпистемические логики Мура, логики умолчания Рейтера. Приводятся основы теории аргументации и методы абдуктивного вывода. Рассматриваются базовые принципы построения систем обучения и принятия решений и даются задачи обучения "без учителя" и "с учителем". Излагаются индуктивные методы для случая с неполной информацией и методы теории приближенных множеств. Для студентов, аспирантов, обучающихся по направлениям "Прикладная математика и информатика", "Информатика и вычислительная...
Рейтинг книги:



4 из 5,
3 голос(-ов).