Handbook of logic in artificial intelligence and logic programming (vol. 3)
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
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
Evaluating violations of expectations to find exceptional information
Data & Knowledge Engineering
Foundational Challenges in Automated Semantic Web Data and Ontology Cleaning
IEEE Intelligent Systems
How to act on inconsistent news: ignore, resolve, or reject
Data & Knowledge Engineering
Measuring inconsistency in knowledgebases
Journal of Intelligent Information Systems
Fusion rules for merging uncertain information
Information Fusion
A knowledge-based approach to merging information
Knowledge-Based Systems
Detecting inconsistency in biological molecular databases using ontologies
Data Mining and Knowledge Discovery
Information and Software Technology
Analysing inconsistent first-order knowledgebases
Artificial Intelligence
A three-valued semantics for querying and repairing inconsistent databases
Annals of Mathematics and Artificial Intelligence
On Temporal Properties of Knowledge Base Inconsistency
Transactions on Computational Science V
Making argumentation more believable
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Quantifying knowledge base inconsistency via fixpoint semantics
Transactions on computational science II
Editorial: Acquiring knowledge from inconsistent data sources through weighting
Data & Knowledge Engineering
Secure transaction protocol analysis: models and applications
Secure transaction protocol analysis: models and applications
Dealing with inconsistent secure messages by weighting majority
Knowledge-Based Systems
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
Quasi-Possibilistic Logic and its Measures of Information and Conflict
Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)
Hi-index | 0.00 |
Inconsistencies frequently occur in knowledge about the real-world. Some of these inconsistencies may be more significant than others, and some knowledgebases (sets of formulae) may contain more inconsistencies than others. This creates problems of deciding whether to act on these inconsistencies, and if so how. To address this, we provide a general characterization of inconsistency, based on quasi-classical logic (a form of paraconsistent logic with a more expressive semantics than Belnap's four-valued logic, and unlike other paraconsistent logics, allows the connectives to appear to behave as classical connectives). We analyse inconsistent knowledge by considering the conflicts arising in the minimal quasi-classical models for that knowledge. This is used for a measure of coherence for each knowledgebase, and for a measure of significance of inconsistencies in each knowledgebase. In this paper, we formalize this framework, and consider applications in managing heterogeneous sources of knowledge.