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

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

Instructor: 于天立

Skills you'll gain

Algorithms

Details to know

Shareable certificate

Add to your LinkedIn profile

Assessments

7 assignments

Taught in Chinese (Traditional)

See how employees at top companies are mastering in-demand skills

Learn more about Coursera for Business

Earn a career certificate

Add this credential to your LinkedIn profile, resume, or CV

Share it on social media and in your performance review

There are 8 modules in this course

本課程分為人工智慧（上）、人工智慧（下）兩部份，第一部分除了人工智慧概論外，著重在目標搜尋、meta heuristic、電腦對弈、演繹學習（包含證言邏輯、一階邏輯及 planning ）等技術。這些技術主要發展時機為人工智慧的第一波及第二波熱潮，也就是 1950 年代至 1990 年代附近的主流發展，即使到現在也在各個領域廣為應用。

What's included

9 videos1 reading

9 videosTotal 118 minutes

1-1 History of AI：TuringTest and Its Application, Chinese Room Argument5 minutesPreview module
1-2 What is AI16 minutes
1-3 Agents and Environments, PEAS, Environment Type19 minutes
1-4 Different Level Of AI5 minutes
1-5 Wave of AI：Debut, Knowledge Driven, Data Driven6 minutes
1-6 The Classification of Agent, First Wave of AI (Artificial Neural Network)24 minutes
1-7 Second Wave of AI (Expert System)12 minutes
1-8 Third Wave of AI (Some Theory and Principle of Machine Learning)21 minutes
1-9 Conclusion of AI and Machine Learning7 minutes

1 readingTotal 1 minute

NTU MOOC 課程問題詢問與回報機制1 minute

What's included

6 videos1 assignment

6 videosTotal 102 minutes

2-1 Problem Solving Agents, Problem Formulation (i)14 minutesPreview module
2-2 Problem Formulation (ii) - Abstraction18 minutes
2-3 Search on Tree and Graph21 minutes
2-4 Uninformed Search (i) - Breadth-First Search, Uniform-Cost Search18 minutes
2-5 Uninformed Search (ii) - Depth-First Search, Depth-Limited Search, Iterative-Deepening Search14 minutes
2-6 Uninformed Search (iii) - Iterative-Deepening Search, Bidirectional Search15 minutes

1 assignmentTotal 30 minutes

Week 230 minutes

What's included

6 videos1 assignment

6 videosTotal 108 minutes

3-1 Best-First Search (i) - Greedy Search15 minutesPreview module
3-2 Best-First Search (ii) - A* Search16 minutes
3-3 Best-First Search (iii) - Optimality of A*18 minutes
3-4 Memory Bounded Search (i) - Iterative Deepening A*, RBFS21 minutes
3-5 Memory Bounded Search (ii) - RBFS, Simplified Memory-bounded A*20 minutes
3-6 Heuristic - Preformance, Generating Heuristics15 minutes

1 assignmentTotal 30 minutes

Week 330 minutes

What's included

7 videos1 assignment

7 videosTotal 118 minutes

4-1 Black-Box Optimization12 minutesPreview module
4-2 Steepest Descent19 minutes
4-3 Simulated Annealing13 minutes
4-4 Evolutionary Computation19 minutes
4-5 Non-deterministic Actions - AND-OR Search, Partial Observations (i) - Sensor-less18 minutes
4-6 Partial Observations (ii) - With Sensors11 minutes
4-7 Partial Observations (iii) - Unknown Environments23 minutes

1 assignmentTotal 16 minutes

Week 416 minutes

What's included

6 videos1 assignment

6 videosTotal 117 minutes

5-1 Type of Games - Symbols, Game Tree13 minutesPreview module
5-2 Optimal Decision, Negamax Search , Alpha-Beta Pruning (i)19 minutes
5-3 Alpha-Beta Pruning (ii)25 minutes
5-4 Asperasion Windows, NegaScout17 minutes
5-5 Imperfect Decisions, Forward Pruning24 minutes
5-6 Stochastic Games, Partially Observable Games18 minutes

1 assignmentTotal 30 minutes

Week 530 minutes

What's included

7 videos1 assignment

7 videosTotal 115 minutes

6-1 Logical Agents (i) - Generic Knowledge-Based Agent, PEAS16 minutesPreview module
6-2 Logical Agents (ii) - Logic, Entailment and Models21 minutes
6-3 Propositional Logic, Inference (i) - Enumeration, Validity and Satisfiability19 minutes
6-4 Inference (ii) - Simple Knowledge, Resolution and CNF (i) - Proof by Resolution, CNF Conversion, Resolution Algorithm18 minutes
6-5 Resolution and CNF (ii) - Properties of Resolution, Ground Resolution Theorem11 minutes
6-6 Resolution and CNF (iii) - Horn and Definite Clauses, Forward Chaining17 minutes
6-7 Backward Chaining, Pros and Cons of Propositional Logic10 minutes

1 assignmentTotal 30 minutes

Week 630 minutes

What's included

8 videos1 assignment

8 videosTotal 126 minutes

7-1 First-Order Logic (i) - Syntax of FOL and Semantics16 minutesPreview module
7-2 First-Order Logic (ii) - Using FOL, Inference (i) - Instantiation13 minutes
7-3 Inference (ii) - Propositionalization, Inference (iii) - Unification18 minutes
7-4 Inference (iii) - Unification, Inference (iv) - Forward chaining18 minutes
7-5 Inference (iv) - Forward chaining, Inference (v) - Backward chaining13 minutes
7-6 Logic Programing (i) - Prolog Systems17 minutes
7-7 Logic Programing (ii) - Redundant Inference and Infinite Loops in Prolog12 minutes
7-8 Inference (vi) - Resolution16 minutes