Measuring the blame of each formula for inconsistent prioritized knowledge bases

DOI10.1093/JIGPAL/EXR002MaRDI QIDQ2893320zbMATH OpenOpenAlexFDO

Authors Kedian Mu, Weiru Liu, Zhi Jin

Publication date 20 June 2012

Published in Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/51dfb279e4f353b6bb01bde7ba92848452bc3a7c

zbMATH Keywords

inconsistency measuresminimal inconsistent subsetsblame of each formula in inconsistencyprioritized knowledge base

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Recommendations

• Responsibility for inconsistency
• Measuring inconsistency with constraints for propositional knowledge bases
• Measuring inconsistency through minimal proofs
• Distance-based measures of inconsistency
• Analysing inconsistent information using distance-based measures

Cited in

(15)

• Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases
• Counting minimal unsatisfiable subsets
• scientific article; zbMATH DE number 7566076 (Why is no real title available?)
• Identifying roles of formulas in inconsistency under Priest's minimally inconsistent logic of paradox
• Measuring inconsistency with constraints for propositional knowledge bases
• Forgetting-Based Inconsistency Measure
• The Shapley value of inconsistency measures for functional dependencies
• Responsibility for inconsistency
• On the measure of conflicts: an argumentation-based framework
• A distance-based framework for inconsistency-tolerant reasoning and inconsistency measurement in DL-Lite
• Analysing inconsistent information using distance-based measures
• Quantifying conflicts in propositional logic through prime implicates
• Using Shapley inconsistency values for distributed information systems with uncertainty
• Logical and Evidential Inconsistencies Meet: First Steps
• Approaches to measuring inconsistency for stratified knowledge bases

This page was built for publication: Measuring the blame of each formula for inconsistent prioritized knowledge bases

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