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

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 details


Release history Release notifications | RSS feed

This version

3.5.0

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.5.0.tar.gz (1.8 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.5.0-py3-none-any.whl (203.2 kB view details)

Uploaded Python 3

File details

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

File metadata

  • Download URL: pyreason-3.5.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

Hashes for pyreason-3.5.0.tar.gz
Algorithm Hash digest
SHA256 218d17c97dd9100c924dc96ae2ad4efc7ca8f2dd85eff360ecfa54724147a681
MD5 7322966c19b293bc88a3f36b6d4a6d50
BLAKE2b-256 08866c54c927acec6b01b321dc7a18f4c65b23e3021908e7defb1bcc45acd0d1

See more details on using hashes here.

File details

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

File metadata

  • Download URL: pyreason-3.5.0-py3-none-any.whl
  • Upload date:
  • Size: 203.2 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.5.0-py3-none-any.whl
Algorithm Hash digest
SHA256 2045e00bda51520c1745e21045c2596d172cbf34480134a65eca7208dbd9c400
MD5 548e08a90f9a32d94e8ecf6433d9b47c
BLAKE2b-256 28a2e575cc1d7bdc8ea94411af87034b34aaaf14e5d6cfa0e030ee7c164669bc

See more details on using hashes here.

Supported by

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