PyReason: Explainable inference for annotated, real valued, graph based and tem
Published on: 2025-04-27 07:47:45
An explainable inference software supporting annotated, real valued, graph based and temporal logic.
Links
📃 Paper
📽️ Video
🌐 Website
🏋️♂️ PyReason Gym
🗎 Documentation
Table of Contents
1. Introduction
PyReason is a graphical inference tool that uses a set of logical rules and facts (initial conditions) to reason over graph structures. To get more details, refer to the paper/video/hello-world-example mentioned above.
2. Documentation
All API documentation and code examples can be found on ReadTheDocs
3. Install
PyReason can be installed as a python library using
pip install pyreason
The Python versions that are currently supported are 3.7 , 3.8 , 3.9 , 3.10 . If you want multi-core parallel support only 3.9 and 3.10 versions work due to limited numba support.
4. Bibtex
If you used this software in your work please cite our paper
Bibtex:
@inproceedings{aditya_pyreason_2023, title = {{PyReason}: Software for Open World Temporal Logic}, booktitle = {{AAAI} Spring Sympo
... Read full article.