A Fast Duplication Checking Algorithm for Forward Reasoning Engines

Authors:
Takahiro Koh;Yuichi Goto;Jingde Cheng
Affiliations:
Department of Information and Computer Sciences, Saitama University, Saitama, Japan 338-8570;Department of Information and Computer Sciences, Saitama University, Saitama, Japan 338-8570;Department of Information and Computer Sciences, Saitama University, Saitama, Japan 338-8570
Venue:
KES '08 Proceedings of the 12th international conference on Knowledge-Based Intelligent Information and Engineering Systems, Part II
Year:
2008

Citing 4
Cited 0

Rete: a fast algorithm for the many pattern/many object pattern match problem

Expert systems
Trie memory

Communications of the ACM
Strong Relevant Logic as the Universal Basis of Various Applied Logics for Knowledge Representation and Reasoning

Proceedings of the 2006 conference on Information Modelling and Knowledge Bases XVII
A general-purpose forward deduction engine for modal logics

KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II

Quantified Score

Hi-index	0.00

Visualization

Abstract

A forward reasoning engine capable of relevant reasoning is an indispensable component in many advanced knowledge-based systems with purposes of discovery or prediction. Any forward reasoning engine has to deal with duplication checking of intermediate results that is the most time-consuming process in forward reasoning. Therefore, to decrease execution time of forward reasoning engines is a crucial issue for their successful applications. This paper presents a fast algorithm for duplication checking process in forward reasoning engines, analyzes its time and space complexities, and shows its effectiveness by some experimental results.