Journal "Software Engineering"
a journal on theoretical and applied science and technology
ISSN 2220-3397

Issue N7 2014 year

Parallel Algorithms of the Relevant LP Inference
S. Yu. Bolotova , e-mail:, S. D. Makhortov

The relevant LP inference is an effective tool for development, verification and optimization of the production logical systems. This paper presents the advanced basic tenets of the LP structures theory. It also describes parallel algorithms for finding the solution of the production logic equations in layers, for processing the initial preimages. The results can be used to the logic inference optimization and the knowledge bases verification.

Keywords: LP structure, logical equations, production systems, backward inference, the relevance, parallelism
pp. 17–24