Stanford CS221: Artificial Intelligence: Principles and Techniques | Autumn 2019 - Logic 1 - Propositional Logic | Stanford CS221: AI (Autumn 2019)

For more information about Stanford’s Artificial Intelligence professional and graduate programs, visit: https://stanford.io/3ChWesU Topics: Logic Percy Liang, Associate Professor & Dorsa Sadigh, Assistant Professor - Stanford University http://onlinehub.stanford.edu/ Associate Professor Percy Liang Associate Professor of Computer Science and Statistics (courtesy) https://profiles.stanford.edu/percy-liang Assistant Professor Dorsa Sadigh Assistant Professor in the Computer Science Department & Electrical Engineering Department https://profiles.stanford.edu/dorsa-sadigh To follow along with the course schedule and syllabus, visit: https://stanford-cs221.github.io/autumn2019/#schedule 0:00 Introduction 2:08 Taking a step back 5:46 Motivation: smart personal assistant 7:30 Natural language 9:32 Two goals of a logic language 11:59 Logics 16:29 Syntax of propositional logic 21:18 Interpretation function: definition 25:11 Interpretation function: example 27:57 Models: example 31:25 Adding to the knowledge base 34:15 Contingency 35:14 Contradiction and entailment 36:15 Tell operation 37:18 Ask operation 43:47 Satisfiability 46:42 Model checking 52:33 Inference framework 56:36 Inference example 57:46 Desiderata for inference rules 58:37 Soundness 59:01 Completeness