Reasoning about truth (research note)
Artificial Intelligence
Federated database systems for managing distributed, heterogeneous, and autonomous databases
ACM Computing Surveys (CSUR) - Special issue on heterogeneous databases
Handbook of logic in artificial intelligence and logic programming (vol. 3)
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)
Handbook of defeasible reasoning and uncertainty management systems
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
Handling Inconsistencies in Z Using Quasi-Classical Logic
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Answering queries using views: A survey
The VLDB Journal — The International Journal on Very Large Data Bases
Measuring inconsistency in knowledge via quasi-classical models
Eighteenth national conference on Artificial intelligence
Reasoning with inconsistency in structured text
The Knowledge Engineering Review
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
Analysing inconsistent first-order knowledgebases
Artificial Intelligence
A three-valued semantics for querying and repairing inconsistent databases
Annals of Mathematics and Artificial Intelligence
Classifying integrity checking methods with regard to inconsistency tolerance
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
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
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
Modeling, Measuring and Monitoring the Quality of Information
ER '09 Proceedings of the ER 2009 Workshops (CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS) on Advances in Conceptual Modeling - Challenging Perspectives
An Anytime Algorithm for Computing Inconsistency Measurement
KSEM '09 Proceedings of the 3rd International Conference on Knowledge Science, Engineering and Management
An algorithm for agent knowledge integration using conjunctive and disjunctive structures
KES-AMSTA'08 Proceedings of the 2nd KES International conference on Agent and multi-agent systems: technologies and applications
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
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
A Syntax-based approach to measuring the degree of inconsistency for belief bases
International Journal of Approximate Reasoning
Causes of the violation of integrity constraints for supporting the quality of databases
ICCSA'11 Proceedings of the 2011 international conference on Computational science and Its applications - Volume Part V
On the notions of residuated-based coherence and bilattice-based consistence
WILF'11 Proceedings of the 9th international conference on Fuzzy logic and applications
Inconsistency-tolerant integrity checking based on inconsistency metrics
KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part II
A relaxed approach to integrity and inconsistency in databases
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Measuring and repairing inconsistency in knowledge bases with graded truth
Fuzzy Sets and Systems
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
Hi-index | 0.00 |
It is well-known that knowledgebases may contain inconsistencies. We provide a measure to quantify the inconsistency of a knowledgebase, thereby allowing for the comparison of the inconsistency of various knowledgebases, represented as first-order logic formulas. We use quasi-classical (QC) logic for this purpose. QC logic is a formalism for reasoning and analysing inconsistent information. It has been used as the basis of a framework for measuring inconsistency in propositional theories. Here we extend this framework, by using a first-order logic version of QC logic for measuring inconsistency in first-order theories. We motivate the QC logic approach by considering some formulae as database or knowledgebase integrity constraints. We then define a measure of extrinsic inconsistency that can be used to compare the inconsistency of different knowledgebases. This measure takes into account both the language used and the underlying domain. We show why this definition also captures the intrinsic inconsistency of a knowledgebase. We also provide a formalization of paraconsistent equality, called quasi-equality, and we use this in an extended example of an application for measuring inconsistency between heterogeneous sources of information and integrity constraints prior to merging.