Абдукция в задачах планирования работ в сложных объектах

Приводится описание систем поддержки истинности, основанных на предположениях, и базовых понятиях для работы с этими системами. Разработан алгоритм абдуктивного вывода AAA. Предложен эвристический метод для этого алгоритма. Результаты экспериментов, проведенных на примере задачи составления расписаний для энергохранилищ, подтвердили эффективность алгоритма.