YoVDO

Introduction to Propositional Logic for AI

Offered By: Neuro Symbolic via YouTube

Tags

Logic Courses Artificial Intelligence Courses Propositional Logic Courses Semantics Courses Neuro-Symbolic AI Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Dive into a comprehensive 18-minute video lecture on propositional logic, essential for understanding artificial intelligence foundations. Explore classic logic syntax and world-based semantics, covering key concepts such as satisfaction, implication, rules, and logic programs. Learn about consistency and entailment while gaining insights into the intersection of symbolic methods and deep learning. Access accompanying slides for enhanced learning, and benefit from expert instruction by Paulo Shakarian from Arizona State University. Ideal for those interested in neuro-symbolic AI, this tutorial serves as a crucial stepping stone towards grasping advanced concepts in artificial general intelligence (AGI).

Syllabus

Intro
Propositional Logic
Syntax
Semantics
Satisfaction
Implication/Rules
Implication/Rule Terminology
Notes on Implication / Rules
Logic programs
Consistency
Entailment


Taught by

Neuro Symbolic

Related Courses

Introduction to Artificial Intelligence
Stanford University via Udacity
Probabilistic Graphical Models 1: Representation
Stanford University via Coursera
Artificial Intelligence for Robotics
Stanford University via Udacity
Computer Vision: The Fundamentals
University of California, Berkeley via Coursera
Learning from Data (Introductory Machine Learning course)
California Institute of Technology via Independent