Pyreason

PyReason is a software framework for logical reasoning over graphs and knowledge, built on generalized annotated programs, also called annotated logic, and temporal logic programming. It was introduced in 2023 and is created and maintained by the Leibniz Lab at Syracuse University. A Python interface lets users define rules and facts and run reasoning in code. The framework is intended for researchers and developers who need explainable, rule based inference that can sit alongside machine learning. It includes tools to connect directly with models built in PyTorch, supports fuzzy logic, offers integration points for reinforcement learning and has CPU optimizations for performance. The project reports applications in maritime settings, industrial automation and medical triage. The university page is brief. It describes the project, links to the full documentation on Read the Docs, points to an updates page for news and archives posts by month on topics such as conferences and general announcements. PyReason is distributed as a research group's open software, and the site lists no pricing, plans or hosted service.