PyReason
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
Check out the PyReason Hello World program if you're new, or want get get a feel for the software.
Table of Contents
1. Introduction
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.
2. Install
PyReason can be installed as a python library (recommended) or as a command line tool
2.1 Install as a Python Library
We import pyreason to initialize it for the first time, this may take a few minutes
pip install pyreason
python
import pyreason2.2 Install as a Command Line Tool
git clone https://github.com/lab-v2/pyreason
cd pyreason
pip install -r requirements.txt
python initialize.py3. Usage
Please refer to the documentation that is relevant to you
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-3-Clause
6. Contact
Dyuman Aditya - dyuman.aditya@asu.edu
Kaustuv Mukherji - kmukher2@asu.edu
Paulo Shakarian - pshak02@asu.edu