Reason Maintenance in a Hybrid Reasoning System
نویسنده
چکیده
One can gain efficiency in an inference system by using special-purpose representations for reasoning about certain predicates, but some such representations make it impossible for the system to keep track of the reasons for which it holds each of its beliefs. We illustrate the potential conflict with some examples, and distill some general principles for designing representations that can support both efficient special-purpose inference and some form of reason maintenance.
منابع مشابه
An Application-independent Support System for Integrated Assumption-based Temporal Reasoning
Reason maintenance systems and tem poral reasoning systems are among the most prominent application independent support systems used for complex AI ap plications and there are many applications that need both support for logical and temporal reasoning Apparently it is not enough to just provide two isolated sup port modules The logical and temporal subsystems have to be coupled in the right way...
متن کاملIntelligent Backtracking in the Echidna Constraint Logic Programming System
Abstract: A new type of reasoning engine for model-based expert system applications is described which employs recent advances in constraint logic programming (CLP), intelligent backtracking (IB) and schema (object-oriented) knowledge representations. Constraint reasoning and logic programming (LP) have been recently joined in the new field of CLP. There is keen research interest and new CLP la...
متن کاملComprehensive Decision Modeling of Reverse Logistics System: A Multi-criteria Decision Making Model by using Hybrid Evidential Reasoning Approach and TOPSIS (TECHNICAL NOTE)
In the last two decades, product recovery systems have received increasing attention due to several reasons such as new governmental regulations and economic advantages. One of the most important activities of these systems is to assign returned products to suitable reverse manufacturing alternatives. Uncertainty of returned products in terms of quantity, quality, and time complicates the decis...
متن کاملA reason maintenance perspective on relevant Ramsey conditionals
This paper presents a Ramsey account of conditionals within the framework of an implemented reason maintenance system. The reason maintenance system is built on top of a deductive reasoning engine based on relevance logic. Thus, the account of conditionals provided is not susceptible to the fallacies of relevance. In addition, it is shown that independently motivated requirements on practical r...
متن کاملNORTH- HOLLAND A Generic ATMS*
The main aim of this paper is to create a general truth maintenance system based on the De Kleer algorithm. This system (the ATMS) is to be designed so that it can be used in different propositional monotonic logic models of reasoning systems. The knowledge base system that will interact with it is described. Furthermore, we study the efficiency that transferring the ATMS to a logic with severa...
متن کامل