К содержимому
learnspaceYOUR NEXT CHAPTER
ПРОСТРАНСТВО ОБУЧЕНИЯ
ГлавнаяКаталог курсовМоё обучениеCoursera

Знания без границ

Учитесь у лучших университетов и компаний мира.

Открыть Coursera
Интеграция
Пространство университета
Моё пространствоСтраница курса
↵
ЯЛичный кабинетСтудент
© 2026 LearnSpaceКаждый день — возможность узнать больше.Помощь
人工智慧：搜尋方法與邏輯推論 (Artificial Intelligence - Search & Logic) · LearnSpace
Назад в каталог
courseraПрограммирование

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

Курс от National Taiwan University
Начальный≈ 18.9 чКитайский (Тайвань)
О курсеНавыкиПрограммаПреподаватели

О курсе

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

Навыки, которые вы освоите

AlgorithmsComputational LogicArtificial IntelligenceAI literacyMachine Learning MethodsModel OptimizationSimulations

Программа курса

8 модулей · 64 учебных материалов

01Introduction10 материалов

Course Videos

NTU MOOC 課程問題詢問與回報機制Чтение1-1 History of AI：TuringTest and Its Application, Chinese Room ArgumentВидео1-2 What is AIВидео1-3 Agents and Environments, PEAS, Environment TypeВидео

Учитесь у экспертов

于天立

副教授 (Associate Professor)

人工智慧：搜尋方法與邏輯推論 (Artificial Intelligence - Search & Logic)
В каталоге вашей программы

Инвестируйте в себя

Новые знания — в удобное для вас время.

Начать на Coursera

Обучение откроется на Coursera
в новой вкладке

Обучение на Coursera

≈ 18.9 ч

8 модулей

Язык: Китайский (Тайвань)

Часть программы вашего университета
1-4 Different Level Of AIВидео
1-5 Wave of AI：Debut, Knowledge Driven, Data DrivenВидео
1-6 The Classification of Agent, First Wave of AI (Artificial Neural Network)Видео
1-7 Second Wave of AI (Expert System)Видео
1-8 Third Wave of AI (Some Theory and Principle of Machine Learning)Видео
1-9 Conclusion of AI and Machine LearningВидео
02Uninformed search7 материалов

Course Videos

2-1 Problem Solving Agents, Problem Formulation (i)Видео2-2 Problem Formulation (ii) - AbstractionВидео2-3 Search on Tree and GraphВидео2-4 Uninformed Search (i) - Breadth-First Search, Uniform-Cost SearchВидео2-5 Uninformed Search (ii) - Depth-First Search, Depth-Limited Search, Iterative-Deepening SearchВидео2-6 Uninformed Search (iii) - Iterative-Deepening Search, Bidirectional SearchВидео

Quiz

Week 2Задание
03Informed search 7 материалов

Course Videos

3-1 Best-First Search (i) - Greedy SearchВидео3-2 Best-First Search (ii) - A* SearchВидео3-3 Best-First Search (iii) - Optimality of A*Видео3-4 Memory Bounded Search (i) - Iterative Deepening A*, RBFSВидео3-5 Memory Bounded Search (ii) - RBFS, Simplified Memory-bounded A*Видео3-6 Heuristic - Preformance, Generating HeuristicsВидео

Quiz

Week 3Задание
04Non-classic search8 материалов

Course Videos

4-1 Black-Box OptimizationВидео4-2 Steepest DescentВидео4-3 Simulated AnnealingВидео4-4 Evolutionary ComputationВидео4-5 Non-deterministic Actions - AND-OR Search, Partial Observations (i) - Sensor-lessВидео4-6 Partial Observations (ii) - With SensorsВидео4-7 Partial Observations (iii) - Unknown EnvironmentsВидео

Quiz

Week 4Задание
05Adversarial search7 материалов

Course Videos

5-1 Type of Games - Symbols, Game TreeВидео5-2 Optimal Decision, Negamax Search , Alpha-Beta Pruning (i)Видео5-3 Alpha-Beta Pruning (ii)Видео5-4 Asperasion Windows, NegaScoutВидео5-5 Imperfect Decisions, Forward PruningВидео5-6 Stochastic Games, Partially Observable GamesВидео

Quiz

Week 5Задание
06Propositional Logic8 материалов

Course Videos

6-1 Logical Agents (i) - Generic Knowledge-Based Agent, PEASВидео6-2 Logical Agents (ii) - Logic, Entailment and ModelsВидео6-3 Propositional Logic, Inference (i) - Enumeration, Validity and SatisfiabilityВидео6-4 Inference (ii) - Simple Knowledge, Resolution and CNF (i) - Proof by Resolution, CNF Conversion, Resolution AlgorithmВидео6-5 Resolution and CNF (ii) - Properties of Resolution, Ground Resolution TheoremВидео6-6 Resolution and CNF (iii) - Horn and Definite Clauses, Forward ChainingВидео6-7 Backward Chaining, Pros and Cons of Propositional LogicВидео

Quiz

Week 6Задание
07First Order Logic9 материалов

Course Videos

7-1 First-Order Logic (i) - Syntax of FOL and SemanticsВидео7-2 First-Order Logic (ii) - Using FOL, Inference (i) - InstantiationВидео7-3 Inference (ii) - Propositionalization, Inference (iii) - UnificationВидео7-4 Inference (iii) - Unification, Inference (iv) - Forward chainingВидео7-5 Inference (iv) - Forward chaining, Inference (v) - Backward chainingВидео7-6 Logic Programing (i) - Prolog SystemsВидео7-7 Logic Programing (ii) - Redundant Inference and Infinite Loops in PrologВидео7-8 Inference (vi) - ResolutionВидео

Quiz

Week 7Задание
08Planning8 материалов

Course Videos

8-1 Planning Domain Definition Language (PDDL) (i)Видео8-2 Planning Domain Definition Language (PDDL) (ii)Видео8-3 State-Space Search, HeuristicsВидео8-4 Planning GraphsВидео8-5 GRAPHPLANВидео8-6 Course ReviewВидео

Quiz

Week8Задание

【補充教材】

臺大開放式課程（NTU OpenCourseWare）：計算機概論Чтение