Cumulative default logic: in defense of nonmonotonic inference rules
Artificial Intelligence
On constrained default theories
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
On the complexity of propositional knowledge base revision, updates, and counterfactuals
Artificial Intelligence
Rational default logic and disjunctive logic programming
Proceedings of the second international workshop on Logic programming and non-monotonic reasoning
Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday)
Quasi-classical Logic: Non-trivializable classical reasoning from incosistent information
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Inconsistency Tolerance (Lecture Notes in Computer Science)
Inconsistency Tolerance (Lecture Notes in Computer Science)
Tracking MUSes and Strict Inconsistent Covers
FMCAD '06 Proceedings of the Formal Methods in Computer Aided Design
Logic-based approaches to information fusion
Information Fusion
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Boosting a complete technique to find MSS and MUS thanks to a local search oracle
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Hi-index | 0.00 |
This paper is about the fusion of multiple information sources represented using default logic. More precisely, the focus is on solving the problem that occurs when the standard-logic knowledge parts of the sources are contradictory, as default theories trivialize in this case. To overcome this problem, it is shown that replacing each formula belonging to Minimally Unsatisfiable Subformulas by a corresponding supernormal default allows appealing features. Moreover, it is investigated how these additional defaults interact with the initial defaults of the theory. Interestingly, this approach allows us to handle the problem of default theories containing inconsistent standard-logic knowledge, using the default logic framework itself.