Quantifying conflicts in propositional logic through prime implicates
From MaRDI portal
Publication:1680686
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
propositional logicknowledge representationprime implicatesconflicting variablesinconsistency measure
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