Model-based diagnostics and probabilistic assumption-based reasoning

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

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

Publication date: 12 January 1999

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

zbMATH Keywords

probability; propositional logic; support; algorithm of Abraham; assumption-based reasoning; ATMS; model-based diagnostics

Mathematics Subject Classification ID

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

Related Items

Bayesian model-based diagnosis, A generalization of the algorithm of Heidtmann to non-monotone formulas, Allocation of arguments and evidence theory, Model-based diagnostics and probabilistic assumption-based reasoning, Belief functions: The disjunctive rule of combination and the generalized Bayesian theorem, Using propositional logic to compute probabilities in multistate systems, A diagnostic system based upon knowledge and experience, Probabilistic argumentation

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