Skip to content

AI 與機器學習進階：從邏輯規劃到生成模型｜CMU 07-380 課程總覽

2026年8月22日1 分鐘
首頁›learning
TL;DR07-380 Fall 2026 是 CMU AI 新制第二門首開，26 講涵蓋邏輯、規劃、優化、機率圖、生成式與系統。依 2026-09-29 課站，Lec1–9 投影片、PR1–6 筆記、Rec1–5（含解答）與 HW1–3 已公開，本站已寫完對應的 14 篇逐講導讀；Lec10 之後的投影片、HW4–7 與 Final Project 還沒釋出，整門課仍是 A2。
#cmu#07-380#ai-course#machine-learning#learning-path
系列: CMU 07-380 AI & ML II 導讀 (0 / 15)
Introduction，AI & ML II 接在 07-280 之後要解什麼問題｜CMU 07-380 第 1 堂

🌏 English version

影片狀態：已查核：官方公開頁未列對應錄影。 影片來源與說明

CMU 07-380 AI & ML II Fall 2026 是 07-280 Fall 2026 之後的第二門新制課，首次開課（New in Fall 2026）。它不等於舊 15-281/10-315 的重排，而是把 07-280 已建立的搜尋、ML、RL 與機率地基，接到更深的推理、優化、機率圖與生成式系統。

為什麼有 07-380

07-280 Fall 2026 已用 24 講 + HW0-11 + 每週 Checkpoint 覆蓋從 heuristic search 到 AlphaZero 的 I 階段；官方 FAQ 明載 07-280/07-380 will be offered every semester，07-380 first being offered in Fall 2026，兩門合起來取代 15-281 + 10-315。先修為 07-280 + 機率（36-225 等） 皆需 C 以上；已修 10-301 者需另以 10-301 + 16-350 審核替代（見 Prerequisites 與 bsai@cs.cmu.edu）。

評量也與 07-280 不同：Quiz 55%（6 次，drop 最低 1 次）+ HW 25% + Project 10% + Checkpoint 5% + Participation 5%，無期末考，以 Final Project 為總結（12/7-12/15）。

26 講怎麼排

依 Fall 2026 Schedule（subject to change）：

段落Lectures主題
推理Lec02-04Logical Agents / SAT-DPLL / Planning PDDL / Motion RRT
優化Lec05-07LP / ILP / PCA + LoRA
不確定性推理Lec08-13MAP / Naive Bayes / Bayes Nets / GMM-EM / Likelihood Sampling-Gibbs / HMM-Particle Filter
行動與生成Lec14-18RL Policy Gradient→RLHF / DL Optimization / VAE / Diffusion / Multimodal VLM/VLA/JEPA
系統與理論Lec19-24Parallel (data/model/pipeline/MoE) / Scaling Laws / Recommender / Ensemble / PAC-VC / Game Theory
實務收尾Lec25-26ML in Practice / AI Ethics + Quiz 6

公開到什麼程度

依 2026-09-29 課站實際狀態（課站註明 subject to change）：

項目匿名可得缺口
Syllabus / Schedule / Policies完整公開—
Lecture 投影片Lec1–8 各有 pptx/pdf（含 inked 版），Lec9 與 Lec10 共用一份 Lec9-10_Probabilistic_Generative_ModelsLec10 Bayes Nets 投影片未上（猜測網址回 404），Lec11–26 只有主題與 readings
Pre-reading 筆記PR1 Prop Logic、PR2 Planning、PR3 LP、PR4 PCA、PR5 MAP、PR6 Bayes Nets，另有 Notes_Generative_ModelsPR7–13 只有日期
RecitationRec1、Rec2、Rec3-4、Rec5 講義與解答Rec6 以後沒有講義
HWHW1（logic_plan 程式作業）、HW2（planning 程式作業＋書面 PDF／LaTeX 範本）、HW3（optimization 程式作業＋書面），starter zip 與本機 autograder 可下載HW4–7 只有暫定日期；Gradescope 線上題限校內
Quiz / ProjectQuiz 日期已公布Quiz 題目不公開；Final Project 的分組、提案、繳交都還是 TBA
評量平台說明完整Canvas/Gradescope/Piazza 限校內；課站沒有錄影連結

以本站 A0-A3 判定：整門課是 A2（進行中）；已釋出的 Lec1–9 這一段，投影片、筆記、recitation 解答、作業 starter 都齊，已達 A3，可以照著自學到 HW3。

本系列逐講導讀

以下 14 篇依學習順序排（作業放在它涵蓋的最後一講之後），全部以 2026-09-29 的課站材料為準：

order文章範圍
1Lecture 1：IntroductionII 接在 07-280 之後要解什麼問題、評分結構
2Lecture 2：Logical Agentsmodel checking、DPLL、forward chaining
3HW1：Logic and the Hybrid Wumpus Agent用 SAT 判斷安全格，組出 hybrid agent
4Lecture 3：Classical PlanningPDDL、狀態空間搜尋、relaxation heuristic
5Lecture 4：Motion Planning（RRT）連續空間取樣、RRT 與 RRT*
6HW2：Classical and Motion Planningrobot-cook PDDL、RRT*、LP 圖解
7Lecture 5：Linear Programming最優解為何落在頂點
8Lecture 6：Integer ProgrammingLP 鬆弛與 branch and bound
9Lecture 7：PCA 與低秩（LoRA）重建誤差、投影變異數、SVD
10Lecture 8：MAP先驗等於正則化
11HW3：Optimization自寫 LP 求解器、branch and bound、PCA 與 MAP 書面
12Lecture 9：Generative ModelsNaive Bayes 與 GDA
13Lecture 10：Bayes Nets（pre-reading 版）只依 PR6 筆記，投影片未上
14階段回顧：確定性推理與優化 → 不確定性前十講與 HW1–3 的整理

還沒釋出、等上線再補

  • Lec10 Bayes Nets 投影片：上線後會用它更新 order 13。
  • Lec11 以後（Approximate Inference、HMM／Particle Filter、GMM/EM、Policy Gradient→RLHF、VAE、Diffusion、系統與理論各講）：課站目前只有主題與 readings。
  • HW4–7、PR7–13、Rec6 以後的講義、Final Project 規格。
  • 只限校內、本系列不會涵蓋：Quiz 題目、Canvas checkpoint、Gradescope 線上題。

與 07-280 怎麼接

07-280 I（24講：search/CSP → ML/NN→CNN/Transformer → RL/MCTS）
        ↓
07-380 II（26講：邏輯/規劃 → 優化 → 機率圖/HMM → RLHF/生成 → 系統/理論/倫理）

07-280 教「把 AlexNet/GPT-2/AlphaZero 做出來」；07-380 教「推理與優化的形式化、機率圖的精準與近似、生成式與系統的可擴展性」。校外自學可先以 07-280 建主幹，再用 07-380 的 LP/PCA/MAP/EM/Bayes Nets/HMM/VAE/Diffusion 補形式化深度。

今晚的起步動作

  1. 對照 07-380 Lec01 與 07-280 Lec01，標出 I→II 重疊與新增（Planning/PDDL、LoRA、PAC-VC）。
  2. 若缺邏輯或優化背景，先讀 Prop Logic.pdf 與 Boyd Convex Optimization Ch.2/4，不要直接跳 Diffusion。
  3. 從上面的 order 1 開始讀，每讀完一段就下載對應的 HW starter，在本機跑 autograder。

課程影片來源

已核對 Fall 2026 官方課表及作業清單：公開來源列出投影片、預讀、示範與作業，未列對應講次的公開錄影連結。本文因此以官方教材導讀，沒有對應講次播放器；這項結論只限官方公開頁面，不代表校內沒有錄影。

官方來源：

查核日期：2026-10-10。

更新紀錄

  • 2026-10-10：標註影片狀態，核對錄影來源與取得方式。
  • 2026-10-10：重查影片狀態。即時回官方課程頁與公開影音來源查證，仍未找到該講公開錄影，狀態維持不變。
  • 2026-09-29：「公開到什麼程度」改成 2026-09-29 課站狀態（Lec1–9、PR1–6、Rec1–5、HW1–3 已公開），等級改為「整門 A2、Lec1–9 段落 A3」；新增「本系列逐講導讀」14 篇清單與待釋出清單；起步動作第 3 點改為從 order 1 開始。

參考資料

相關文章

Introduction，AI & ML II 接在 07-280 之後要解什麼問題｜CMU 07-380 第 1 堂1 minMAP，先驗怎麼進入估計，為什麼等價於正則化｜CMU 07-380 第 8 堂1 min從確定性推理與優化轉進不確定性｜CMU 07-380 主題單元1 min