Communications of the ACM
A logic-based theory of deductive arguments
Artificial Intelligence
Merging structured text using temporal knowledge
Data & Knowledge Engineering
Logical fusion rules for merging structured news reports
Data & Knowledge Engineering
Measuring inconsistency in knowledge via quasi-classical models
Eighteenth national conference on Artificial intelligence
Man bites dog: looking for interesting inconsistencies in structured news reports
Data & Knowledge Engineering
Evaluating violations of expectations to find exceptional information
Data & Knowledge Engineering
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
Approaches to measuring inconsistent information
Inconsistency Tolerance
A knowledge-based approach to merging information
Knowledge-Based Systems
Information and Software Technology
Analysing inconsistent first-order knowledgebases
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
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
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
An Anytime Algorithm for Computing Inconsistency Measurement
KSEM '09 Proceedings of the 3rd International Conference on Knowledge Science, Engineering and Management
On the measure of conflicts: Shapley Inconsistency Values
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
| Hi-index | 0.02 |
Inconsistencies frequently occur in news about the real-world. Some of these inconsistencies may be more significant than others, and some news may contain more inconsistencies than others. This creates problems of deciding whether to act on these inconsistencies, and if so how. Possible actions on an inconsistency in a news report include ignore the inconsistency, resolve the inconsistency, and reject the report. To support this, we extend and apply a general characterization of inconsistency, based on Belnap's four-valued logic. For conflicts arising between the news and background knowledge, we analyse coherence and significance of the corresponding the four-valued models for that knowledge and show how this analysis can indicate an appropriate course of action.