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

Akiko Kondo, Mitsuru Ishizuka

Research output: Contribution to journalArticle

2 Citations (Scopus)


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.

Original languageEnglish
Pages (from-to)163-171
Number of pages9
JournalKnowledge-Based Systems
Issue number3
Publication statusPublished - 1996 May
Externally publishedYes



  • Hypothetical reasoning
  • Optimal solution search
  • Predicate logic

ASJC Scopus subject areas

  • Artificial Intelligence

Cite this