Reasoning about truth (research note)
Artificial Intelligence
Towards a theory of access-limited logic for knowledge representation
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Tractable reasoning via approximation
Artificial Intelligence
Knowledge compilation and theory approximation
Journal of the ACM (JACM)
The semantic foundations of logic, volume 1 (2nd ed.): propositional logics
The semantic foundations of logic, volume 1 (2nd ed.): propositional logics
A non-deterministic semantics for tractable inference
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Nonmonotonic reasoning: from complexity to algorithms
Annals of Mathematics and Artificial Intelligence
Signed Systems for Paraconsistent Reasoning
Journal of Automated Reasoning
An Inconsistency Tolerant Model for Belief Representation and Belief Revision
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
How to infer from inconsistent beliefs without revising
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Three-Valued Logics for Inconsistency Handling
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
| Hi-index | 0.00 |
A family of resource-bounded paraconsistent inference relations is introduced. These relations are based on S -- 3 entailment, an inference relation logically weaker than classical entailment and parametrized by a set S of variables. Their properties are investigated, especially from the computational complexity point of view. Among the strong features of our framework is the fact that tractability is ensured each time |S| is bounded and that binary connectives behave in a classical manner. Moreover, our family is large enough to include both S -- 3 inference, the standard inference relations based on the selection of consistent subbases and some additional forms of paraconsistent reasoning as specific cases.