Pinference
Probability Inference for Propositional Logic
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.
Versions across snapshots
| Version | Repository | File | Size |
|---|---|---|---|
0.2.6 |
rolling linux/jammy R-4.5 | Pinference_0.2.6.tar.gz |
42.5 KiB |
0.2.6 |
rolling linux/noble R-4.5 | Pinference_0.2.6.tar.gz |
42.4 KiB |
0.2.6 |
rolling source/ R- | Pinference_0.2.6.tar.gz |
38.2 KiB |
0.2.6 |
latest linux/jammy R-4.5 | Pinference_0.2.6.tar.gz |
42.5 KiB |
0.2.6 |
latest linux/noble R-4.5 | Pinference_0.2.6.tar.gz |
42.4 KiB |
0.2.6 |
latest source/ R- | Pinference_0.2.6.tar.gz |
38.2 KiB |
0.2.6 |
2026-04-26 source/ R- | Pinference_0.2.6.tar.gz |
38.2 KiB |
0.2.6 |
2026-04-23 source/ R- | Pinference_0.2.6.tar.gz |
38.2 KiB |
0.2.6 |
2026-04-09 windows/windows R-4.5 | Pinference_0.2.6.zip |
46.0 KiB |