Using propositional logic to compute probabilities in multistate systems

DOI10.1016/S0888-613X(98)10024-5MaRDI QIDQ1818095zbMATH OpenOpenAlexFDO

Authors Bernhard Anrig, P. A. Monney

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

events in product spacesmodel-based diagnosisprobability of a formulapropositional logic

Mathematics Subject Classification ID

Other applications of logic (03B80) Logical aspects of Boolean algebras (03G05)

Recommendations

• Model-based diagnostics and probabilistic assumption-based reasoning
• A logic for reasoning about probabilities
• scientific article; zbMATH DE number 988760

Cites work

• A generalization of the algorithm of Heidtmann to non-monotone formulas
• A mathematical theory of hints. An approach to the Dempster-Shafer theory of evidence
• A theory of diagnosis from first principles
• An Improved Algorithm for Network Reliability
• scientific article; zbMATH DE number 194916 (Why is no real title available?)
• Model-based diagnostics and probabilistic assumption-based reasoning
• Smaller sums of disjoint products by subproduct inversion

Cited in

(1)

• Calculating of logical functions probabilities in logical-probabilistic modelling of complex systems

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1818095)