Boole's conditions of possible experience and reasoning under uncertainty

DOI10.1016/0166-218X(94)00050-NMaRDI QIDQ1894361zbMATH OpenOpenAlexFDO

Authors Pierre Hansen, Brigitte Jaumard, Marcus V. Poggi de Aragão

Publication date 15 April 1996

Published in Discrete Applied Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0166-218x(94)00050-n

zbMATH Keywords

probabilistic satisfiabilityredundancyset of logical sentencesvertex and ray enumeration

Mathematics Subject Classification ID

Linear programming (90C05)

Recommendations

• Direct algorithms for checking consistency and making inferences from conditional probability assessments
• The differential of probabilistic entailment
• Extreme lower probabilities
• A logic for reasoning about probabilities
• scientific article; zbMATH DE number 5117148

Cites work

• A linear programming approach to reasoning about probabilities
• Best Linear Bonferroni Bounds
• Best Possible Inequalities for the Probability of a Logical Function of Events
• Boole's logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory. 2nd ed., rev. and enlarged
• Column Generation Methods for Probabilistic Logic
• scientific article; zbMATH DE number 5838699 (Why is no real title available?)
• scientific article; zbMATH DE number 193411 (Why is no real title available?)
• Polynomial algorithms for estimating network reliability
• Probabilistic logic
• Probabilistic satisfiability

Cited in

(9)

• Probabilistic satisfiability with imprecise probabilities
• Determining lower and upper bounds on probabilities of atomic propositions in sets of logical formulas represented by digraphs
• Direct algorithms for checking consistency and making inferences from conditional probability assessments
• Best second order bounds for two-terminal network reliability with dependent edge failures
• Merging the local and global approaches to probabilistic satisfiability
• Projection, consistency, and George Boole
• The differential of probabilistic entailment
• De Finetti's legacy in dealing with uncertainty: towards finance, artificial intelligence and beyond
• An anytime deduction algorithm for the probabilistic logic and entailment problems

This page was built for publication: Boole's conditions of possible experience and reasoning under uncertainty

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