An explainable inference software supporting annotated, real valued, graph based and temporal logic
Project description
An explainable inference software supporting annotated, real valued, graph based and temporal logic.
Links
Check out the PyReason Hello World program if you're new, or want get get a feel for the software.
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
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.