PyReason was introduced in 2023, taking ideas from generalized annotated programs (also known as “annotated logic”) and temporal logic programming in a framework to support modern workflows – including a Python interface and tools to interface directly with machine learning models (i.e., Pytorch). The current version included CPU optimizations for performance, integration capability to support reinforcement learning, and the ability to support fuzzy logic. PyReason has been used in a variety of applications to include maritime, industrial automation, and medical triage. PyReason was created and maintained by the Leibniz Lab at Syracuse University.
Get the latest news on PyReason here: Updates Page
Read the latest PyReason docs here: https://pyreason.readthedocs.io/en/latest