Using propositional logic to compute probabilities in multistate systems

DOI10.1016/S0888-613X(98)10024-5zbMath0937.03043OpenAlexW2022202403MaRDI QIDQ1818095

Paul-André Monney, Bernhard Anrig

Publication date: 13 June 2000

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

Full work available at URL: https://doi.org/10.1016/s0888-613x(98)10024-5

zbMATH Keywords

propositional logicmodel-based diagnosisevents in product spacesprobability of a formula

Mathematics Subject Classification ID

Cites Work

• Unnamed Item
• A theory of diagnosis from first principles
• 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

This page was built for publication: Using propositional logic to compute probabilities in multistate systems