ISSN 2071-8594

Russian academy of sciences

Editor-in-Chief

Gennady Osipov

В.Н. Вагин, К.Ю. Хотимчук "Абдукция в задачах планирования работ в сложных объектах"

Аннотация.

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

Ключевые слова:

абдукция, абдуктивный вывод, ATMS, AAA\M\H.
Стр. 3-13.

Полная версия статьи в формате pdf.