Relevant backward inference algorithms based on solving the production logical equations

Production system backward inference algorithms based on equation solving in LP structures, a special class of algebraic systems, are presented. The strategy of a relevant backward inference is aimed at optimization of queries to external information source (either to a database or an interactive user). The concept of the equations is also applicable to knowledge verification. Advantages of new algorithms are demonstrated experimentally on the test knowledge bases.