Speed up of inconsistent process and subsumption process in hypothetical reasoning on searching all solutions for predicate knowledge

摘要

KICK-HOPE is a hypothetical reasoning system which can find all solutions fast and can deal with predicate logic knowledge base. In this study, we propose an efficient method of the inconsistent process and subsumption process which were the problems of KICK-HOPE. We also examine the proposed system with knowledge base of a diagnostic problem of a full adder logic circuit. It is difficult to apply the proposed method to a real problem because the proposed method requires the computational complexity of exponential function. Then we proposed the algorithm using divided-and-conquer which is method of dividing a large problem into small problems and solving each problem and integrating these solutions and finding the all solutions.