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

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

Colton Payne - crpayne@syr.edu

Kaustuv Mukherji - kmukherj@syr.edu

Paulo Shakarian - pashakar@syr.edu

Project links

Key dates

PyPI data
Data sourced directly from PyPI's database.
  • Released:
Latest release

1 maintainer

PyPI data
Data sourced directly from PyPI's database.
Avatar for dyumanaditya from gravatar.com dyumanaditya

Credits

Author: Dyuman Aditya

License

BSD License (BSD 3-clause)

Requires

Python >3.6

Classifiers

Report project as malware

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

pyreason-3.6.0.tar.gz (9.1 MB view details)

Uploaded Source

Built Distribution

If you're not sure about the file name format, learn more about wheel file names.

pyreason-3.6.0-py3-none-any.whl (223.8 kB view details)

Uploaded Python 3

File details

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

File metadata

  • Download URL: pyreason-3.6.0.tar.gz
  • Upload date:
  • Size: 9.1 MB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/6.2.0 CPython/3.9.25

File hashes

Hashes for pyreason-3.6.0.tar.gz
Algorithm Hash digest
SHA256 1bd3d939638f5d462ac7896ccfa8ceeae6759155bc5410e1b8a8a933523d750f
MD5 6a65122613136bf09b9ad1939d1a051f
BLAKE2b-256 b1abeb873a530cdb2ba6549fb0bc1698d431f129fd6da9def3a705f4334f4a57

See more details on using hashes here.

File details

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

File metadata

  • Download URL: pyreason-3.6.0-py3-none-any.whl
  • Upload date:
  • Size: 223.8 kB
  • Tags: Python 3
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/6.2.0 CPython/3.9.25

File hashes

Hashes for pyreason-3.6.0-py3-none-any.whl
Algorithm Hash digest
SHA256 4865abaaf873c0b3911301b20e7b9cc3279201b263099ba4fa855d62eb4b40d8
MD5 f2f2b3165ab813f64216ab031600c27f
BLAKE2b-256 ffa7d8a5cf3d853ff964024eac786b3dd9dd37799ee2d206c6390f39ec6fc929

See more details on using hashes here.

Release history Release notifications | RSS feed

Pre-release

4.0.0b1

2 files

This release

3.6.0 This release

2 files

3.5.1

2 files

3.5.0

2 files

3.4.0

2 files

3.3.0

2 files

3.2.0

2 files

3.1.0

2 files

3.0.4

2 files

3.0.3

2 files

3.0.2

2 files

3.0.1

2 files

3.0.0

2 files

2.3.0

2 files

2.2.1

2 files

2.2.0

2 files

2.1.1

2 files

2.1.0

2 files

2.0.4

2 files

2.0.3

2 files

2.0.2

2 files

2.0.1

2 files

2.0.0

2 files

1.8.12

2 files

1.8.11

2 files

1.8.10

2 files

1.8.9

2 files

1.8.8

2 files

1.8.7

2 files

1.8.6

2 files

1.8.5

2 files

1.8.4

2 files

1.8.3

2 files

1.8.2

2 files

1.8.1

2 files

1.6.4

2 files

1.6.3

2 files

1.6.2

2 files

1.6.1

2 files

1.6.0

2 files

1.5.3

2 files

1.5.2

2 files

1.5.1

2 files

1.5.0

2 files

1.4.2

2 files

1.4.1

2 files

1.4.0

2 files

1.3.0

2 files

1.2.9

2 files

1.2.8

2 files

1.2.7

2 files

1.2.6

2 files

1.2.5

2 files

1.2.4

2 files

1.2.3

2 files

1.2.2

2 files

1.2.1

2 files

1.2.0

2 files

1.1.4

2 files

1.1.3

2 files

1.1.2

2 files

1.1.1

2 files

1.1.0

2 files

1.0.1

2 files

1.0.0

2 files

0.1.1

2 files

0.1.0

2 files

0.0.27

2 files

0.0.26

2 files

0.0.25

2 files

0.0.24

2 files

0.0.23

2 files

0.0.22

2 files

0.0.21

2 files

0.0.20

2 files

0.0.19

2 files

0.0.18

2 files

0.0.17

2 files

0.0.16

2 files

0.0.15

2 files

0.0.14

2 files

0.0.13

2 files

0.0.12

2 files

0.0.11

2 files

0.0.10

2 files

0.0.9

2 files

0.0.8

2 files

0.0.7

2 files

0.0.6

1 file

0.0.4

2 files

0.0.3

2 files

0.0.2

2 files

0.0.1

2 files

0.0.0

2 files

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page