Logic 8 - First Order Modus Ponens | Stanford CS221: Artificial Intelligence (Autumn 2021)
Автор: Stanford Online
Загружено: 2022-05-31
Просмотров: 11207
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 modus ponens
0:53 Definite clauses
3:26 Modus ponens (first attempt) Definition: modus ponens (first-order logic)
5:35 Substitution
6:52 Unification
10:50 Modus ponens example
12:00 Complexity
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
