6-7 Backward Chaining, Pros and Cons of Propositional Logic - Propositional Logic | Coursera

video-placeholder

Loading...

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

国立台湾大学

4.8（201 个评分） | 18K 名学生已注册

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

查看授课大纲

您将学习的技能

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

审阅

4.8（201 个评分）

5 stars
81.09%
4 stars
14.92%
3 stars
3.48%
2 stars
0.49%

从本节课中

Propositional Logic

6-1 Logical Agents (i) - Generic Knowledge-Based Agent, PEAS16:35

6-2 Logical Agents (ii) - Logic, Entailment and Models21:19

6-3 Propositional Logic, Inference (i) - Enumeration, Validity and Satisfiability19:16

6-4 Inference (ii) - Simple Knowledge, Resolution and CNF (i) - Proof by Resolution, CNF Conversion, Resolution Algorithm18:33

6-5 Resolution and CNF (ii) - Properties of Resolution, Ground Resolution Theorem11:59

6-6 Resolution and CNF (iii) - Horn and Definite Clauses, Forward Chaining17:07

6-7 Backward Chaining, Pros and Cons of Propositional Logic10:28

教学方

于天立
副教授 (Associate Professor)

以免费的价格试听课程

探索我们的目录

免费加入并获得个性化推荐、更新和优惠。