Авторитетность издания
ВАК - К1
RSCI, ядро РИНЦ
Добавить в закладки
Следующий номер на сайте
№2
Ожидается:
16 Июня 2024
В МЭИ (ТУ) предложен эвристический метод для сокращения поискового пространства в алгоритме SOL-резолюции
03.02.2011Абдуктивный вывод широко применяется в интеллектуальных системах различного назначения. В работе рассмотрен алгоритм ImpAA решения задачи абдукции с помощью <L, Ф>-первичных импликат. Собственно нахождение <L, Ф>-первичных импликат осуществляется по алгоритму SOL-резолюции. Недостатками этого алгоритма являются, во-первых, полный перебор, а во-вторых, в общем случае он находит повторные дизъюнкты. Авторы предложили эвристический метод выбора начального порядка литер в исходных дизъюнктах для сокращения поискового пространства.
Подробное описание дается в статье «Абдуктивный вывод versus дедукция», авторы: Вагин В.Н., Хотимчук К.Ю. (Московский энергетический институт (технический университет)).
