Stream-based inconsistency measurement

DOI10.1016/J.IJAR.2015.11.001MaRDI QIDQ895515zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

approximation algorithminconsistency measures

Mathematics Subject Classification ID

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

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

Cites work

• scientific article; zbMATH DE number 43238 (Why is no real title available?)
• scientific article; zbMATH DE number 6748005 (Why is no real title available?)
• 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
• Approaches to measuring inconsistency for stratified knowledge bases
• Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases
• Distance-based measures of inconsistency
• Enumerating infeasibility: finding multiple MUSes quickly
• 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 and repairing inconsistency in probabilistic knowledge bases
• Measuring inconsistency
• On the measure of conflicts: Shapley inconsistency values
• Revisiting postulates for inconsistency measures
• The complexity of theorem-proving procedures
• The logic of paradox
• Theory and Applications of Satisfiability Testing

Cited in

(11)

• Inconsistency measurement
• 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

Describes a project that uses

Uses Software

• LARS
• LDSpider
• Tweety

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)