lab-v2/pyreason: An explainable inference software supporting annotated, real valued, graph based and temporal logic

An explainable inference software supporting annotated, real valued, graph based and temporal logic.

📃 Paper

📽️ Video

🌐 Website

🏋️‍♂️ PyReason Gym

🗎 Documentation

1. Introduction
2. Documentation
3. Install
4. Bibtex
5. License
6. Contact

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 – dyuman.aditya@asu.edu

Kaustuv Mukherji – kmukher2@asu.edu

Paulo Shakarian – pshak02@asu.edu

Keep your files stored safely and securely with the SanDisk 2TB Extreme Portable SSD. With over 69,505 ratings and an impressive 4.6 out of 5 stars, this product has been purchased over 8K+ times in the past month. At only $129.99, this Amazon’s Choice product is a must-have for secure file storage.

Help keep private content private with the included password protection featuring 256-bit AES hardware encryption. Order now for just $129.99 on Amazon!

Help Power Techcratic’s Future – Scan To Support

If Techcratic’s content and insights have helped you, consider giving back by supporting the platform with crypto. Every contribution makes a difference, whether it’s for high-quality content, server maintenance, or future updates. Techcratic is constantly evolving, and your support helps drive that progress.

As a solo operator who wears all the hats, creating content, managing the tech, and running the site, your support allows me to stay focused on delivering valuable resources. Your support keeps everything running smoothly and enables me to continue creating the content you love. I’m deeply grateful for your support, it truly means the world to me! Thank you!