Efficient hypothetical reasoning system for predicate-logic knowledge base

A. Kondo, T. Makino, M. Ishizuka

Research output: Contribution to journalArticle

6 Citations (Scopus)

Abstract

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.

Original languageEnglish
Pages (from-to)87-94
Number of pages8
JournalKnowledge-Based Systems
Volume6
Issue number2
DOIs
Publication statusPublished - 1993
Externally publishedYes

Fingerprint

Knowledge based systems
Intelligent databases
Logic
Knowledge base

Keywords

  • hypothetical reasoning
  • predicate logic

ASJC Scopus subject areas

  • Artificial Intelligence

Cite this

Efficient hypothetical reasoning system for predicate-logic knowledge base. / Kondo, A.; Makino, T.; Ishizuka, M.

In: Knowledge-Based Systems, Vol. 6, No. 2, 1993, p. 87-94.

Research output: Contribution to journalArticle

Kondo, A. ; Makino, T. ; Ishizuka, M. / Efficient hypothetical reasoning system for predicate-logic knowledge base. In: Knowledge-Based Systems. 1993 ; Vol. 6, No. 2. pp. 87-94.
@article{318b37be49bd45468f3bfae78e9483d5,
title = "Efficient hypothetical reasoning system for predicate-logic knowledge base",
abstract = "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.",
keywords = "hypothetical reasoning, predicate logic",
author = "A. Kondo and T. Makino and M. Ishizuka",
year = "1993",
doi = "10.1016/0950-7051(93)90023-M",
language = "English",
volume = "6",
pages = "87--94",
journal = "Knowledge-Based Systems",
issn = "0950-7051",
publisher = "Elsevier",
number = "2",

}

TY - JOUR

T1 - Efficient hypothetical reasoning system for predicate-logic knowledge base

AU - Kondo, A.

AU - Makino, T.

AU - Ishizuka, M.

PY - 1993

Y1 - 1993

N2 - 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.

AB - 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.

KW - hypothetical reasoning

KW - predicate logic

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

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

U2 - 10.1016/0950-7051(93)90023-M

DO - 10.1016/0950-7051(93)90023-M

M3 - Article

AN - SCOPUS:38249002149

VL - 6

SP - 87

EP - 94

JO - Knowledge-Based Systems

JF - Knowledge-Based Systems

SN - 0950-7051

IS - 2

ER -