Международная молодёжная конференция «Современные проблемы прикладной математики и информатики»<br><br>International Conference for Young Scientists «Modern Problems of Applied Mathematics & Computer Science»

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