Quantifying conflicts in propositional logic through prime implicates

DOI10.1016/j.ijar.2016.12.017zbMath1419.68145OpenAlexW2569984386MaRDI QIDQ1680686

Yue Ma, Badran Raddaoui, Lakhdar Saïs, Saïd Jabbour

Publication date: 16 November 2017

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.12.017

zbMATH Keywords

propositional logicknowledge representationprime implicatesconflicting variablesinconsistency measure

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items

Three-way conflict analysis based on alliance and conflict functions, An efficient conflict analysis method based on splitting and merging of formal contexts, The selection of feasible strategies based on consistency measurement of cliques, On the measure of conflicts: an argumentation-based framework, On the complexity of inconsistency measurement, General information spaces: measuring inconsistency, rationality postulates, and complexity, Semantic relevance

Cites Work

• Unnamed Item
• Unnamed Item
• Inconsistency measures for probabilistic logics
• 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
• Responsibility for inconsistency
• Measures of inconsistency and defaults
• A theory of diagnosis from first principles
• Classifications for inconsistent theories
• The value of the four values
• Measuring inconsistency
• Analysing inconsistent first-order knowledgebases
• Measuring coherence using LP-models
• Measuring the blame of each formula for inconsistent prioritized knowledge bases
• Computing inconsistency measure based on paraconsistent semantics
• MEASURING INCONSISTENCY IN A NETWORK INTRUSION DETECTION RULE SET BASED ON SNORT
• On Measuring Inconsistency Using Maximal Consistent Sets
• How Dirty Is Your Relational Database? An Axiomatic Approach
• Distance-Based Measures of Inconsistency
• Measuring Inconsistency through Minimal Proofs
• Inconsistency Tolerance