Достоверный и правдоподобный вывод в интеллектуальных системах /Под ред. В.Н. Вагина, Д.А. Поспелова

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