The Consistency of the CADIAG-2 Knowledge Base: A Probabilistic Approach
From MaRDI portal
Publication:4933323
DOI10.1007/978-3-642-16242-8_31zbMath1306.68205MaRDI QIDQ4933323
David Picado Muiño, Bijan Parsia, Pavel Klinov
Publication date: 12 October 2010
Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-16242-8_31
92C50: Medical applications (general)
68T37: Reasoning under uncertainty in the context of artificial intelligence
68T35: Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence
Related Items
A Hybrid Method for Probabilistic Satisfiability, A probabilistic interpretation of the medical expert system CADIAG-2, Measuring and repairing inconsistency in probabilistic knowledge bases, Probabilistic satisfiability: algorithms with the presence and absence of a phase transition