An efficient hypothetical reasoning system for predicate-logic knowledge-base
A. Kondo, T. Makino, Mitsuru Ishizuka · 2002
The methods of fast hypothetical reasoning systems developed for propositional logic cannot be applicable in a straightforward manner to the predicate-logic case. A fast hypothetical reasoning mechanism that is effective for predicate-logic knowledge (actually for function-free predicate Horn-clause knowledge) is presented. A reasoning method developed in the deductive database area is effectively applied to this mechanism.>