Other packages > Find by keyword >

Pinference  

Probability Inference for Propositional Logic
View on CRAN: Click here


Download and install Pinference package within the R console
Install from CRAN:
install.packages("Pinference")

Install from Github:
library("remotes")
install_github("cran/Pinference")

Install by package version:
library("remotes")
install_version("Pinference", "0.2.6")



Attach the package and use:
library("Pinference")
Maintained by
PierGianLuca Porta Mana
[Scholar Profile | Author Map]
All associated links for this package
First Published: 2025-10-06
Latest Update: 2025-10-06
Description:
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.
How to cite:
PierGianLuca Porta Mana (2025). Pinference: Probability Inference for Propositional Logic. R package version 0.2.6, https://cran.r-project.org/web/packages/Pinference. Accessed 04 Jul. 2026.
Previous versions and publish date:
0.2.5 (2025-10-06 10:00)
Other packages that cited Pinference R package
View Pinference citation profile
Other R packages that Pinference depends, imports, suggests or enhances
Complete documentation for Pinference
Functions, R codes and Examples using the Pinference R package
Full Pinference package functions and examples
Downloads during the last 30 days

Today's Hot Picks in Authors and Packages

PELVIS  
Probabilistic Sex Estimate using Logistic Regression, Based on VISual Traits of the Human Os Coxae
An R-Shiny application implementing a method of sexing the human os coxae based on logistic regressi ...
Download / Learn more Package Citations See dependency  
missCompare  
Intuitive Missing Data Imputation Framework
Offers a convenient pipeline to test and compare various missing data imputation algorithms on simu ...
Download / Learn more Package Citations See dependency  
musica  
Multiscale Climate Model Assessment
Provides functions allowing for (1) easy aggregation of multivariate time series into custom time sc ...
Download / Learn more Package Citations See dependency  
multiwayvcov  
Multi-Way Standard Error Clustering
Exports two functions implementing multi-way clustering using the method suggested by Cameron, Gelb ...
Download / Learn more Package Citations See dependency  
SurvCorr  
Correlation of Bivariate Survival Times
Estimates correlation coefficients with associated confidence limits for bivariate, partially censo ...
Download / Learn more Package Citations See dependency  
quickcode  
Quick and Essential 'R' Tricks for Better Scripts
The NOT functions, 'R' tricks and a compilation of some simple quick plus often used 'R' codes to im ...
Download / Learn more Package Citations See dependency  

27,653

R Packages

236,180

Dependencies

73,674

Author Associations

27,536

Publication Badges

© Copyright since 2022. All right reserved, rpkg.net.  Based in Cambridge, Massachusetts, USA