Рассматриваются методы абдуктивного вывода в интеллектуальных системах. Приводится описание систем поддержки истинности, основанных на предположениях, и базовых понятий для работы с системами поддержки истинности, основанными на предположениях. Разработаны алгоритмы абдуктивного вывода: Assumption-based Truth Maintenance System-based Abduction Algorithm и алгоритм Implicate Abductive Algorithm с использованием первичных импликат. Дается их сравнительная характеристика. Результаты экспериментов, проведенных на примере задачи составления расписаний для энергохранилищ, подтвердили эффективность алгоритма Assumption-based Truth Maintenance System-based Abduction Algorithm.
