Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence
General patterns in nonmonotonic reasoning
Handbook of logic in artificial intelligence and logic programming (vol. 3)
Reasoning in Inconsistent Knowledge Bases
IEEE Transactions on Knowledge and Data Engineering
Making inconsistency respectable: a logical framework for inconsistency in reasoning
FAIR '91 Proceedings of the International Workshop on Fundamentals of Artificial Intelligence Research
A Logical Framework for Integrating Inconsistent Information in Multiple Databases
FoIKS '02 Proceedings of the Second International Symposium on Foundations of Information and Knowledge Systems
Three-Valued Logics for Inconsistency Handling
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Artificial Intelligence - Special issue on nonmonotonic reasoning
Distance-based paraconsistent logics
International Journal of Approximate Reasoning
An Ontology for Grounding Vague Geographic Terms
Proceedings of the 2008 conference on Formal Ontology in Information Systems: Proceedings of the Fifth International Conference (FOIS 2008)
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Studia Logica
Inconsistency-Tolerance in knowledge-based systems by dissimilarities
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
Hi-index | 0.00 |
Paraconsistent entailments based on more than two truth-values are useful formalisms for handling inconsistent information in large knowledge bases. However, such entailments suffer from two major drawbacks: they are often too cautious to allow intuitive classical inference, and are trivialization-prone. Two preferential mechanisms have been proposed to deal with these two problems, but they are formulated in different terms, and are hard to combine. This paper is a step towards a systematization and generalization of these approaches. We define an abstract framework, which allows for incorporating various preferential criteria into paraconsistent entailments in a modular way. We show that many natural cases of previously studied entailments can be simulated within this framework. Its usefulness is also demonstrated using a concrete domain related to ancient geography.