1,0×
394 просмотра · 1 год назад
00:00/01:48:18
Описание
Лекция 1 Знания Гарвард CS50 на русском искусственный интеллект Python 2020
1 год назад • 394 просмотра11 поставили "Нравится"
Практический Курс по Python:Stepik: stepik.org/a/126242
Udemy: www.udemy.com/...A966B53743
Аве, Кодер!
В этой лекции: Законы ДеМоргана, Логика предикатов, Пропозициональная логика, Логика первого порядка, Импликация, Конъюнкция, Дизъюнкция, Эквиваленция, Доказательство от противного, Инженерия знаний, Кванторы всеобщности, Кванторы существования и много практических примеров, где мы можем применить работу искусственного интеллекта с знаниями.
Тайм коды:
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 на следующей лекции понятие неопределённости
Файлы:
github.com/..._Knowledge