A syntax-based approach to measuring the degree of inconsistency for belief bases

DOI10.1016/j.ijar.2011.04.001zbMath1226.68106OpenAlexW1976258004MaRDI QIDQ648367

Weiru Liu, Kedian Mu, Zhi Jin, David. A. Bell

Publication date: 22 November 2011

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ijar.2011.04.001

zbMATH Keywords

minimal inconsistent subsetsdegree of inconsistencymeasuring inconsistency

Mathematics Subject Classification ID

Knowledge representation (68T30)

Related Items

Comparing and Weakening Possibilistic Knowledge Bases ⋮ The degree of conflict between formulas in an inconsistent knowledge base ⋮ Measure-Based Inconsistency-Tolerant Maintenance of Database Integrity ⋮ Measuring inconsistency with constraints for propositional knowledge bases ⋮ Measuring inconsistency with many-valued logics ⋮ Analysing inconsistent information using distance-based measures ⋮ Quantifying conflicts in propositional logic through prime implicates ⋮ Using inconsistency measures for estimating reliability ⋮ Responsibility for inconsistency ⋮ Stream-based inconsistency measurement ⋮ Semantic inconsistency measures using 3-valued logics ⋮ Dimensional Inconsistency Measures and Postulates in Spatio-Temporal Databases ⋮ On the measure of conflicts: an argumentation-based framework ⋮ Relative inconsistency measures ⋮ On the complexity of inconsistency measurement ⋮ General information spaces: measuring inconsistency, rationality postulates, and complexity ⋮ On the expressivity of inconsistency measures ⋮ Policy-based inconsistency management in relational databases ⋮ Approaches to measuring inconsistency for stratified knowledge bases ⋮ Inconsistency-tolerant reasoning with OWL DL

Cites Work

• Unnamed Item
• On the measure of conflicts: Shapley inconsistency values
• \(\text{DA}^2\) merging operators
• Measures of inconsistency and defaults
• Using local search to find MSSes and MUSes
• A theory of diagnosis from first principles
• Minimally inconsistent LP
• On the complexity of propositional knowledge base revision, updates, and counterfactuals
• Classifications for inconsistent theories
• Resolving contradictions: A plausible semantics for inconsistent systems
• Measuring inconsistency
• Two information measures for inconsistent sets
• Analysing inconsistent first-order knowledgebases
• Proof systems for probabilistic uncertain reasoning
• The Uncertain Reasoner's Companion
• Inconsistency Tolerance
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty