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 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 ™ 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 Dyuman Aditya - dyuman.aditya@asu.edu Kaustuv Mukherji - kmukher2@asu.edu Paulo Shakarian - pshak02@asu.edu
First seen: 2025-04-12 00:50
Last seen: 2025-04-12 04:51