УДК: 519.688

Параллельные алгоритмы релевантного LP-вывода

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

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

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

Стр. 17–24