TY - JOUR

T1 - Efficient inference method for computing an optimal solution in predicate-logic hypothetical reasoning

AU - Kondo, Akiko

AU - Ishizuka, Mitsuru

PY - 1996/5

Y1 - 1996/5

N2 - Hypothetical reasoning, which is one type of abductive reasoning, is an important framework in the development of advanced knowledge-based systems. One problem with hypothetical reasoning is its slow inference speed, which is due to its nonmonotonic inference nature. A fast hypothetical reasoning system with predicate Horn clause expressions has been developed to overcome this problem. However, when the constraints for hypotheses are not strong, the number of hypotheses to be synthetized becomes too large to calculate. The paper presents an efficient hypothetical reasoning method combining best-first search, beam search and branch-and-bound search strategies for computing the optimal solution, which is the most desirable solution in many cases. The effectiveness of this method is shown experimentally using fault-diagnosis problems in logic circuits.

AB - Hypothetical reasoning, which is one type of abductive reasoning, is an important framework in the development of advanced knowledge-based systems. One problem with hypothetical reasoning is its slow inference speed, which is due to its nonmonotonic inference nature. A fast hypothetical reasoning system with predicate Horn clause expressions has been developed to overcome this problem. However, when the constraints for hypotheses are not strong, the number of hypotheses to be synthetized becomes too large to calculate. The paper presents an efficient hypothetical reasoning method combining best-first search, beam search and branch-and-bound search strategies for computing the optimal solution, which is the most desirable solution in many cases. The effectiveness of this method is shown experimentally using fault-diagnosis problems in logic circuits.

KW - Hypothetical reasoning

KW - Optimal solution search

KW - Predicate logic

UR - http://www.scopus.com/inward/record.url?scp=0030148512&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0030148512&partnerID=8YFLogxK

U2 - 10.1016/0950-7051(95)01015-7

DO - 10.1016/0950-7051(95)01015-7

M3 - Article

AN - SCOPUS:0030148512

VL - 9

SP - 163

EP - 171

JO - Knowledge-Based Systems

JF - Knowledge-Based Systems

SN - 0950-7051

IS - 3

ER -