Quantifying conflicts in propositional logic through prime implicates

DOI10.1016/J.IJAR.2016.12.017MaRDI QIDQ1680686zbMATH OpenOpenAlexFDO

Authors Yue Ma, Badran Raddaoui, Said Jabbour, Lakhdar Sais

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

knowledge representationpropositional logicprime implicatesconflicting variablesinconsistency measure

Mathematics Subject Classification ID

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

Recommendations

• On the measure of conflicts: an argumentation-based framework
• Measuring inconsistency through minimal proofs
• scientific article; zbMATH DE number 6902558
• On an MCS-based inconsistency measure
• On measuring inconsistency using maximal consistent sets

Cites work

• scientific article; zbMATH DE number 1859326 (Why is no real title available?)
• A syntax-based approach to measuring the degree of inconsistency for belief bases
• A theory of diagnosis from first principles
• Analysing inconsistent first-order knowledgebases
• Classifications for inconsistent theories
• Computing inconsistency measure based on paraconsistent semantics
• Distance-based measures of inconsistency
• How Dirty Is Your Relational Database? An Axiomatic Approach
• Inconsistency Tolerance
• Inconsistency measurement based on variables in minimal unsatisfiable subsets
• Inconsistency measures for probabilistic logics
• MEASURING INCONSISTENCY IN A NETWORK INTRUSION DETECTION RULE SET BASED ON SNORT
• Measures of inconsistency and defaults
• Measuring and repairing inconsistency in probabilistic knowledge bases
• Measuring coherence using LP-models
• Measuring inconsistency
• Measuring inconsistency through minimal proofs
• Measuring the blame of each formula for inconsistent prioritized knowledge bases
• On measuring inconsistency using maximal consistent sets
• On the measure of conflicts: Shapley inconsistency values
• Responsibility for inconsistency
• The value of the four values

Cited in

(8)

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

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

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