Stream-based inconsistency measurement

DOI10.1016/J.IJAR.2015.11.001zbMATH Open1346.68189OpenAlexW2151720116MaRDI QIDQ895515FDOQ895515

Authors: 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

Recommendations

• Inconsistency measurement
• Measuring inconsistency
• On the complexity of inconsistency measurement
• Streaming periodicity with mismatches
• Testing and spot-checking of data streams
• On the evaluation of inconsistency measures
• On an MCS-based inconsistency measure

zbMATH Keywords

approximation algorithminconsistency measures

Mathematics Subject Classification ID

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

Cites Work

• The logic of paradox
• Measuring inconsistency
• Analysing inconsistent first-order knowledgebases
• Revisiting postulates for inconsistency measures
• Measuring Consistency Gain and Information Loss in Stepwise Inconsistency Resolution
• Inconsistency measurement based on variables in minimal unsatisfiable subsets
• Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics
• Inconsistency measures for probabilistic logics
• Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases
• Distance-based measures of inconsistency
• Inconsistency Tolerance
• Title not available (Why is that?)
• On the measure of conflicts: Shapley inconsistency values
• A syntax-based approach to measuring the degree of inconsistency for belief bases
• Measures of inconsistency and defaults
• The complexity of theorem-proving procedures
• Enumerating infeasibility: finding multiple MUSes quickly
• Theory and Applications of Satisfiability Testing
• Title not available (Why is that?)
• Measuring and repairing inconsistency in probabilistic knowledge bases
• Approaches to measuring inconsistency for stratified knowledge bases
• Title not available (Why is that?)

Cited In (11)

• On the expressivity of inconsistency measures
• Paraconsistent inference relations induced from inconsistency measures
• 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
• Forgetting-Based Inconsistency Measure
• On the complexity of inconsistency measurement
• On the measure of conflicts: an argumentation-based framework
• General information spaces: measuring inconsistency, rationality postulates, and complexity
• Dimensional inconsistency measures and postulates in spatio-temporal databases
• Inconsistency measurement

Uses Software

• Tweety
• LDSpider
• LARS

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

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