Package: Pinference 0.2.6
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.
Authors:
Pinference_0.2.6.tar.gz
Pinference_0.2.6.zip(r-4.7)Pinference_0.2.6.zip(r-4.6)Pinference_0.2.6.zip(r-4.5)
Pinference_0.2.6.tgz(r-4.6-any)Pinference_0.2.6.tgz(r-4.5-any)
Pinference_0.2.6.tar.gz(r-4.7-any)Pinference_0.2.6.tar.gz(r-4.6-any)
Pinference_0.2.6.tgz(r-4.6-emscripten)
manual.pdf |manual.html✨
DESCRIPTION |NEWS
card.svg |card.png
Pinference/json (API)
| # Install 'Pinference' in R: |
| install.packages('Pinference', repos = c('https://pglpm.r-universe.dev', 'https://cloud.r-project.org')) |
Bug tracker:https://github.com/pglpm/pinference/issues
Pkgdown/docs site:https://pglpm.github.io
Last updated from:b29fec6cda. Checks:9 OK. Indexed: yes.
| Target | Result | Time | Files | Syslog |
|---|---|---|---|---|
| linux-devel-x86_64 | OK | 106 | ||
| source / vignettes | OK | 169 | ||
| linux-release-x86_64 | OK | 118 | ||
| macos-release-arm64 | OK | 80 | ||
| macos-oldrel-arm64 | OK | 94 | ||
| windows-devel | OK | 67 | ||
| windows-release | OK | 76 | ||
| windows-oldrel | OK | 59 | ||
| wasm-release | OK | 97 |
Exports:inferP
Dependencies:lpSolve
Readme and manuals
Help Manual
| Help page | Topics |
|---|---|
| Calculate lower and upper probability bounds | inferP |
