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 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 код 54:04 пример Logic Puzzles 54:47 комбинированные переменные 56:58 код 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) Благодарности и атрибуции: David J. Malan malan@ Оригинал: *Публикуется с согласия Дэвида Мэлана и Гарвардского университета на редистрибуцию оригинальной работы с внесением изменений по соответствующей лицензии. Telegram: VK: Instagram: #авекодер #искусственныйинтеллект #cs50 #python Поддержи проект: BTH: 1BmLvUFiJaVpCAwhzW3ZwKzMGWoQRfxsn4 ETH: 0x6f1A488c9b12E782AEF74634a40A79b1631237aB Ave Coder на английском: ______________________ Аве Кодер! Меня зовут V и я кодер. Я экспортирую из Англии: актуальные туториалы, computer science, брейнхаки, лайфхаки, здоровье кодера, тревэл он нью левэл, английский для кодера, как кодеру не помереть с голоду, юмор и многое другое. Так что ставь императорский палец вверх, подписывайся и бей в колокол!