https://github.com/lab-v2/pyreason
An explainable inference software supporting annotated, real valued, graph based and temporal logic
https://github.com/lab-v2/pyreason
logic logic-programming machine-learning neurosymbolic python temporal-logic
Last synced: 10 days ago
JSON representation
An explainable inference software supporting annotated, real valued, graph based and temporal logic
- Host: GitHub
- URL: https://github.com/lab-v2/pyreason
- Owner: lab-v2
- License: other
- Created: 2022-10-22T03:45:47.000Z (over 3 years ago)
- Default Branch: main
- Last Pushed: 2026-04-05T14:40:45.000Z (12 days ago)
- Last Synced: 2026-04-05T16:23:33.391Z (12 days ago)
- Topics: logic, logic-programming, machine-learning, neurosymbolic, python, temporal-logic
- Language: Python
- Homepage: https://pyreason.syracuse.edu/
- Size: 17.9 MB
- Stars: 334
- Watchers: 13
- Forks: 32
- Open Issues: 32
-
Metadata Files:
- Readme: README.md
- Contributing: contributing.md
- License: LICENSE.md
Awesome Lists containing this project
README
[](https://www.python.org/downloads/release/python-390/)
[](https://www.python.org/downloads/release/python-3100/)
[](https://pyreason.readthedocs.io/en/latest/?badge=latest)
[](https://github.com/lab-v2/pyreason/actions/workflows/python-publish.yml)
[](https://github.com/lab-v2/pyreason/actions/workflows/python-package-version-test.yml)
An explainable inference software supporting annotated, real valued, graph based and temporal logic.
## Links
[📃 Paper](https://arxiv.org/abs/2302.13482)
[📽️ Video](https://www.youtube.com/watch?v=E1PSl3KQCmo)
[🌐 Website](https://pyreason.syracuse.edu/)
[🏋️♂️ PyReason Gym](https://github.com/lab-v2/pyreason-gym)
[🗎 Documentation](https://pyreason.readthedocs.io/en/latest/)
## Table of Contents
1. [Introduction](#1-introduction)
2. [Documentation](#2-documentation)
3. [Install](#3-install)
4. [Bibtex](#4-bibtex)
5. [License](#5-license)
6. [Contact](#6-contact)
## 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](https://pyreason.readthedocs.io/en/latest/)
## 3. Install
PyReason can be installed as a python library using
```bash
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 Symposium},
author = {Aditya, Dyuman and Mukherji, Kaustuv and Balasubramanian, Srikar and Chaudhary, Abhiraj and Shakarian, Paulo},
year = {2023}}
```
## 5. License
This repository is licensed under [BSD-2-Clause](https://github.com/lab-v2/pyreason/blob/main/LICENSE.md).
Trademark Permission PyReason™ and PyReason Design Logo ™ are trademarks of the Arizona Board of Regents/Arizona State University. Users of the software are permitted to use PyReason™ in association with the software for any purpose, provided such use is related to the software (e.g., Powered by PyReason™). Additionally, educational institutions are permitted to use the PyReason Design Logo ™ for non-commercial purposes.
## 6. Contact
Colton Payne - crpayne@syr.edu
Kaustuv Mukherji - kmukherj@syr.edu
Paulo Shakarian - pashakar@syr.edu