Constraint Satisfaction Problems (CSPs) 3 - Examples | 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 CSPs: examples
0:12 Example: LSAT question
6:53 Example: object tracking CSP
10:56 Example: object tracking Problem: object tracking
12:57 Example: event scheduling (formulation 2)
17:18 Example: program verification
22:18 Summary