On the expressivity of inconsistency measures

DOI10.1016/j.artint.2016.01.013zbMath1352.68236OpenAlexW2258514347MaRDI QIDQ253979

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

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

Related Items (15)

Measuring inconsistency with constraints for propositional knowledge bases ⋮ Localising iceberg inconsistencies ⋮ Measuring inconsistency with many-valued logics ⋮ Using inconsistency measures for estimating reliability ⋮ Semantic inconsistency measures using 3-valued logics ⋮ Relation-changing models meet paraconsistency ⋮ On measuring inconsistency in definite and indefinite databases with denial constraints ⋮ Inconsistency Measurement ⋮ Measuring Inconsistency Through Subformula Forgetting ⋮ Measuring inconsistency in some branching time logics ⋮ Unnamed Item ⋮ Measuring Inconsistency in Answer Set Programs ⋮ On the complexity of inconsistency measurement ⋮ General information spaces: measuring inconsistency, rationality postulates, and complexity ⋮ Forgetting-Based Inconsistency Measure

Cites Work

• Unnamed Item
• Unnamed Item
• Inconsistency measures for probabilistic logics
• Parallel belief revision: revising by sets of formulas
• Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases
• On the measure of conflicts: Shapley inconsistency values
• A syntax-based approach to measuring the degree of inconsistency for belief bases
• Stream-based inconsistency measurement
• Measures of inconsistency and defaults
• The logic of paradox
• Analysing inconsistent first-order knowledgebases
• Counting inequivalent monotone Boolean functions.
• Revisiting Postulates for Inconsistency Measures
• Measuring Consistency Gain and Information Loss in Stepwise Inconsistency Resolution
• Computing inconsistency measure based on paraconsistent semantics
• Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics
• Distance-Based Measures of Inconsistency
• Measuring Inconsistency through Minimal Proofs
• Inconsistency Tolerance

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