Efficient hypothetical reasoning system for predicate-logic knowledge base

A. Kondo, T. Makino, M. Ishizuka

研究成果: Article

6 引用 (Scopus)

抜粋

A hypothetical reasoning system is an important framework in the development of advanced knowledge-based systems. It can be effectively applied to many practical problems including model-based diagnosis, and designs. However, the inference speed of its prolog-based implementation is slow, and this is particularly because of inefficient backtracking. In order to overcome this problem, a fast hypothetical reasoning mechanism for propositional-logic knowlegde has been developed by combining the advantages of forward and backward reasoning styles. This fast mechanism, however, cannot be applied to hypothetical reasoning with predicate-logic knowledge where variables are included as arguments. The paper presents a fast hypothetical reasoning mechanism for predicate-logic knowledge as an extension of the above idea. A reasoning method developed in the deductive database area is effectively utilized to realize this fast mechanism, which can even manipulate recursive rules.

元の言語English
ページ(範囲)87-94
ページ数8
ジャーナルKnowledge-Based Systems
6
発行部数2
DOI
出版物ステータスPublished - 1993
外部発表Yes

ASJC Scopus subject areas

  • Artificial Intelligence

フィンガープリント Efficient hypothetical reasoning system for predicate-logic knowledge base' の研究トピックを掘り下げます。これらはともに一意のフィンガープリントを構成します。

  • これを引用