Responsibility for inconsistency

DOI10.1016/J.IJAR.2015.04.007MaRDI QIDQ891774zbMATH OpenOpenAlexFDO

Authors Kedian Mu

Publication date 17 November 2015

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

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

zbMATH Keywords

responsibilityinconsistencyminimal inconsistent subsetscausality modelsminimal correction subsets

Mathematics Subject Classification ID

Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27)

Recommendations

• Measuring the blame of each formula for inconsistent prioritized knowledge bases
• 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

Cites work

• scientific article; zbMATH DE number 2243367 (Why is no real title available?)
• A syntax-based approach to measuring the degree of inconsistency for belief bases
• A theory of diagnosis from first principles
• Algorithms for computing minimal unsatisfiable subsets of constraints
• Analysing inconsistent first-order knowledgebases
• Approaches to measuring inconsistency for stratified knowledge bases
• Causes and Explanations: A Structural-Model Approach. Part I: Causes
• Classifications for inconsistent theories
• Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases
• From inconsistency handling to non-canonical requirements management: a logical perspective
• Inconsistency Tolerance
• Inconsistency measurement based on variables in minimal unsatisfiable subsets
• Inconsistency measures for probabilistic logics
• MEASURING INCONSISTENCY IN A NETWORK INTRUSION DETECTION RULE SET BASED ON SNORT
• Measures of inconsistency and defaults
• Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics
• Measuring and repairing inconsistency in probabilistic knowledge bases
• Measuring inconsistency
• Measuring inconsistency through minimal proofs
• Measuring the blame of each formula for inconsistent prioritized knowledge bases
• On the measure of conflicts: Shapley inconsistency values
• Two information measures for inconsistent sets
• What causes a system to satisfy a specification?

Cited in

(15)

• Measuring inconsistency through minimal proofs
• Intrinsic approaches to prioritizing diagnoses in multi-context systems
• On the measure of conflicts: an argumentation-based framework
• On quasi-inconsistency and its complexity
• 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
• Measuring inconsistency with constraints for propositional knowledge bases
• Forgetting-Based Inconsistency Measure
• Using Shapley inconsistency values for distributed information systems with uncertainty
• The interior of inconsistency in a knowledge base
• Handling and measuring inconsistency in non-monotonic logics
• The degree of conflict between formulas in an inconsistent knowledge base
• A reasoning platform based on the MI Shapley inconsistency value
• Measuring the blame of each formula for inconsistent prioritized knowledge bases

This page was built for publication: Responsibility for inconsistency

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