lab-v2/pyreason
An explainable inference software supporting annotated, real valued, graph based and temporal logic
Implements forward-chaining inference over graph-structured knowledge bases by applying user-defined logical rules to derive new facts, with built-in support for temporal reasoning and confidence scoring across node and edge attributes. Provides explainability through rule-trace visualization showing which facts and rules produced each inference result. Targets Python 3.9+ with optional multi-core parallelization via Numba JIT compilation.
332 stars and 998 monthly downloads. Available on PyPI.
Stars
332
Forks
32
Language
Python
License
—
Category
Last pushed
Mar 11, 2026
Monthly downloads
998
Commits (30d)
0
Dependencies
7
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/ml-frameworks/lab-v2/pyreason"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Related frameworks
yuce/pyswip
PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.
TweetyProjectTeam/TweetyProject
TweetyProject is a collection of Java libraries that implement approaches to different areas of...
pushkar/ABAGAIL
The library contains a number of interconnected Java packages that implement machine learning...
amrinderarora/ai
Classical AI algorithms. Cutting edge, since 1960s. Amrinder Arora
leoprover/scala-tptp-parser
A parser for the TPTP logic languages for automated theorem proving written in Scala