For more information about Stanford's Artificial Intelligence professional and graduate programs visit: https://stanford.io/ai
This lecture covers logic-based models: propositional logic, first order logic
Applications: theorem proving, verification, reasoning, think in terms of logical formulas and inference rules
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/autumn2021/#schedule
0:00 Introduction
0:06 Logic: overview
0:21 Question
1:41 Course plan
2:07 Taking a step back
3:16 Modeling paradigms State-based models: search problems, MDPs, games Applications: route finding, game playing, etc. Think in terms of states, actions, and costs
9:34 Motivation: smart personal assistant
10:06 Natural language
11:43 Language Language is a mechanism for expression
12:48 Two goals of a logic language
13:31 Ingredients of a logic Syntax: defines a set of valid formulas (Formulas) Example: Rain A Wet
16:10 Syntax versus semantics
17:55 Propositional logic Semantics
20:34 Roadmap