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 -