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