Журнал "Программная инженерия"
Теоретический и прикладной научно-технический журнал
ISSN 2220-3397
Номер 12 2013 год
Предложена модификация LP-вывода, базирующаяся на идее динамичес-кого программирования—разбиении основной задачи на отдельные части (подзадачи) и решении каждой подзадачи только один раз. Приведены осо-бенности "быстрого" расчета степеней истинности решений. Представлен способ улучшения качества решений в кластерно-релевантном LP-выводе, основанный на вычислении оценок возможных решений без построения прообразов. Описана программная реализация.