A theory of diagnosis from first principles
Artificial Intelligence
Artificial Intelligence
Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence
What does a conditional knowledge base entail?
Artificial Intelligence
General patterns in nonmonotonic reasoning
Handbook of logic in artificial intelligence and logic programming (vol. 3)
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
The uncertain reasoner's companion: a mathematical perspective
The uncertain reasoner's companion: a mathematical perspective
On the logic of iterated belief revision
Artificial Intelligence
Properties of measures of information in evidence and possibility theories
Fuzzy Sets and Systems
Introduction to actual and potential contradictions
Handbook of defeasible reasoning and uncertainty management systems
Handbook of defeasible reasoning and uncertainty management systems
ACM Computing Surveys (CSUR)
Combining Multiple Knowledge Bases
IEEE Transactions on Knowledge and Data Engineering
Two Information Measures for Inconsistent Sets
Journal of Logic, Language and Information
Making inconsistency respectable: a logical framework for inconsistency in reasoning
FAIR '91 Proceedings of the International Workshop on Fundamentals of Artificial Intelligence Research
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
A Semantic Tableau Version of First-Order Quasi-Classical Logic
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Measuring inconsistency in knowledge via quasi-classical models
Eighteenth national conference on Artificial intelligence
Quasi-possibilistic logic and its measures of information and conflict
Fundamenta Informaticae
Logical comparison of inconsistent perspectives using scoring functions
Knowledge and Information Systems
Preferred subtheories: an extended logical framework for default reasoning
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
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
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Iterated theory base change: a computational model
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Argumentative inference in uncertain and inconsistent knowledge bases
UAI'93 Proceedings of the Ninth international conference on Uncertainty in artificial intelligence
Evaluating violations of expectations to find exceptional information
Data & Knowledge Engineering
How to act on inconsistent news: ignore, resolve, or reject
Data & Knowledge Engineering
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
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
When Is Inconsistency Considered Harmful: Temporal Characterization of Knowledge Base Inconsistency
IDEAL '08 Proceedings of the 9th International Conference on Intelligent Data Engineering and Automated Learning
On Temporal Properties of Knowledge Base Inconsistency
Transactions on Computational Science V
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
Inconsistency: the good, the bad, and the ugly
IRI'09 Proceedings of the 10th IEEE international conference on Information Reuse & Integration
An Anytime Algorithm for Computing Inconsistency Measurement
KSEM '09 Proceedings of the 3rd International Conference on Knowledge Science, Engineering and Management
Measuring inconsistency in probabilistic knowledge bases
UAI '09 Proceedings of the Twenty-Fifth Conference on Uncertainty in Artificial Intelligence
Quantifying knowledge base inconsistency via fixpoint semantics
Transactions on computational science II
Measures of inconsistency and defaults
International Journal of Approximate Reasoning
On the measure of conflicts: Shapley Inconsistency Values
Artificial Intelligence
Measuring consistency with respect to topological dependency constraints
Proceedings of the 18th SIGSPATIAL International Conference on Advances in Geographic Information Systems
Knowledge merging under multiple attributes
KSEM'10 Proceedings of the 4th international conference on Knowledge science, engineering and management
Efficient policy-based inconsistency management in relational knowledge bases
SUM'10 Proceedings of the 4th international conference on Scalable uncertainty management
Handling dirty databases: from user warning to data cleaning -- towards an interactive approach
SUM'10 Proceedings of the 4th international conference on Scalable uncertainty management
Measuring and repairing inconsistency in probabilistic knowledge bases
International Journal of Approximate Reasoning
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
Some representation and computational issues in social choice
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 and repairing inconsistency in knowledge bases with graded truth
Fuzzy Sets and Systems
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
The operations on intuitionistic fuzzy values in the framework of Dempster-Shafer theory
Knowledge-Based Systems
Managing uncertainty in databases and scaling it up to concurrent transactions
SUM'12 Proceedings of the 6th international conference on Scalable Uncertainty Management
The Consistency of the Medical Expert System CADIAG-2: A Probabilistic Approach
Journal of Information Technology Research
A reasoning platform based on the MI shapley inconsistency value
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
Policy-based inconsistency management in relational databases
International Journal of Approximate Reasoning
Approaches to measuring inconsistency for stratified knowledge bases
International Journal of Approximate Reasoning
Hi-index | 0.01 |
Measures of quantity of information have been studied extensively for more than fifty years. The seminal work on information theory is by Shannon [67]. This work, based on probability theory, can be used in a logical setting when the worlds are the possible events. This work is also the basis of Lozinskii's work [48] for defining the quantity of information of a formula (or knowledgebase) in propositional logic. But this definition is not suitable when the knowledgebase is inconsistent. In this case, it has no classical model, so we have no “event” to count. This is a shortcoming since in practical applications (e.g. databases) it often happens that the knowledgebase is not consistent. And it is definitely not true that all inconsistent knowledgebases contain the same (null) amount of information, as given by the “classical information theory”. As explored for several years in the paraconsistent logic community, two inconsistent knowledgebases can lead to very different conclusions, showing that they do not convey the same information. There has been some recent interest in this issue, with some interesting proposals. Though a general approach for information theory in (possibly inconsistent) logical knowledgebases is missing. Another related measure is the measure of contradiction. It is usual in classical logic to use a binary measure of contradiction: a knowledgebase is either consistent or inconsistent. This dichotomy is obvious when the only deductive tool is classical inference, since inconsistent knowledgebases are of no use. But there are now a number of logics developed to draw non-trivial conclusions from an inconsistent knowledgebase. So this dichotomy is not sufficient to describe the amount of contradiction of a knowledgebase, one needs more fine-grained measures. Some interesting proposals have been made for this. The main aim of this paper is to review the measures of information and contradiction, and to study some potential practical applications. This has significant potential in developing intelligent systems that can be tolerant to inconsistencies when reasoning with real-world knowledge.