On an MCS-based inconsistency measure

DOI10.1016/J.IJAR.2016.06.004MaRDI QIDQ2374545zbMATH OpenOpenAlexFDO

Authors Meriem Ammoura, Yakoub Salhi, Brahim Oukacha, Badran Raddaoui

Publication date 15 December 2016

Published in International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ijar.2016.06.004

zbMATH Keywords

knowledge baseinconsistency measuremaximal consistent subset

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27)

Recommendations

• On the evaluation of inconsistency measures
• On measuring inconsistency using maximal consistent sets
• On the complexity of inconsistency measurement
• On the expressivity of inconsistency measures
• Inconsistency measurement based on variables in minimal unsatisfiable subsets
• Revisiting postulates for inconsistency measures
• Inconsistency as a touchstone for coherence measures

Cites work

• scientific article; zbMATH DE number 2149446 (Why is no real title available?)
• scientific article; zbMATH DE number 3313427 (Why is no real title available?)
• Classifications for inconsistent theories
• Distance-based measures of inconsistency
• Efficient CNF encoding of Boolean cardinality constraints
• How Dirty Is Your Relational Database? An Axiomatic Approach
• Inconsistency measures for probabilistic logics
• MEASURING INCONSISTENCY IN A NETWORK INTRUSION DETECTION RULE SET BASED ON SNORT
• Measuring Consistency Gain and Information Loss in Stepwise Inconsistency Resolution
• Measuring inconsistency
• Minimally inconsistent LP
• On Solving the Partial MAX-SAT Problem
• On the measure of conflicts: Shapley inconsistency values
• Revisiting postulates for inconsistency measures
• Towards an Optimal CNF Encoding of Boolean Cardinality Constraints

Cited in

(12)

• On the complexity of inconsistency measurement
• Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases
• Stream-based inconsistency measurement
• On measuring inconsistency using maximal consistent sets
• Inconsistency measurement based on variables in minimal unsatisfiable subsets
• Measuring incompleteness under multi-valued semantics by partial MaxSAT solvers
• Quantifying conflicts in propositional logic through prime implicates
• Localising iceberg inconsistencies
• Consistent subsets of inconsistent systems: structure and behaviour
• A max-term counting based knowledge inconsistency checking strategy and inconsistency measure calculation of fuzzy knowledge based systems
• Relative inconsistency measures
• Measuring inconsistency with many-valued logics

This page was built for publication: On an MCS-based inconsistency measure

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