Reasoning about truth (research note)
Artificial Intelligence
Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence
Theoretical foundations for non-monotonic reasoning in expert systems
Logics and models of concurrent systems
What does a conditional knowledge base entail?
Artificial Intelligence
General patterns in nonmonotonic reasoning
Handbook of logic in artificial intelligence and logic programming (vol. 3)
Integration of weighted knowledge bases
Artificial Intelligence
Artificial Intelligence
Introduction to actual and potential contradictions
Handbook of defeasible reasoning and uncertainty management systems
Handbook of defeasible reasoning and uncertainty management systems
Signed Systems for Paraconsistent Reasoning
Journal of Automated Reasoning
A Model-Theoretic Approach for Recovering Consistent Data from Inconsistent Knowledge Bases
Journal of Automated Reasoning
Reasoning in Inconsistent Knowledge Bases
IEEE Transactions on Knowledge and Data Engineering
Three-Valued Logics for Inconsistency Handling
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Resource-Bounded Paraconsistent Inference
Annals of Mathematics and Artificial Intelligence
A knowledge-level account of abduction
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Reasoning under inconsistency: the forgotten connective
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
On the complexity of paraconsistent inference relations
Inconsistency Tolerance
Towards a paradoxical description logic for the semantic web
FoIKS'10 Proceedings of the 6th international conference on Foundations of Information and Knowledge Systems
| Hi-index | 0.00 |
In this paper, we introduce and study a new paraconsistent inference relation 茂戮驴 cin the setting of 3-valued paraconsistent logics. Using inconsistency forgetting as a key mechanism for recovering consistency, it guarantees that the deductive closure $Cn_{\models_c}(\Sigma)$ of any belief base Σis classically consistent and classically closed. This strong feature, not shared by previous inference relations in the same setting, allows to interpret an inconsistent belief base as a set of classical worlds (hence to reason classically from them).