Measuring and repairing inconsistency in probabilistic knowledge bases

DOI10.1016/j.ijar.2011.02.003zbMath1226.68114OpenAlexW2143206572MaRDI QIDQ648360

David Picado Muiño

Publication date: 22 November 2011

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

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

zbMATH Keywords

inconsistencyCADIAG-2probabilistic satisfiabilitymeasures of inconsistencyprobabilistic knowledge bases

Mathematics Subject Classification ID

Database theory (68P15) Reasoning under uncertainty in the context of artificial intelligence (68T37) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Related Items

Measuring inconsistency with constraints for propositional knowledge bases ⋮ Inconsistency measures for probabilistic logics ⋮ Inconsistency-tolerant reasoning over linear probabilistic knowledge bases ⋮ Quantifying conflicts in propositional logic through prime implicates ⋮ PROBABILISTIC ENTAILMENT ON FIRST ORDER LANGUAGES AND REASONING WITH INCONSISTENCIES ⋮ Responsibility for inconsistency ⋮ Stream-based inconsistency measurement ⋮ Syntactic reasoning with conditional probabilities in deductive argumentation ⋮ Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation ⋮ On measuring inconsistency in definite and indefinite databases with denial constraints ⋮ An approach to inconsistency-tolerant reasoning about probability based on Łukasiewicz logic ⋮ Measuring and repairing inconsistency in knowledge bases with graded truth ⋮ On the measure of conflicts: an argumentation-based framework ⋮ Policy-based inconsistency management in relational databases ⋮ Approaches to measuring inconsistency for stratified knowledge bases

Cites Work

• Unnamed Item
• Unnamed Item
• On the (fuzzy) logical content of CADIAG-2
• Extended monotropic programming and duality
• A theory of diagnosis from first principles
• Fuzzy logic and approximate reasoning
• Measuring inconsistency
• The Consistency of the CADIAG-2 Knowledge Base: A Probabilistic Approach
• A Fine-Grained Approach to Resolving Unsatisfiable Ontologies