Probability Inference for Propositional Logic
| Package name | Version | Title | Date | Size | License | |
|---|---|---|---|---|---|---|
| Pinference | 0.2.6 | Probability Inference for Propositional Logic | Sun Nov 30 2025 | 38.03kB | AGPL (>= 3) | |
| Pinference | 0.2.5 | Probability Inference for Propositional Logic | Mon Oct 06 2025 | 36.92kB | AGPL (>= 3) |
Implementation of T. Hailperin's procedure to calculate lower and upper bounds of the probability for a propositional-logic expression, given equality and inequality constraints on the probabilities for other expressions. Truth-valuation is included as a special case. Applications range from decision-making and probabilistic reasoning, to pedagogical for probability and logic courses. For more details see T. Hailperin (1965) <doi:10.1080/00029890.1965.11970533>, T. Hailperin (1996) "Sentential Probability Logic" ISBN:0-934223-45-9, and package documentation. Requires the 'lpSolve' package.