<img src="https://raw.githubusercontent.com/lab-v2/pyreason/main/media/pyreason_logo.jpg"/>
[](https://www.python.org/downloads/release/python-390/)
[](https://www.python.org/downloads/release/python-3100/)
[](https://pyreason.readthedocs.io/en/latest/?badge=latest)
[](https://github.com/lab-v2/pyreason/actions/workflows/python-publish.yml)
[](https://github.com/lab-v2/pyreason/actions/workflows/python-package-version-test.yml)
An explainable inference software supporting annotated, real valued, graph based and temporal logic.
## Links
[📃 Paper](https://arxiv.org/abs/2302.13482)
[📽️ Video](https://www.youtube.com/watch?v=E1PSl3KQCmo)
[🌐 Website](https://neurosymbolic.asu.edu/pyreason/)
[🏋️♂️ PyReason Gym](https://github.com/lab-v2/pyreason-gym)
[🗎 Documentation](https://pyreason.readthedocs.io/en/latest/)
## Table of Contents
1. [Introduction](#1-introduction)
2. [Documentation](#2-documentation)
3. [Install](#3-install)
4. [Bibtex](#4-bibtex)
5. [License](#5-license)
6. [Contact](#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](https://pyreason.readthedocs.io/en/latest/)
## 3. Install
PyReason can be installed as a python library using
```bash
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](https://github.com/lab-v2/pyreason/blob/main/LICENSE.md).
Trademark Permission PyReason™ and PyReason Design Logo <img src="https://raw.githubusercontent.com/lab-v2/pyreason/main/media/pyreason_logo.jpg" width="50"/>™ 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 <img src="https://raw.githubusercontent.com/lab-v2/pyreason/main/media/pyreason_logo.jpg" width="50"/>™ for non-commercial purposes.
## 6. Contact
Dyuman Aditya - dyuman.aditya@asu.edu
Kaustuv Mukherji - kmukher2@asu.edu
Paulo Shakarian - pshak02@asu.edu
Raw data
{
"_id": null,
"home_page": "https://github.com/lab-v2/pyreason",
"name": "pyreason",
"maintainer": null,
"docs_url": null,
"requires_python": ">3.6",
"maintainer_email": null,
"keywords": null,
"author": "Dyuman Aditya",
"author_email": "dyuman.aditya@gmail.com",
"download_url": "https://files.pythonhosted.org/packages/1d/90/5d31f1f0731aee09400d22bfb2c34375e129f09094a3a0b9230fccc3361b/pyreason-3.0.2.tar.gz",
"platform": null,
"description": "<img src=\"https://raw.githubusercontent.com/lab-v2/pyreason/main/media/pyreason_logo.jpg\"/>\n\n[](https://www.python.org/downloads/release/python-390/)\n[](https://www.python.org/downloads/release/python-3100/)\n[](https://pyreason.readthedocs.io/en/latest/?badge=latest)\n[](https://github.com/lab-v2/pyreason/actions/workflows/python-publish.yml)\n[](https://github.com/lab-v2/pyreason/actions/workflows/python-package-version-test.yml)\n\n\nAn explainable inference software supporting annotated, real valued, graph based and temporal logic.\n\n## Links\n[\ud83d\udcc3 Paper](https://arxiv.org/abs/2302.13482)\n\n[\ud83d\udcfd\ufe0f Video](https://www.youtube.com/watch?v=E1PSl3KQCmo)\n\n[\ud83c\udf10 Website](https://neurosymbolic.asu.edu/pyreason/)\n\n[\ud83c\udfcb\ufe0f\u200d\u2642\ufe0f PyReason Gym](https://github.com/lab-v2/pyreason-gym)\n\n[\ud83d\uddce Documentation](https://pyreason.readthedocs.io/en/latest/)\n\n\n## Table of Contents\n\n1. [Introduction](#1-introduction)\n2. [Documentation](#2-documentation)\n3. [Install](#3-install)\n4. [Bibtex](#4-bibtex)\n5. [License](#5-license)\n6. [Contact](#6-contact)\n\n\n## 1. Introduction\nPyReason 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.\n \n## 2. Documentation \nAll API documentation and code examples can be found on [ReadTheDocs](https://pyreason.readthedocs.io/en/latest/)\n\n## 3. Install\nPyReason can be installed as a python library using\n\n```bash\npip install pyreason\n```\nThe 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.\n\n## 4. Bibtex\nIf you used this software in your work please cite our paper\n\nBibtex:\n```\n@inproceedings{aditya_pyreason_2023,\ntitle = {{PyReason}: Software for Open World Temporal Logic},\nbooktitle = {{AAAI} Spring Symposium},\nauthor = {Aditya, Dyuman and Mukherji, Kaustuv and Balasubramanian, Srikar and Chaudhary, Abhiraj and Shakarian, Paulo},\nyear = {2023}}\n```\n\n## 5. License\nThis repository is licensed under [BSD-2-Clause](https://github.com/lab-v2/pyreason/blob/main/LICENSE.md).\n\nTrademark Permission PyReason\u2122 and PyReason Design Logo <img src=\"https://raw.githubusercontent.com/lab-v2/pyreason/main/media/pyreason_logo.jpg\" width=\"50\"/>\u2122 are trademarks of the Arizona Board of Regents/Arizona State University. Users of the software are permitted to use PyReason\u2122 in association with the software for any purpose, provided such use is related to the software (e.g., Powered by PyReason\u2122). Additionally, educational institutions are permitted to use the PyReason Design Logo <img src=\"https://raw.githubusercontent.com/lab-v2/pyreason/main/media/pyreason_logo.jpg\" width=\"50\"/>\u2122 for non-commercial purposes.\n\n\n## 6. Contact\nDyuman Aditya - dyuman.aditya@asu.edu\n\nKaustuv Mukherji - kmukher2@asu.edu\n\nPaulo Shakarian - pshak02@asu.edu\n",
"bugtrack_url": null,
"license": "BSD 3-clause",
"summary": "An explainable inference software supporting annotated, real valued, graph based and temporal logic",
"version": "3.0.2",
"project_urls": {
"Bug Tracker": "https://github.com/lab-v2/pyreason/issues",
"Homepage": "https://github.com/lab-v2/pyreason",
"Repository": "https://github.com/lab-v2/pyreason"
},
"split_keywords": [],
"urls": [
{
"comment_text": null,
"digests": {
"blake2b_256": "44ac2a3c209da8c080aca5a9fcb33ae2c229eb410a86e96a60bb226fb7e231aa",
"md5": "d4df550919e554b080dcebb4e484b62a",
"sha256": "b12f4718fb3905336c45142a5f3347a7d3f5974a164d56122885bcc661153af6"
},
"downloads": -1,
"filename": "pyreason-3.0.2-py3-none-any.whl",
"has_sig": false,
"md5_digest": "d4df550919e554b080dcebb4e484b62a",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">3.6",
"size": 93801,
"upload_time": "2025-02-20T12:35:36",
"upload_time_iso_8601": "2025-02-20T12:35:36.432455Z",
"url": "https://files.pythonhosted.org/packages/44/ac/2a3c209da8c080aca5a9fcb33ae2c229eb410a86e96a60bb226fb7e231aa/pyreason-3.0.2-py3-none-any.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "1d905d31f1f0731aee09400d22bfb2c34375e129f09094a3a0b9230fccc3361b",
"md5": "6ffe7dcb320fee94a0f566b9e58d5d3f",
"sha256": "2d2dea2f32367a6e36112d0e6cc7f468d061a76c9d2608fcae619b21c9b52c2c"
},
"downloads": -1,
"filename": "pyreason-3.0.2.tar.gz",
"has_sig": false,
"md5_digest": "6ffe7dcb320fee94a0f566b9e58d5d3f",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">3.6",
"size": 1730991,
"upload_time": "2025-02-20T12:35:38",
"upload_time_iso_8601": "2025-02-20T12:35:38.485165Z",
"url": "https://files.pythonhosted.org/packages/1d/90/5d31f1f0731aee09400d22bfb2c34375e129f09094a3a0b9230fccc3361b/pyreason-3.0.2.tar.gz",
"yanked": false,
"yanked_reason": null
}
],
"upload_time": "2025-02-20 12:35:38",
"github": true,
"gitlab": false,
"bitbucket": false,
"codeberg": false,
"github_user": "lab-v2",
"github_project": "pyreason",
"travis_ci": false,
"coveralls": false,
"github_actions": true,
"requirements": [
{
"name": "networkx",
"specs": []
},
{
"name": "pyyaml",
"specs": []
},
{
"name": "pandas",
"specs": []
},
{
"name": "numba",
"specs": [
[
"==",
"0.59.1"
]
]
},
{
"name": "numpy",
"specs": [
[
"==",
"1.26.4"
]
]
},
{
"name": "memory_profiler",
"specs": []
},
{
"name": "pytest",
"specs": []
},
{
"name": "setuptools_scm",
"specs": []
},
{
"name": "sphinx_rtd_theme",
"specs": []
},
{
"name": "sphinx",
"specs": []
},
{
"name": "sphinx-autopackagesummary",
"specs": []
},
{
"name": "sphinx-autoapi",
"specs": []
}
],
"lcname": "pyreason"
}
JSON
