A theory of diagnosis from first principles
Artificial Intelligence
Artificial Intelligence
Network-based heuristics for constraint-satisfaction problems
Artificial Intelligence
HARP: a tableau-based theorem prover
Journal of Automated Reasoning
Handbook of logic in artificial intelligence and logic programming (vol. 3)
Tractable reasoning via approximation
Artificial Intelligence
Argumentative logics: reasoning with classically inconsistent information
Data & Knowledge Engineering
Managing inconsistent specifications: reasoning, analysis, and action
ACM Transactions on Software Engineering and Methodology (TOSEM)
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Management of Preferences in Assumption-Based Reasoning
IPMU '92 Proceedings of the 4th International Conference on Processing and Management of Uncertainty in Knowledge-Based Systems: Advanced Methods in Artificial Intelligence
Automated Reasoning with Merged Contradictory Information Whose Reliability Depends on Topics
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
The Knowledge Engineering Review
A knowledge-based approach to merging information
Knowledge-Based Systems
Analysing inconsistent first-order knowledgebases
Artificial Intelligence
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
On the measure of conflicts: Shapley Inconsistency Values
Artificial Intelligence
A Syntax-based approach to measuring the degree of inconsistency for belief bases
International Journal of Approximate Reasoning
Introduction to inconsistency tolerance
Inconsistency Tolerance
Approaches to measuring inconsistent information
Inconsistency Tolerance
Measuring inconsistency in requirements specifications
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Measuring inconsistency through minimal proofs
ECSQARU'13 Proceedings of the 12th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Approaches to measuring inconsistency for stratified knowledge bases
International Journal of Approximate Reasoning
Hi-index | 0.01 |
The language for describing inconsistency is underdeveloped. If a database (a set of formulae) is inconsistent, there is usually no qualification of that inconsistency. Yet, it would seem useful to be able to say how inconsistent a database is, or to say whether one database is "more inconsistent" than another database. In this paper, we provide a more general characterization of inconsistency in terms of a scoring function for each database Δ. A scoring function S is from the power set of Δ into the natural numbers defined so that S(Γ) gives the number of minimally inconsistent subsets of Δ that would be eliminated if the subset Γ was removed from Δ. This characterization offers an expressive and succinct means for articulating, in general terms, the nature of inconsistency in a set of formulae. We then compare databases using their scoring functions. This gives an intuitive ordering relation over databases that we can describe as "more inconsistent than". These techniques are potentially useful in a wide range of problems including monitoring progress in negotiations between a number of participants, and in comparing heterogeneous sources of information.