For more information about Stanford’s Artificial Intelligence professional and graduate programs, visit: stanford.io/3ChWesU
Topics: Logic
Percy Liang, Associate Professor & Dorsa Sadigh, Assistant Professor - Stanford University
onlinehub.stanford.edu/
Associate Professor Percy Liang
Associate Professor of Computer Science and Statistics (courtesy)
profiles.stanford.edu/percy-l...
Assistant Professor Dorsa Sadigh
Assistant Professor in the Computer Science Department & Electrical Engineering Department
profiles.stanford.edu/dorsa-s...
To follow along with the course schedule and syllabus, visit:
stanford-cs221.github.io/autu...
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