An explainable inference software supporting annotated, real valued, graph based and temporal logic.
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.
All API documentation and code examples can be found on ReadTheDocs
PyReason can be installed as a python library using
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.
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}}
This repository is licensed under BSD-2-Clause.
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.
Dyuman Aditya - [email protected]
Kaustuv Mukherji - [email protected]
Paulo Shakarian - [email protected]