An explainable inference software supporting annotated, real valued, graph based and temporal logic.
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
Check out the PyReason Hello World program if you're new, or want get get a feel for the software.
PyReason makes use of 4 files:
- A GraphMl file containing the graph (required)
- A YAML file containing the pyreason rules (required)
- A YAML file containing the pyreason facts (optional but recommended)
- A YAML file containing the pyreason labels (optional but recommended)
- A YAML file containing the pyreason ipl (inconsistent predicate list) (optional)
The format of these files is very important. Please refer to the example YAML files provided when making your own rules/facts/labels/ipl. TODO: make doc for each format.
PyReason can be installed as a python library (recommended) or as a command line tool
We import pyreason to initialize it for the first time, this may take a few minutes
pip install pyreason
python
import pyreason
git clone https://github.com/lab-v2/pyreason
cd pyreason
pip install -r requirements.txt
python initialize.py
Please refer to the documentation that is relevant to you
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}}
This repository is licensed under BSD-3-Clause
Dyuman Aditya - dyuman.aditya@asu.edu
Kaustuv Mukherji - kmukher2@asu.edu
Paulo Shakarian - pshak02@asu.edu