A theory of diagnosis from first principles
Artificial Intelligence
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
Measuring inconsistency in knowledge via quasi-classical models
Eighteenth national conference on Artificial intelligence
Logical comparison of inconsistent perspectives using scoring functions
Knowledge and Information Systems
How to act on inconsistent news: ignore, resolve, or reject
Data & Knowledge Engineering
Measuring inconsistency in knowledgebases
Journal of Intelligent Information Systems
Algorithms for Computing Minimal Unsatisfiable Subsets of Constraints
Journal of Automated Reasoning
Analysing inconsistent first-order knowledgebases
Artificial Intelligence
How Dirty Is Your Relational Database? An Axiomatic Approach
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Measuring Inconsistency in DL-Lite Ontologies
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 01
Measuring conflict and agreement between two prioritized belief bases
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Measures of inconsistency and defaults
International Journal of Approximate Reasoning
On the measure of conflicts: Shapley Inconsistency Values
Artificial Intelligence
A general framework for measuring inconsistency through minimal inconsistent sets
Knowledge and Information Systems
A Syntax-based approach to measuring the degree of inconsistency for belief bases
International Journal of Approximate Reasoning
Computing inconsistency measure based on paraconsistent semantics
Journal of Logic and Computation
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
Measuring the blame of each formula for inconsistent prioritized knowledge bases
Journal of Logic and Computation
| Hi-index | 0.00 |
Measuring the degree of inconsistency of a knowledge base provides important context information for making easier inconsistency handling. In this paper, we propose a new fine-grained measure to quantify the degree of inconsistency of propositional formulae. Our inconsistency measure uses in an original way the minimal proofs to characterize the responsibility of each formula in the global inconsistency. We give an extension of such measure to quantify the inconsistency of the whole base. Furthermore, we show that our measure satisfies the important properties characterizing an intuitive inconsistency measure. Finally, we address the problem of restoring consistency using an inconsistency measure.