Stream-based inconsistency measurement

DOI10.1016/j.ijar.2015.11.001zbMath1346.68189OpenAlexW2151720116MaRDI QIDQ895515

Matthias Thimm

Publication date: 3 December 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.11.001

zbMATH Keywords

approximation algorithminconsistency measures

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Approximation algorithms (68W25)

Related Items (11)

Measuring inconsistency with many-valued logics ⋮ Using inconsistency measures for estimating reliability ⋮ A comparison of ASP-based and SAT-based algorithms for the contension inconsistency measure ⋮ Inconsistency Measurement ⋮ Dimensional Inconsistency Measures and Postulates in Spatio-Temporal Databases ⋮ On the measure of conflicts: an argumentation-based framework ⋮ On the complexity of inconsistency measurement ⋮ General information spaces: measuring inconsistency, rationality postulates, and complexity ⋮ Paraconsistent inference relations induced from inconsistency measures ⋮ Forgetting-Based Inconsistency Measure ⋮ On the expressivity of inconsistency measures

Uses Software

• Tweety
• LDSpider
• LARS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Inconsistency measures for probabilistic logics
• Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases
• On the measure of conflicts: Shapley inconsistency values
• Measuring and repairing inconsistency in probabilistic knowledge bases
• A syntax-based approach to measuring the degree of inconsistency for belief bases
• Measures of inconsistency and defaults
• The logic of paradox
• Measuring inconsistency
• Approaches to measuring inconsistency for stratified knowledge bases
• Analysing inconsistent first-order knowledgebases
• Revisiting Postulates for Inconsistency Measures
• Measuring Consistency Gain and Information Loss in Stepwise Inconsistency Resolution
• Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics
• Enumerating Infeasibility: Finding Multiple MUSes Quickly
• Distance-Based Measures of Inconsistency
• Inconsistency Tolerance
• The complexity of theorem-proving procedures
• Theory and Applications of Satisfiability Testing

This page was built for publication: Stream-based inconsistency measurement