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 (7)

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

This page was built for publication: Quantifying conflicts in propositional logic through prime implicates