Reasoning about truth (research note)
Artificial Intelligence
Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence
What does a conditional knowledge base entail?
Artificial Intelligence
Theory of generalized annotated logic programming and its applications
Journal of Logic Programming
On the semantics of theory change: arbitration between old and new information
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Fundamenta Informaticae - Special issue: logics for artificial intelligence
A logic for reasoning with inconsistency
Journal of Automated Reasoning
ACM Transactions on Database Systems (TODS)
General patterns in nonmonotonic reasoning
Handbook of logic in artificial intelligence and logic programming (vol. 3)
A polynomial time computable metric between point sets
Acta Informatica
Belief Revision
Propositional Distances and Preference Representation
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Non-deterministic Multiple-valued Structures
Journal of Logic and Computation
Non-deterministic semantics for logics with a consistency operator
International Journal of Approximate Reasoning
Remedying inconsistent sets of premises
International Journal of Approximate Reasoning
Distance semantics for database repair
Annals of Mathematics and Artificial Intelligence
A paraconsistent logic programming approach for querying inconsistent databases
International Journal of Approximate Reasoning
Distance-based paraconsistent logics
International Journal of Approximate Reasoning
Deriving distance metrics from generality relations
Pattern Recognition Letters
Knowledge structure, knowledge granulation and knowledge distance in a knowledge base
International Journal of Approximate Reasoning
Journal of Logic and Computation
Non-deterministic Distance Semantics for Handling Incomplete and Inconsistent Data
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Inconsistency as qualified truth: A probability logic approach
International Journal of Approximate Reasoning
Reasoning under inconsistency: the forgotten connective
IJCAI'05 Proceedings of the 19th 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
An argument-based approach to reasoning with clinical knowledge
International Journal of Approximate Reasoning
Measures of inconsistency and defaults
International Journal of Approximate Reasoning
Inconsistency-Tolerant Bunched Implications
International Journal of Approximate Reasoning
Hi-index | 0.00 |
In this paper, we introduce a general and modular framework for formalizing reasoning with incomplete and inconsistent information. Our framework is composed of non-deterministic semantic structures and distance-based considerations. This combination leads to a variety of entailment relations that can be used for reasoning about non-deterministic phenomena and are inconsistency-tolerant. We investigate the basic properties of these entailments, as well as some of their computational aspects, and demonstrate their usefulness in the context of model-based diagnostic systems.