abstract: Рассматриваются методы абдуктивного вывода в интеллектуальных системах. Разработаны алгоритмы абдуктивного вывода: AAA и ImpAA. Разработана модификация алгоритма AAA для решения задачи планирования AAA\M. Разработана эвристика для алгоритма AAA. Результаты экспериментов, проведенных на примере задачи составления расписаний для энергохранилищ, подтвердили эффективность алгоритма AAA и эвристики.
keywords: интеллектуальные системы, принятие решений, "системы поддержки истинности, основанные на предположениях", минимальное абдуктивное объяснение