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
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
Dyuman Aditya - daditya@syr.edu
Kaustuv Mukherji - kmukherj@syr.edu
Paulo Shakarian - pashakar@syr.edu
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.
Source Distribution
Built Distribution
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
File details
Details for the file pyreason-3.2.0.tar.gz.
File metadata
- Download URL: pyreason-3.2.0.tar.gz
- Upload date:
- Size: 1.8 MB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/6.2.0 CPython/3.9.25
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
920cb08a2e17313690cbe18023f76d1081199d246d03a3f7dd5694edde23761d
|
|
| MD5 |
b94c2b058bb5b46befd4f50185f9f859
|
|
| BLAKE2b-256 |
c55864c25d9be6f7a8d349b1dfb9f5235b5d0addd46017797faf86d61e147b46
|
File details
Details for the file pyreason-3.2.0-py3-none-any.whl.
File metadata
- Download URL: pyreason-3.2.0-py3-none-any.whl
- Upload date:
- Size: 164.6 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/6.2.0 CPython/3.9.25
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
377c58f5c53a1179a857d01b3117e18305dd8281f78779722d4aa071f60b582b
|
|
| MD5 |
9bc7923f3632e3ef0ee211ea84cbeaf9
|
|
| BLAKE2b-256 |
8310a1881695e7bd6ab4f3dd74ee4b53db72161662f63395b896b5e83e8dc625
|
