7-8 Inference (vi) - Resolution - First Order Logic | Coursera

7-8 Inference (vi) - Resolution

video-placeholder

Loading...

Национальный университет Тайваня

人工智慧：搜尋方法與邏輯推論 (Artificial Intelligence - Search & Logic)

Национальный университет Тайваня

4.8 (оценок: 225)

|

Количество зарегистрированных учащихся: 19 тыс.

Участвовать бесплатно

本課程分為人工智慧（上）、人工智慧（下）兩部份，第一部分除了人工智慧概論外，著重在目標搜尋、meta heuristic、電腦對弈、演繹學習（包含證言邏輯、一階邏輯及 planning ）等技術。這些技術主要發展時機為人工智慧的第一波及第二波熱潮，也就是 1950 年代至 1990 年代附近的主流發展，即使到現在也在各個領域廣為應用。課程教學目標：使同學對人工智慧有基礎概念同學能夠理解如何運用目標搜尋技術及演繹學習方式達成人工智慧同學能將相關技術應用到自己的問題上

Просмотреть программу курса

Получаемые навыки

Artificial Intelligence (AI), Search Algorithm, A.I. Artificial Intelligence, Algorithms

Рецензии

4.8 (оценок: 225)

5 stars
81,33 %
4 stars
15,11 %
3 stars
3,11 %
2 stars
0,44 %

Из урока

First Order Logic

7-1 First-Order Logic (i) - Syntax of FOL and Semantics16:26

7-2 First-Order Logic (ii) - Using FOL, Inference (i) - Instantiation13:20

7-3 Inference (ii) - Propositionalization, Inference (iii) - Unification18:17

7-4 Inference (iii) - Unification, Inference (iv) - Forward chaining18:11

7-5 Inference (iv) - Forward chaining, Inference (v) - Backward chaining13:17

7-6 Logic Programing (i) - Prolog Systems17:31

7-7 Logic Programing (ii) - Redundant Inference and Infinite Loops in Prolog12:53

7-8 Inference (vi) - Resolution16:52

Преподаватели

于天立
副教授 (Associate Professor)

Попробуйте курс за Бесплатно

Ознакомьтесь с нашим каталогом

Присоединяйтесь бесплатно и получайте персонализированные рекомендации, обновления и предложения.