Model-based diagnostics and probabilistic assumption-based reasoning

DOI10.1016/S0004-3702(98)00060-5zbMath0917.68202MaRDI QIDQ1274679

Jürg Kohlas, Bernhard Anrig, Rolf Haenni, Paul-André Monney

Publication date: 12 January 1999

Published in: Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

probabilitypropositional logicsupportalgorithm of Abrahamassumption-based reasoningATMSmodel-based diagnostics

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items

Probabilistic argumentation, How many diagnoses do we need?, Allocation of arguments and evidence theory, Bayesian model-based diagnosis, A diagnostic system based upon knowledge and experience, A general approach to reasoning with probabilities, A generalization of the algorithm of Heidtmann to non-monotone formulas, Using propositional logic to compute probabilities in multistate systems, Model-based diagnostics and probabilistic assumption-based reasoning, Model-Based Diagnosis with Probabilistic Models, Belief functions: The disjunctive rule of combination and the generalized Bayesian theorem

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Allocation of arguments and evidence theory
• A logic-based analysis of Dempster-Shafer theory
• A formal model of diagnostic inference. I. Problem formulation and decomposition
• Diagnosing multiple faults
• A theory of diagnosis from first principles
• Characterizing diagnoses and systems
• Linear resolution for consequence finding
• Model-based diagnostics and probabilistic assumption-based reasoning
• A mathematical theory of hints. An approach to the Dempster-Shafer theory of evidence
• An Improved Algorithm for Network Reliability
• Smaller sums of disjoint products by subproduct inversion
• A generalization of the algorithm of Heidtmann to non-monotone formulas