A theory of diagnosis from first principles
Artificial Intelligence
Artificial Intelligence
The complexity of model checking for circumscriptive formulae
Information Processing Letters
Handbook of logic in artificial intelligence and logic programming (vol. 3)
Tractable reasoning via approximation
Artificial Intelligence
Quasi-classical Logic: Non-trivializable classical reasoning from incosistent information
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Man bites dog: looking for interesting inconsistencies in structured news reports
Data & Knowledge Engineering
Quasi-possibilistic logic and its measures of information and conflict
Fundamenta Informaticae
Evaluating violations of expectations to find exceptional information
Data & Knowledge Engineering
How to act on inconsistent news: ignore, resolve, or reject
Data & Knowledge Engineering
Measuring inconsistency in knowledgebases
Journal of Intelligent Information Systems
Fusion rules for merging uncertain information
Information Fusion
A knowledge-based approach to merging information
Knowledge-Based Systems
Detecting inconsistency in biological molecular databases using ontologies
Data Mining and Knowledge Discovery
Information and Software Technology
Coherence measures and their relation to fuzzy similarity and inconsistency in knowledge bases
Artificial Intelligence Review
Analysing inconsistent first-order knowledgebases
Artificial Intelligence
A three-valued semantics for querying and repairing inconsistent databases
Annals of Mathematics and Artificial Intelligence
Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
On Temporal Properties of Knowledge Base Inconsistency
Transactions on Computational Science V
Quantifying information and contradiction in propositional logic through test actions
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Evaluating significance of inconsistencies
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Measuring conflict and agreement between two prioritized belief bases
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
An Anytime Algorithm for Computing Inconsistency Measurement
KSEM '09 Proceedings of the 3rd International Conference on Knowledge Science, Engineering and Management
Measuring incoherence in description logic-based ontologies
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Quantifying knowledge base inconsistency via fixpoint semantics
Transactions on computational science II
Editorial: Acquiring knowledge from inconsistent data sources through weighting
Data & Knowledge Engineering
Secure transaction protocol analysis: models and applications
Secure transaction protocol analysis: models and applications
On the measure of conflicts: Shapley Inconsistency Values
Artificial Intelligence
Dealing with inconsistent secure messages by weighting majority
Knowledge-Based Systems
Measuring consistency gain and information loss in stepwise inconsistency resolution
ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
Introduction to inconsistency tolerance
Inconsistency Tolerance
Approaches to measuring inconsistent information
Inconsistency Tolerance
Measuring the quality of uncertain information using possibilistic logic
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Measuring inconsistency in requirements specifications
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Measuring the good and the bad in inconsistent information
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
New measures for maintaining the quality of databases
ICCSA'12 Proceedings of the 12th international conference on Computational Science and Its Applications - Volume Part IV
Quasi-Possibilistic Logic and its Measures of Information and Conflict
Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)
Measuring inconsistency through minimal proofs
ECSQARU'13 Proceedings of the 12th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Measuring incompleteness under multi-valued semantics by partial MaxSAT solvers
ECSQARU'13 Proceedings of the 12th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
| Hi-index | 0.00 |
The language for describing inconsistency is underdeveloped. If a knowledgebase (a set of formulae) is inconsistent, we need more illuminating ways to say how inconsistent it is, or to say whether one knowledgebase is "more inconsistent" than another. To address this, we provide a general characterization of inconsistency, based on quasi-classical logic (a form of paraconsistent logic with a more expressive semantics than Belnap's four-valued logic, and unlike other paraconsistent logics, allows the connectives to appear to behave as classical connectives). We analyse inconsistent knowledge by considering the conflicts arising in the minimal quasi-classical models for that knowledge. This is used for a measure of coherence for each knowledgebase, and for a preference ordering, called the compromise relation, over knowledgebases. In this paper, we formalize this framework, and consider applications in managing heterogeneous sources of knowledge.