Журнал "Программная инженерия"
Теоретический и прикладной научно-технический журнал
ISSN 2220-3397

Номер 7 2014 год

УДК: 519.688
Параллельные алгоритмы релевантного LP-вывода
C . Ю. Болотова, препод., e-mail: bolotova.svetlana@gmail.com, С. Д. Махортов, д-р. физ.-мат. наук, доц., зав. каф., Воронежский государственный университет

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

Ключевые слова: LP-структура, логические уравнения, продукционные системы, обратный вывод, релевантность, параллелизм
Стр. 17–24