On the expressivity of inconsistency measures

DOI10.1016/J.ARTINT.2016.01.013zbMATH Open1352.68236OpenAlexW2258514347MaRDI QIDQ253979FDOQ253979

Authors Matthias Thimm

Publication date 8 March 2016

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.artint.2016.01.013

zbMATH Keywords

inconsistency managementinconsistency measures

Mathematics Subject Classification ID

Knowledge representation (68T30) Classical propositional logic (03B05) Logic in artificial intelligence (68T27)

Recommendations

• On the evaluation of inconsistency measures
• On the complexity of inconsistency measurement
• Revisiting postulates for inconsistency measures
• Inconsistency as a touchstone for coherence measures
• On measuring inconsistency using maximal consistent sets
• Relative inconsistency measures
• Inconsistency measures and paraconsistent consequence
• Measuring inconsistency in a general information space
• Measuring inconsistency

Cites work

• scientific article; zbMATH DE number 2239772 (Why is no real title available?)
• A syntax-based approach to measuring the degree of inconsistency for belief bases
• Analysing inconsistent first-order knowledgebases
• Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases
• Computing inconsistency measure based on paraconsistent semantics
• Counting inequivalent monotone Boolean functions.
• Distance-based measures of inconsistency
• Inconsistency Tolerance
• Inconsistency measurement based on variables in minimal unsatisfiable subsets
• Inconsistency measures for probabilistic logics
• Measures of inconsistency and defaults
• Measuring Consistency Gain and Information Loss in Stepwise Inconsistency Resolution
• Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics
• Measuring inconsistency through minimal proofs
• On the measure of conflicts: Shapley inconsistency values
• Parallel belief revision: revising by sets of formulas
• Revisiting postulates for inconsistency measures
• Stream-based inconsistency measurement
• The logic of paradox

Cited in

(19)

• Using inconsistency measures for estimating reliability
• On an MCS-based inconsistency measure
• On the complexity of inconsistency measurement
• Measuring inconsistency through subformula forgetting
• Relation-changing models meet paraconsistency
• Measuring inconsistency in some branching time logics
• On the probability and cost of ignorance, inconsistency, nonsense and more
• Measuring inconsistency in generalized propositional logic
• Measuring inconsistency with constraints for propositional knowledge bases
• Localising iceberg inconsistencies
• Semantic inconsistency measures using 3-valued logics
• General information spaces: measuring inconsistency, rationality postulates, and complexity
• On the evaluation of inconsistency measures
• Forgetting-Based Inconsistency Measure
• Inconsistency measurement
• Measuring inconsistency in answer set programs
• On measuring inconsistency in definite and indefinite databases with denial constraints
• On the inconsistency of IQML
• Measuring inconsistency with many-valued logics

This page was built for publication: On the expressivity of inconsistency measures

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