Artificial Intelligence
Knowledge level interfaces to information systems
On knowledge base management systems: integrating artificial intelligence and d atabase technologies
A theory of diagnosis from first principles
Artificial Intelligence
A Methodology for Using a Default and Abductive Reasoning System
A Methodology for Using a Default and Abductive Reasoning System
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Three-Valued Logics for Inconsistency Handling
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Recovering Consistency by Forgetting Inconsistency
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Design Problems, Frames and Innovative Solutions
Proceedings of the 2009 conference on Design Problems, Frames and Innovative Solutions
Electronic Commerce Research and Applications
Prime implicates for approximate reasoning
KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management
When data dependencies over SQL tables meet the logics of paradox and S-3
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Abductive and default reasoning: a computational core
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
An efficient first-order horn-clause abduction system based on the ATMS
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Abduction as belief revision: a model of preferred explanations
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Abductive inference methods in problems of job planning in complex objects
Journal of Computer and Systems Sciences International
Implementing weighted abduction in Markov logic
IWCS '11 Proceedings of the Ninth International Conference on Computational Semantics
Requirements evolution drives software evolution
Proceedings of the 12th International Workshop on Principles of Software Evolution and the 7th annual ERCIM Workshop on Software Evolution
Representing paraconsistent reasoning via quantified propositional logic
Inconsistency Tolerance
On the complexity of paraconsistent inference relations
Inconsistency Tolerance
ACM Transactions on Database Systems (TODS)
Dialogue strategies for multimedia retrieval: intertwining abductive reasoning and dialogue planning
MIRO'95 Proceedings of the Final conference on Multimedia Information Retrieval
Bayesian abductive logic programs: a probabilistic logic for abductive reasoning
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Approximate Inference In Default Logic And Circumscription
Fundamenta Informaticae
Hi-index | 0.00 |
In this paper, we consider a new definition of abduction that makes it depend on an underlying formal model of belief. In particular, different models of belief will give rise to different forms of abductive reasoning. Based on this definition, we then prove three main theorems: first, that when belief is closed under logical implication, the corresponding form of abduction is precisely what is performed by the ATMS as characterized by Reiter and de Kleer; second, that with the more limited "explicit" belief defined by Levesque, the required abduction is computationally tractable in certain cases where the ATMS is not; and finally, that something is believed in the implicit sense iff repeatedly applying a limited abduction operator eventually yields something that is believed in the explicit sense. This last result relates deduction and abduction as well as limited and unlimited reasoning all within the context of a logic of belief.