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)

Abstract

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
Volume9
Issue number3
DOIs
Publication statusPublished - 1996 May
Externally publishedYes

Keywords

  • Hypothetical reasoning
  • Optimal solution search
  • Predicate logic

ASJC Scopus subject areas

  • Artificial Intelligence

Fingerprint Dive into the research topics of 'Efficient inference method for computing an optimal solution in predicate-logic hypothetical reasoning'. Together they form a unique fingerprint.

  • Cite this