Logic 7 - First Order Logic | 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: first-order logic
0:36 Limitations of propositional logic
5:08 First-order logic: examples
6:19 Syntax of first-order logic
12:55 Natural language quantifiers
15:47 Some examples of first-order logic
20:01 Graph representation of a model If only have unary and binary predicates, a model w can be represented as a directed graph
22:09 A restriction on models
24:16 Propositionalization If one-to-one mapping between constant symbols and objects (unique names and domain closure)