AI Engineer - Learn how to integrate AI into software applications
Google, IBM & Meta Certificates — 40% Off for a Limited Time
Overview
Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
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.
Syllabus
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
Taught by
Neuro Symbolic