PyReason: 用于带注释的、实数值、基于图和时序逻辑的可解释推理
lab-v2 / pyreason Public
一个支持带注释的、实数值、基于图和时序逻辑的可解释推理软件。 neurosymbolic.asu.edu/pyreason/
License
查看许可证 227 stars 18 forks Branches Tags Activity
lab-v2/pyreason
文件夹和文件
Name| Name| Last commit message| Last commit date
---|---|---|---
最新提交
历史
885 Commits
.github/workflows| .github/workflows
docs| docs
examples| examples
jobs| jobs
lit| lit
media| media
output| output
profiling| profiling
pyreason| pyreason
tests| tests
.gitignore| .gitignore
.numba_config.yaml| .numba_config.yaml
.readthedocs.yaml| .readthedocs.yaml
LICENSE.md| LICENSE.md
MANIFEST.in| MANIFEST.in
README.md| README.md
initialize.py| initialize.py
pyproject.toml| pyproject.toml
requirements.txt| requirements.txt
run_on_agave.sh| run_on_agave.sh
setup.py| setup.py
View all files
一个支持带注释的、实数值、基于图和时序逻辑的可解释推理软件。
链接
📃 Paper 📽️ Video 🌐 Website 🏋️♂️ PyReason Gym 🗎 Documentation
目录
1. Introduction
PyReason 是一个图形推理工具，它使用一组逻辑规则和事实（初始条件）来对图结构进行推理。要了解更多细节，请参考上面提到的论文/视频/hello-world-example。
2. Documentation
所有 API 文档和代码示例都可以在 ReadTheDocs 上找到。
3. Install
可以使用以下命令将 PyReason 安装为 python 库：
pip install pyreason
目前支持的 Python 版本是 3.7、3.8、3.9 和 3.10。如果需要多核并行支持，由于 numba 支持的限制，只有 3.9 和 3.10 版本可用。
4. 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
本仓库使用 BSD-2-Clause 许可证。
商标许可 PyReason™ 和 PyReason Design Logo 是 Arizona Board of Regents/Arizona State University 的商标。 允许软件用户将 PyReason™ 与软件相关联使用于任何目的，前提是此类使用与软件相关（例如，由 PyReason™ 提供支持）。 此外，允许教育机构将 PyReason Design Logo 用于非商业目的。
6. Contact
Dyuman Aditya - dyuman.aditya@asu.edu Kaustuv Mukherji - kmukher2@asu.edu Paulo Shakarian - pshak02@asu.edu
关于
一个支持带注释的、实数值、基于图和时序逻辑的可解释推理软件。 neurosymbolic.asu.edu/pyreason/
主题
python machine-learning logic temporal-logic logic-programming neurosymbolic
资源
License
查看许可证 Activity Custom properties
Stars
Watchers
Forks
Releases 86
v3.0.4 最新 Mar 22, 2025 + 85 releases
Packages 0
No packages published