A cost function for backward chaining inference
Alexander N. Karkishchenko · 2008
A notion of a cost function for acquiring generalized solutions in logical inference systems is introduced. An example of such systems is widely used backward chaining inference machine. It is shown that the cost function is monotone and sub additive. It is also offered a method of a so called rank approximation of the cost function that reduces the computational complexity of its applying.