人工智慧:搜尋方法與邏輯推論 (Artificial Intelligence - Search & Logic)
Offered By: National Taiwan University via Coursera
Course Description
Overview
本課程分為人工智慧(上)、人工智慧(下)兩部份,第一部分除了人工智慧概論外,著重在目標搜尋、meta heuristic、電腦對弈、演繹學習(包含證言邏輯、一階邏輯及 planning )等技術。這些技術主要發展時機為人工智慧的第一波及第二波熱潮,也就是 1950 年代至 1990 年代附近的主流發展,即使到現在也在各個領域廣為應用。
課程教學目標:
使同學對人工智慧有基礎概念
同學能夠理解如何運用目標搜尋技術及演繹學習方式達成人工智慧
同學能將相關技術應用到自己的問題上
Syllabus
- Introduction
- Uninformed search
- Informed search
- Non-classic search
- Adversarial search
- Propositional Logic
- First Order Logic
- Planning
Taught by
于天立(Tian-Li,Yu)
Tags
Related Courses
An Introduction to Logic for Computer ScienceUniversity of Leeds via FutureLearn An Introduction to Logic for Computer Science
University of Leeds via Coursera An Introduction to Programming using Python
University of Leeds via Coursera Logic II
Brilliant Symbolic Logic
Cabrillo College via California Community Colleges System