Introducing PyReason: Open World Temporal Logic Software Package

Explore PyReason, a cutting-edge software package for logic-based inference, in this 13-minute video. Delve into the world of open world reasoning, multi-step inference, explainability, temporal logic, and graph-based semantics. Discover how PyReason is designed to support neuro symbolic AI and its potential applications. Learn about the package's key features, including Annotated Logic, Open World Reasoning, Multi-Step Inference, Explainability, Finite Temporal Logic, and reasoning about Multi-Modal Graphs. Gain insights into how PyReason can be utilized to support Neuro Symbolic Reasoning. Access additional resources, including the research paper, preprint, open-source Python library, and codebase to further enhance your understanding of this innovative tool.

Intro
Annotated Logic (Kifer and Subrahmanian, 1992)
Open World Reasoning
Multi-Step Inference
Explainability
Finite Temporal Logic
Reasoning about Multi-Modal Graphs
Designed to Support Neuro Symbolic Reasoning