{ "_id": "6a101d9eacfb0bcc41c8a527", "Package": "Pinference", "Title": "Probability Inference for Propositional Logic", "Version": "0.2.6", "Authors@R": "c(\nperson(\"PierGianLuca\", \"Porta Mana\", ,\n\"pgl@portamana.org\", role = c(\"aut\", \"cre\", \"cph\"),\ncomment = c(ORCID = \"0000-0002-6070-0784\"))\n)", "Description": "Implementation of T. Hailperin's procedure to calculate\nlower and upper bounds of the probability for a\npropositional-logic expression, given equality and inequality\nconstraints on the probabilities for other expressions.\nTruth-valuation is included as a special case. Applications\nrange from decision-making and probabilistic reasoning, to\npedagogical for probability and logic courses. For more details\nsee T. Hailperin (1965) ,\nT. Hailperin (1996) \"Sentential Probability Logic\"\nISBN:0-934223-45-9, and package documentation. Requires the\n'lpSolve' package.", "License": "AGPL (>= 3)", "Encoding": "UTF-8", "Roxygen": "list(markdown = TRUE)", "RoxygenNote": "7.3.3", "VignetteBuilder": "knitr", "URL": "https://pglpm.github.io/Pinference/,\nhttps://github.com/pglpm/Pinference/", "Repository": "https://pglpm.r-universe.dev", "Date/Publication": "2025-11-15 07:37:10 UTC", "RemoteUrl": "https://github.com/pglpm/pinference", "RemoteRef": "HEAD", "RemoteSha": "62205a9a61109565d6a9404f062edfe817e61209", "NeedsCompilation": "no", "Packaged": { "Date": "2026-05-14 07:47:09 UTC", "User": "root" }, "Author": "PierGianLuca Porta Mana [aut, cre, cph] (ORCID:\n)", "Maintainer": "PierGianLuca Porta Mana ", "MD5sum": "05cb7b644742ba6d9ec8ee2b45330e03", "_user": "pglpm", "_type": "src", "_file": "Pinference_0.2.6.tar.gz", "_fileid": "9b2dbf3c4a7a86fa98306d56c34adc0e049bcff31d16462171895449fc2eccf0", "_filesize": 158567, "_sha256": "9b2dbf3c4a7a86fa98306d56c34adc0e049bcff31d16462171895449fc2eccf0", "_created": "2026-05-14T07:47:09.000Z", "_published": "2026-05-22T09:10:54.895Z", "_distro": "noble", "_jobs": [ { "job": 77350122522, "time": 103, "config": "linux-devel-x86_64", "r": "4.7.0", "check": "OK", "artifact": "6989711363" }, { "job": 77350122487, "time": 103, "config": "linux-release-x86_64", "r": "4.6.0", "check": "OK", "artifact": "6989711412" }, { "job": 77350122529, "time": 183, "config": "macos-oldrel-arm64", "r": "4.5.3", "check": "OK", "artifact": "6989721087" }, { "job": 77350122539, "time": 128, "config": "macos-release-arm64", "r": "4.6.0", "check": "OK", "artifact": "6989712251" }, { "job": 77350121851, "time": 157, "config": "source", "r": "4.6.0", "check": "OK", "artifact": "6989684279" }, { "job": 77350121660, "time": 98, "config": "wasm-release", "r": "4.6.0", "check": "OK", "artifact": "7156934282" }, { "job": 77350122358, "time": 134, "config": "windows-devel", "r": "4.7.0", "check": "OK", "artifact": "6989719389" }, { "job": 77350122342, "time": 55, "config": "windows-oldrel", "r": "4.5.3", "check": "OK", "artifact": "6989698213" }, { "job": 77350122642, "time": 66, "config": "windows-release", "r": "4.6.0", "check": "OK", "artifact": "6989700843" } ], "_buildurl": "https://github.com/r-universe/pglpm/actions/runs/25848368543", "_status": "success", "_host": "GitHub-Actions", "_upstream": "https://github.com/pglpm/pinference", "_commit": { "id": "62205a9a61109565d6a9404f062edfe817e61209", "author": "pglpm ", "committer": "pglpm ", "message": "update docs\n", "time": 1763192230 }, "_maintainer": { "name": "PierGianLuca Porta Mana", "email": "pgl@portamana.org", "login": "pglpm", "orcid": "0000-0002-6070-0784", "uuid": 9976691 }, "_registered": true, "_dependencies": [ { "package": "R", "version": ">= 3.5.0", "role": "Depends" }, { "package": "lpSolve", "role": "Imports" }, { "package": "knitr", "role": "Suggests" }, { "package": "rmarkdown", "role": "Suggests" } ], "_owner": "pglpm", "_selfowned": true, "_usedby": 0, "_updates": [ { "week": "2025-38", "n": 25 }, { "week": "2025-39", "n": 23 }, { "week": "2025-40", "n": 2 }, { "week": "2025-41", "n": 5 }, { "week": "2025-45", "n": 2 }, { "week": "2025-46", "n": 4 } ], "_tags": [ { "name": "v0.1", "date": "2025-09-21" }, { "name": "v0.2.0", "date": "2025-09-22" }, { "name": "v0.2.5", "date": "2025-09-23" }, { "name": "v0.2.4", "date": "2025-10-06" }, { "name": "v0.2.6", "date": "2025-11-08" } ], "_stars": 2, "_contributors": [ { "user": "pglpm", "count": 62, "uuid": 9976691 } ], "_userbio": { "uuid": 9976691, "type": "user", "name": "PierGianLuca" }, "_downloads": { "count": 147, "source": "https://cranlogs.r-pkg.org/downloads/total/last-month/Pinference" }, "_devurl": "https://github.com/pglpm/pinference", "_pkgdown": "https://pglpm.github.io/Pinference/", "_searchresults": 1, "_rbuild": "4.6.0", "_assets": [ "extra/citation.cff", "extra/citation.html", "extra/citation.json", "extra/citation.txt", "extra/contents.json", "extra/NEWS.html", "extra/NEWS.txt", "extra/Pinference.html", "extra/readme.html", "extra/readme.md", "manual.pdf" ], "_homeurl": "https://github.com/pglpm/pinference", "_realowner": "pglpm", "_cranurl": true, "_releases": [ { "version": "0.2.5", "date": "2025-10-06" }, { "version": "0.2.6", "date": "2025-11-30" } ], "_exports": [ "inferP" ], "_help": [ { "page": "inferP", "title": "Calculate lower and upper probability bounds", "topics": [ "inferP" ] } ], "_readme": "https://github.com/pglpm/pinference/raw/HEAD/README.md", "_rundeps": [ "lpSolve" ], "_vignettes": [ { "source": "inferP.Rmd", "filename": "inferP.html", "title": "Probability bounds of logical expressions", "engine": "knitr::rmarkdown", "headings": [ "Introduction", "Probabilistic inferences", "The function inferP()", "Simple examples", "Examples with constraints", "Combining evidence", "The Monty Hall problem", "Propositions", "Target probability", "Given probabilities", "Result", "Omitting some probability constraints", "Variations", "References" ], "created": "2025-09-21 10:48:38", "modified": "2025-11-08 21:54:50", "commits": 12 } ], "_score": 4.778151250383644, "_indexed": true, "_nocasepkg": "pinference", "_universes": [ "pglpm" ], "_binaries": [ { "r": "4.7.0", "os": "linux", "version": "0.2.6", "date": "2026-05-14T07:49:02.000Z", "distro": "noble", "commit": "62205a9a61109565d6a9404f062edfe817e61209", "fileid": "3766516cba4d25828defe4a7d236c1cf691963941215554351ab95051d81dd75", "status": "success", "check": "OK", "buildurl": "https://github.com/r-universe/pglpm/actions/runs/25848368543" }, { "r": "4.6.0", "os": "linux", "version": "0.2.6", "date": "2026-05-14T07:49:03.000Z", "distro": "noble", "commit": "62205a9a61109565d6a9404f062edfe817e61209", "fileid": "e4ea1c7805e581ad27b62a18a04533c90207f161a723b26db2a52d1402f61c90", "status": "success", "check": "OK", "buildurl": "https://github.com/r-universe/pglpm/actions/runs/25848368543" }, { "r": "4.5.3", "os": "mac", "version": "0.2.6", "date": "2026-05-14T07:49:45.000Z", "commit": "62205a9a61109565d6a9404f062edfe817e61209", "fileid": "761dbb8d7e095f632ee8765630d9fc0b11d76fc27e181d34fb7fe0cd913e1210", "status": "success", "check": "OK", "buildurl": "https://github.com/r-universe/pglpm/actions/runs/25848368543" }, { "r": "4.6.0", "os": "mac", "version": "0.2.6", "date": "2026-05-14T07:49:08.000Z", "commit": "62205a9a61109565d6a9404f062edfe817e61209", "fileid": "33c7fc0457f87da7086ab8cc1b8d162ece45d0369498496c31316987683456b4", "status": "success", "check": "OK", "buildurl": "https://github.com/r-universe/pglpm/actions/runs/25848368543" }, { "r": "4.7.0", "os": "win", "version": "0.2.6", "date": "2026-05-14T07:49:33.000Z", "commit": "62205a9a61109565d6a9404f062edfe817e61209", "fileid": "17423b65d9c09b2ea86709a9e4809c897294132a255bf4d3e839e26303516ab7", "status": "success", "check": "OK", "buildurl": "https://github.com/r-universe/pglpm/actions/runs/25848368543" }, { "r": "4.5.3", "os": "win", "version": "0.2.6", "date": "2026-05-14T07:48:06.000Z", "commit": "62205a9a61109565d6a9404f062edfe817e61209", "fileid": "4851ed7100edf795088429d92fcbe5d1e8bb9590173ea89bdcd094fce2d7890d", "status": "success", "check": "OK", "buildurl": "https://github.com/r-universe/pglpm/actions/runs/25848368543" }, { "r": "4.6.0", "os": "win", "version": "0.2.6", "date": "2026-05-14T07:48:14.000Z", "commit": "62205a9a61109565d6a9404f062edfe817e61209", "fileid": "0290e73ee1a64e253f8c405d31832fdfc87017cfc0c8a92f4fb89f8b596cf204", "status": "success", "check": "OK", "buildurl": "https://github.com/r-universe/pglpm/actions/runs/25848368543" }, { "r": "4.6.0", "os": "wasm", "version": "0.2.6", "date": "2026-05-22T09:10:41.000Z", "commit": "62205a9a61109565d6a9404f062edfe817e61209", "fileid": "e0f2412d75f3626430cd5999c314021352ca34d703f18cbb61ff631f2ddb115c", "status": "success", "buildurl": "https://github.com/r-universe/pglpm/actions/runs/25848368543" } ] }