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

DOI10.1016/J.IJAR.2011.04.001zbMATH Open1226.68106OpenAlexW1976258004MaRDI QIDQ648367FDOQ648367

Authors Kedian Mu, Weiru Liu, Zhi Jin, D. 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)

Recommendations

• scientific article; zbMATH DE number 6902558
• Measuring inconsistency through minimal proofs
• Inconsistency measurement based on variables in minimal unsatisfiable subsets
• Distance-based measures of inconsistency
• Measuring inconsistency

Cites work

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

Cited in

(21)

• Using inconsistency measures for estimating reliability
• Policy-based inconsistency management in relational databases
• Inconsistency-tolerant reasoning with OWL DL
• On the complexity of inconsistency measurement
• scientific article; zbMATH DE number 994056 (Why is no real title available?)
• Stream-based inconsistency measurement
• On the measure of conflicts: an argumentation-based framework
• Measure-based inconsistency-tolerant maintenance of database integrity
• Approaches to measuring inconsistency for stratified knowledge bases
• Analysing inconsistent information using distance-based measures
• Quantifying conflicts in propositional logic through prime implicates
• On the expressivity of inconsistency measures
• Measuring inconsistency with constraints for propositional knowledge bases
• Semantic inconsistency measures using 3-valued logics
• General information spaces: measuring inconsistency, rationality postulates, and complexity
• Dimensional inconsistency measures and postulates in spatio-temporal databases
• Comparing and weakening possibilistic knowledge bases
• The degree of conflict between formulas in an inconsistent knowledge base
• Relative inconsistency measures
• Measuring inconsistency with many-valued logics
• Responsibility for inconsistency

This page was built for publication: A syntax-based approach to measuring the degree of inconsistency for belief bases

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q648367)