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