Inference in Propositional Logic: From Basics to Lattice Theory Applications

Offered By: Neuro Symbolic via YouTube

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!

Explore a comprehensive video tutorial on inference in propositional logic, delving into the application of lattice theory and fixpoint operators for answering entailment queries. Gain valuable insights into concepts essential for studying logic programming and knowledge and reasoning (KR). Learn from Paulo Shakarian of Arizona State University as he provides a quick primer on this fundamental topic in artificial intelligence. Access accompanying slides for enhanced understanding and reference. Discover the intersection of symbolic methods and deep learning in this 19-minute lecture, part of the Neuro Symbolic Channel's cutting-edge content on artificial intelligence and machine learning.

Syllabus

Inference in propositional logic

Taught by

Neuro Symbolic

Related Courses

From Trees to Barcodes and Back Again - Combinatorial and Geometric Perspectives
Applied Algebraic Topology Network via YouTube Oded Regev: The Reverse Minkowski Theorem
International Mathematical Union via YouTube Daniel Dadush- Integer Programming and the Kannan-Lovasz Conjecture
Hausdorff Center for Mathematics via YouTube Periods, Shafarevich Maps and Applications - Nodal Surfaces and Coding Theory
IMSA via YouTube Henrik Shahgholian - Free Boundaries on Lattice, and Their Scaling Limits
Hausdorff Center for Mathematics via YouTube