Title: A forward-chaining multiple-context reasoner and its application to logic design
Abstract: The authors present an extended production system architecture which can deal with forward reasoning in multiple contexts. The proposed architecture consists of a compiler of clauses and defaults into a Rete-like network, a Rete-based inference engine, and an assumption-based truth maintenance system (ATMS). The inference engine gives intermediate justifications to the ATMS and stores intermediate dependent assumptions of two-input nodes in the Rete-like network, allowing faster multiple-context reasoning. By means of this method, the multiple-context reasoner called APRICOT/0 has been implemented. An experiment under the logic design knowledge base shows that APRICOT/0 is about six to ten times faster than a system with a simple combination of a production system and the ATMS.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
Publication Year: 2002
Publication Date: 2002-12-04
Language: en
Type: article
Indexed In: ['crossref']
Access and Citation
Cited By Count: 3
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot