PyReason

An explainable inference software supporting annotated, real valued, graph based and temporal logic.

Links

📃 Paper

📽️ Video

🌐 Website

🏋️‍♂️ 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
2. Install
   • Install as a Python Library
   • Install as a command line tool
3. Usage
4. Bibtex
5. License
6. Contact

1. Introduction

PyReason makes use of 4 files:

1. A GraphMl file containing the graph (required)
2. A YAML file containing the pyreason rules (required)
3. A YAML file containing the pyreason facts (optional but recommended)
4. A YAML file containing the pyreason labels (optional but recommended)
5. 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 pyreason

2.2 Install as a Command Line Tool

git clone https://github.com/lab-v2/pyreason
cd pyreason
pip install -r requirements.txt
python initialize.py

3. Usage

Please refer to the documentation that is relevant to you

1. Usage as Python Library
2. Usage as a Command Line Tool

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 - [email protected]

Kaustuv Mukherji - [email protected]

Paulo Shakarian - [email protected]