Logic 3 - Propositional Logic Semantics | Stanford CS221: AI (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: propositional logic semantics
5:19 Interpretation function: definition
7:36 Interpretation function: example Example: Interpretation function
11:13 Models: example
17:21 Adding to the knowledge base
23:17 Contradiction and entailment
23:30 Contingency
25:40 Tell operation
27:23 Ask operation
28:19 Digression: probabilistic generalization
31:45 Satisfiability
37:02 Model checking