Reasoning with PyReason

Abstract

This is a talk given by Paulo Shakarian (Associate Professor at ASU) on the current research direction of Lab V2 at ASU (https://labs.engineering.asu.edu/labv2). Some of the papers mentioned are linked below:

• PyReason: Software for OWTL (AAAI-MAKE ‘23: https://arxiv.org/abs/2302.13482
• PyReason as a semantic proxy for RL (IEEE ICSC ‘24): https://arxiv.org/abs/2310.06835
• Extensions to generalized annotated programs (IEEE TransAI ‘22): https://arxiv.org/abs/2302.12195
• ChatGPT on MWP’s (AAAI-MAKE ‘23): https://arxiv.org/abs/2302.13814

About the channel

The Neuro Symbolic Channel provides the tutorials, courses, and research results on one of the most exciting areas in artificial intelligence and machine learning. With content originally from the AI course taught at Arizona State University, this channel brings you the latest at the intersection of symbolic methods (e.g., logic programming) and deep learning. Learn about the latest algorithms, Python packages, and progress toward larger goals such as artificial general intelligence (AGI).