The use of design descriptions in automated diagnosis
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Making believers out of computers
Artificial Intelligence
A theory of diagnosis from first principles
Artificial Intelligence
A logical framework for default reasoning
Artificial Intelligence
Reasoning about truth (research note)
Artificial Intelligence
On interpretation of inconsistent theories
Information Sciences: an International Journal
New results on semantical non-monotonic reasoning
Proceedings of the 2nd international workshop on Non-monotonic reasoning
Benchmark problems for formal nonmonotonic reasoning
Proceedings of the 2nd international workshop on Non-monotonic reasoning
Proceedings of the Fourth Annual Symposium on Logic in computer science
Automatic theorem proving in paraconsistent logics: theory and implementation
CADE-10 Proceedings of the tenth international conference on Automated deduction
Bilattices and the semantics of logic programming
Journal of Logic Programming
Theory of generalized annotated logic programming and its applications
Journal of Logic Programming
Readings in model-based diagnosis
A logic for reasoning with inconsistency
Journal of Automated Reasoning
ACM Transactions on Database Systems (TODS)
Kleene's three valued logics and their children
Fundamenta Informaticae
The semantic foundations of logic, volume 1 (2nd ed.): propositional logics
The semantic foundations of logic, volume 1 (2nd ed.): propositional logics
Vivid Logic: Knowledge-Based Reasoning with Two Kinds of Negation
Vivid Logic: Knowledge-Based Reasoning with Two Kinds of Negation
CSL '91 Proceedings of the 5th Workshop on Computer Science Logic
Four-Valued Diagnoses for Stratified Knowledge-Bases
CSL '96 Selected Papers from the10th International Workshop on Computer Science Logic
How to infer from inconsistent beliefs without revising
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Coherent Composition of Distributed Knowledge-Bases Through Abduction
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
An Algorithmic Approach to Recover Inconsistent Knowledge-Bases
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
Answer sets for consistent query answering in inconsistent databases
Theory and Practice of Logic Programming
Recovering Consistency by Forgetting Inconsistency
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Coherent integration of databases by abductive logic programming
Journal of Artificial Intelligence Research
Lattice-Based paraconsistent logic
RelMiCS'05 Proceedings of the 8th international conference on Relational Methods in Computer Science, Proceedings of the 3rd international conference on Applications of Kleene Algebra
On the complexity of paraconsistent inference relations
Inconsistency Tolerance
Hi-index | 0.00 |
One of the most significant drawbacks of classical logic is its being useless in the presence of an inconsistency. Nevertheless, the classical calculus is a very convenient framework to work with. In this work we propose means for drawing conclusions from systems that are based on classical logic, although the information might be inconsistent. The idea is to detect those parts of the knowledge base that ‘cause’ the inconsistency, and isolate the parts that are ‘recoverable’. We do this by temporarily switching into Ginsberg/Fitting multivalued framework of bilattices (which is a common framework for logic programming and nonmonotonic reasoning). Our method is conservative in the sense that it considers the contradictory data as useless and regards all the remaining information unaffected. The resulting logic is nonmonotonic, paraconsistent, and a plausibility logic in the sense of Lehmann.