Measuring Consistency Gain and Information Loss in Stepwise Inconsistency Resolution

DOI10.1007/978-3-642-22152-1_31zbMath1341.68256OpenAlexW1644534823MaRDI QIDQ3011958

J. R. Grant, Anthony Hunter

Publication date: 29 June 2011

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-22152-1_31

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Measures of information, entropy (94A17)

Related Items

On an MCS-based inconsistency measure ⋮ Inducing inference relations from inconsistency measures ⋮ The degree of conflict between formulas in an inconsistent knowledge base ⋮ Measuring inconsistency with constraints for propositional knowledge bases ⋮ Measuring inconsistency with many-valued logics ⋮ Analysing inconsistent information using distance-based measures ⋮ Stream-based inconsistency measurement ⋮ Relation-changing models meet paraconsistency ⋮ On measuring inconsistency in definite and indefinite databases with denial constraints ⋮ A comparison of ASP-based and SAT-based algorithms for the contension inconsistency measure ⋮ Measuring inconsistency in generalized propositional logic ⋮ Handling and measuring inconsistency in non-monotonic logics ⋮ Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases ⋮ Counting subset repairs with functional dependencies ⋮ Inconsistency Measurement ⋮ Dimensional Inconsistency Measures and Postulates in Spatio-Temporal Databases ⋮ Unnamed Item ⋮ Non-dual modal operators as a basis for 4-valued accessibility relations in hybrid logic ⋮ Relative inconsistency measures ⋮ On the complexity of inconsistency measurement ⋮ General information spaces: measuring inconsistency, rationality postulates, and complexity ⋮ Paraconsistent inference relations induced from inconsistency measures ⋮ On the expressivity of inconsistency measures

Cites Work

• Classifications for inconsistent theories
• The logic of paradox
• Resolving contradictions: A plausible semantics for inconsistent systems
• Measuring inconsistency
• Inconsistency Tolerance
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• A logical measure function

This page was built for publication: Measuring Consistency Gain and Information Loss in Stepwise Inconsistency Resolution