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.
| Version: | 0.2.5 |
| Depends: | R (≥ 3.5.0) |
| Imports: | lpSolve |
| Suggests: | knitr, rmarkdown |
| Published: | 2025-10-06 |
| DOI: | 10.32614/CRAN.package.Pinference |
| Author: | PierGianLuca Porta Mana
 [aut, cre,
cph] |
| Maintainer: | PierGianLuca Porta Mana <pgl at portamana.org> |
| License: | AGPL (≥ 3) |
| URL: | https://pglpm.github.io/Pinference/, https://github.com/pglpm/Pinference/ |
| NeedsCompilation: | no |
| Materials: | README, NEWS |
| CRAN checks: | Pinference results |
Documentation:
| Reference manual: | Pinference.html , Pinference.pdf |
| Vignettes: |
Probability bounds of logical expressions (source) |
Downloads:
| Package source: | Pinference_0.2.5.tar.gz |
| Windows binaries: | r-devel: Pinference_0.2.5.zip, r-release: Pinference_0.2.5.zip, r-oldrel: Pinference_0.2.5.zip |
| macOS binaries: | r-release (arm64): Pinference_0.2.5.tgz, r-oldrel (arm64): Pinference_0.2.5.tgz, r-release (x86_64): Pinference_0.2.5.tgz, r-oldrel (x86_64): Pinference_0.2.5.tgz |
Linking:
Please use the canonical form https://CRAN.R-project.org/package=Pinference to link to this page.