The algebraic model of relevant backward inference based on equation solving

Production system backward inference methods based on equation solving in LP structures is 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). Advantages of new algorithms are demonstrated experimentally on the test knowledge bases.