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