Skip to main content

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

Project description

Python 3.9 Python 3.10 Documentation Status pypi Tests

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

Links

📃 Paper

📽️ Video

🌐 Website

🏋️‍♂️ PyReason Gym

🗎 Documentation

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
  2. Documentation
  3. Install
  4. Bibtex
  5. License
  6. Contact

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.

Source Distribution

pyreason-2.3.0.tar.gz (60.8 kB view details)

Uploaded Source

Built Distribution

pyreason-2.3.0-py3-none-any.whl (71.3 kB view details)

Uploaded Python 3

File details

Details for the file pyreason-2.3.0.tar.gz.

File metadata

  • Download URL: pyreason-2.3.0.tar.gz
  • Upload date:
  • Size: 60.8 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/5.1.0 CPython/3.9.19

File hashes

Hashes for pyreason-2.3.0.tar.gz
Algorithm Hash digest
SHA256 3c81bc0f1792ce28352f7a72e9d1c1d5813607ad638bc2c2b610b9973fed480b
MD5 1781896e2027e01be80ef944519b5aa5
BLAKE2b-256 6935b169861a26d74c60dcb85a095f87cd889629442c19e1151c9b754df7072a

See more details on using hashes here.

File details

Details for the file pyreason-2.3.0-py3-none-any.whl.

File metadata

  • Download URL: pyreason-2.3.0-py3-none-any.whl
  • Upload date:
  • Size: 71.3 kB
  • Tags: Python 3
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/5.1.0 CPython/3.9.19

File hashes

Hashes for pyreason-2.3.0-py3-none-any.whl
Algorithm Hash digest
SHA256 4261621b534a2b82f82cc72fb49beb05116739ab03d5e8f29c555814886a3988
MD5 f4ff25f9feaa96bef90e0e7ca11da903
BLAKE2b-256 72df773f8911929519370d1976158459e5dae4b32cb72ef8568d27a13cbebce1

See more details on using hashes here.

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page