S. Yu. Bolotova , e-mail: email@example.com, 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