HARVARD CS50 - “Знания“ - Лекция 1: Искусственный Интеллект с Python на русском (2020)

Аве, Кодер! В этой лекции: Законы ДеМоргана, Логика предикатов, Пропозициональная логика, Логика первого порядка, Импликация, Конъюнкция, Дизъюнкция, Эквиваленция, Доказательство от противного, Инженерия знаний, Кванторы всеобщности, Кванторы существования и много практических примеров, где мы можем применить работу искусственного интеллекта с знаниями. Тайм коды: 0:48 Knowledge Знания. Способность делать выводы на их основании 4:25 sentence высказывания. Язык представления знаний 4:51 Propositional Logic Пропозициональная логика. Логика Высказываний, основанная на утверждениях о мире 5:03 proposition symbols пропозициональные переменные (какой-либо факт о мире) 5:51 logical connectives логические союзы 6:38 Таблица истинности. Not (Не) 7:56 Конъюнкция (логическое и) And 9:33 Дизъюнкция (логическое или) Or 11:09 Импликация (подразумевает, приводит) Implication 13:13 Эквиваленция (условие равносильно в обе стороны, двухусловие) Biconditional 14:51 model модель 16:15 knowledge b