Logic 8 - First Order Modus Ponens | Stanford CS221: Artificial Intelligence (Autumn 2021)

For more information about Stanford's Artificial Intelligence professional and graduate programs visit: https://stanford.io/ai Associate Professor Percy Liang Associate Professor of Computer Science and Statistics (courtesy) https://profiles.stanford.edu/percy-l... Assistant Professor Dorsa Sadigh Assistant Professor in the Computer Science Department & Electrical Engineering Department https://profiles.stanford.edu/dorsa-s... To follow along with the course schedule and syllabus, visit: https://stanford-cs221.github.io/autu... 0:00 Introduction 0:06 Logic: first-order modus ponens 0:53 Definite clauses 3:26 Modus ponens (first attempt) Definition: modus ponens (first-order logic) 5:35 Substitution 6:52 Unification 10:50 Modus ponens example 12:00 Complexity