An explainable inference software supporting annotated, real valued, graph based and temporal logic.
Links
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 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.
Trademark Permission PyReason™ and PyReason Design Logo
6. Contact
Colton Payne - crpayne@syr.edu
Kaustuv Mukherji - kmukherj@syr.edu
Paulo Shakarian - pashakar@syr.edu
1 maintainer
Metadata
1 maintainer
Release files for pyreason 3.7.0
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| pyreason-3.7.0.tar.gz | 9.7 MB | Details |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| pyreason-3.7.0-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 9.9 MB
Release files / pyreason-3.7.0.tar.gz
| Download URL | pyreason-3.7.0.tar.gz |
|---|---|
| Size | 9.7 MB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
0d8e28b1fea79ce030a2d2226ca377b5e3753d2272dbfb2627a12dd2e8ac1cad
|
|
BLAKE2b-256 checksum How to use checksums |
126cb841f3f23d564e29510ff174985d44e6789b347e7ee7c3a7ece969a8c1cb
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.2.0 CPython/3.9.25
|
Release files / pyreason-3.7.0-py3-none-any.whl
| Download URL | pyreason-3.7.0-py3-none-any.whl |
|---|---|
| Size | 224.4 kB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
26351ffde09848e28272b6d485f38f89f793d551f8668b1cd9ab5c2cf74edc01
|
|
BLAKE2b-256 checksum How to use checksums |
72a2fad95fa3791390fc4bfea0444ec08fa206bf7d46f939a6a567ec6a8e6998
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.2.0 CPython/3.9.25
|
