HARVARD CS50 — «Знания» — Лекция 1: Искусственный Интеллект с Python на русском (2020)
Практический Курс по Python:
Stepik: https://stepik.org/a/126242
Udemy: https://www.udemy.com/course/avecoder-advanced-python/?referralCode=270C5D0661A966B53743
Аве, Кодер!
В этой лекции: Законы ДеМоргана, Логика предикатов, Пропозициональная логика, Логика первого порядка, Импликация, Конъюнкция, Дизъюнкция, Эквиваленция, Доказательство от противного, Инженерия знаний, Кванторы всеобщности, Кванторы существования и много практических примеров, где мы можем применить работу искусственного интеллекта с знаниями.
Тайм коды:
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 base база знаний. Представление знаний
17:05 entailment следствие
18:26 inference умозаключение
21:48 механизмы выводов
22:45 Model Checking Проверка Модели
27:16 код пример
34:28 алгоритм проверки модели
40:07 Knowledge Engineering Инженерия Знаний
40:59 пример Clue
45:31 код clue.py
54:04 пример Logic Puzzles
54:47 комбинированные переменные
56:58 код puzzle.py
1:01:39 пример Mastermind
1:03:28 асимптотика полного перебора в проверке модели
1:04:32 Inference Rules Правила Вывода:
1:05:12 modus ponens применение импликации
1:06:53 and elimination устранение конъюнкции
1:07:47 double negative elimination устранение двойного отрицания
1:08:36 implication elimination устранение импликации
1:10:18 biconditional elimination устранение эквиваленции
1:11:14 De Morgan’s law Закон ДеМоргана
1:13:42 distributive property распределительный закон, распределительное свойство
1:14:53 обобщение выводов
1:15:57 Theorem Proving Доказательство Теоремы, как разновидность задачи поиска
1:17:43 Правило резолюции, правило вывода
1:18:06 контрарные литералы (литералы, которые дополняют друг друга)
1:19:19 clause клауза. Дизъюнкция литералов
1:23:03 Conjunctive Normal Form (CNF) Конъюнктивная Нормальная Форма (это конъюнкции дизъюнкций)
1:23:54 conversion to CNF преобразование любого логического выражения к выражению, содержащему только логические и и или
1:27:55 inference by resolution вывод на основе правила резолюции. Новый дизъюнкт. Резольвента
1:29:28 пустая клауза = ложь
1:30:34 rule of contraries Доказательство От противного
1:34:15 пример выводов на основе правила резолюции
1:38:29 First-Order Logic Логика Первого Порядка. Логика Предикатов. Предикатные символы Predicate Symbol
1:42:50 дополнительные 2 операции (кванторы):
1:43:01 1) universal quantification Квантор Всеобщности
1:44:20 2) existential quantification Квантор Существования
1:47:18 на следующей лекции понятие неопределённости
Следующая лекция:
HARVARD CS50 — «Неопределенность» — Лекция 2: Искусственный Интеллект с Python на русском (2020)
https://youtu.be/hJafPGGmyiE
Благодарности и атрибуции:
David J. Malan
https://cs.harvard.edu/malan
malan@harvard.edu
Оригинал:https://www.youtube.com/watch?v=HWQLez87vqM&list=PLhQjrBD2T382Nz7z1AEXmioc27axa19Kv&index=3
*Публикуется с согласия Дэвида Мэлана и Гарвардского университета на редистрибуцию оригинальной работы с внесением изменений по соответствующей лицензии.
История Технологий:
https://www.youtube.com/c/АвеТех
______________________
Аве Кодер!
Меня зовут V и я кодер. Я экспортирую из Англии: актуальные туториалы, computer science, брейнхаки, лайфхаки, здоровье кодера, тревэл он нью левэл, английский для кодера, как кодеру не помереть с голоду, юмор и многое другое.
Так что ставь императорский палец вверх, подписывайся и бей в колокол!
