Reasoning about truth (research note)
Artificial Intelligence
Artificial Intelligence
Managing inconsistent specifications: reasoning, analysis, and action
ACM Transactions on Software Engineering and Methodology (TOSEM)
Equality and Domain Closure in First-Order Databases
Journal of the ACM (JACM)
Inconsistency Handling in Multiperspective Specifications
IEEE Transactions on Software Engineering
Two Information Measures for Inconsistent Sets
Journal of Logic, Language and Information
A Logical Framework for Integrating Inconsistent Information in Multiple Databases
FoIKS '02 Proceedings of the Second International Symposium on Foundations of Information and Knowledge Systems
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
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
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
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
An Anytime Algorithm for Computing Inconsistency Measurement
KSEM '09 Proceedings of the 3rd International Conference on Knowledge Science, Engineering and Management
Knowledge merging under multiple attributes
KSEM'10 Proceedings of the 4th international conference on Knowledge science, engineering and management
A Syntax-based approach to measuring the degree of inconsistency for belief bases
International Journal of Approximate Reasoning
Inconsistency measures for probabilistic logics
Artificial Intelligence
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
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
Sigma: An integrated development environment for formal ontology
AI Communications - Intelligent Engineering Techniques for Knowledge Bases
Hi-index | 0.01 |
It is well-known that knowledgebases may contain inconsistencies. We provide a framework of measures, based on a first-order four-valued logic, to quantify the inconsistency of a knowledgebase. This allows for the comparison of the inconsistency of diverse knowledgebases that have been represented as sets of first-order logic formulae. We motivate the approach by considering some examples of knowledgebases for representing and reasoning with ontological knowledge and with temporal knowledge. Analysing ontological knowledge (including the statements about which concepts are subconcepts of other concepts, and which concepts are disjoint) can be problematical when there is a lack of knowledge about the instances that may populate the concepts, and analysing temporal knowledge (such as temporal integrity constraints) can be problematical when considering infinite linear time lines isomorphic to the natural numbers or the real numbers or more complex structures such as branching time lines. We address these difficulties by providing algebraic measures of inconsistency in first-order knowledgebases.