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 27 Oct. 2026.
Previous versions and publish date:
(2026-07-09 08:17), 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

SGB  
Simplicial Generalized Beta Regression
Main properties and regression procedures using a generalization of the Dirichlet distribution calle ...
Download / Learn more Package Citations See dependency  
exams2learnr  
Interface for 'exams' Exercises in 'learnr' Tutorials
Automatic generation of quizzes or individual questions for 'learnr' tutorials based on 'R/exams' ex ...
Download / Learn more Package Citations See dependency  
r2resize  
In-Text Resize for Images, Tables and Fancy Resize Containers in 'shiny', 'rmarkdown' and 'quarto' Documents
Automatic resizing toolbar for containers, images and tables. Various resizable or expandable contai ...
Download / Learn more Package Citations See dependency  
usemodels  
Boilerplate Code for 'Tidymodels' Analyses
Code snippets to fit models using the tidymodels framework can be easily created for a given data se ...
Download / Learn more Package Citations See dependency  
spanish  
Translate Quantities from Strings to Integer and Back. Misc Functions on Spanish Data
Character vector to numerical translation in Euros from Spanish spelled monetary quantities. Reverse ...
Download / Learn more Package Citations See dependency  

29,218

R Packages

247,686

Dependencies

77,281

Author Associations

29,219

Publication Badges

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