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-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
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