HW1 程式作業把 Lec2 的 entailment 做成一個 Pacman 版 Wumpus agent：Q1–Q2 用 Expr 和 pycosat 暖身，Q3–Q5 寫 PKE 感知規則、建 KB、用兩次 SAT 呼叫判斷 SAFE／NOT_SAFE／UNSURE，Q6–Q7 用現成的 A* 輔助函式組出 exploration agent 和三層策略的 hybrid agent。starter 與本機 autograder 可匿名下載；Gradescope 上的線上題只限校內。本文不附解答。
Lec2 把踩地雷和 Wumpus World 的「這格安不安全」寫成 entailment 問題：KB ⊨ α 等價於 KB ∧ ¬α 不可滿足。能回答它的有三種做法：暴力列舉 model 的 TT-ENTAILS、在回溯上加提早終止、pure symbol、unit clause 的 DPLL，以及只吃 definite clause、線性時間的 forward chaining。Resolution 放在附錄，標示 out of scope。
第 1 週講怎麼讓程式依已知事實推出新事實：用命題符號與五個連結詞把知識寫成句子；model checking 列舉全部 2 的 n 次方種真假組合來判斷知識庫是否蘊涵某個查詢；推論規則與 resolution 改成直接操作句子，先轉成 CNF，再用反證法推出空子句；一階邏輯用常數、述詞與量詞減少符號數量。附逐段時間連結，以及 Knights、Minesweeper 兩個專案的解題思路、易錯處與檢查方式（參考實作摺疊）。
CS221 是 Stanford 的人工智慧原理課，把 AI 排成反射、狀態、變數、邏輯四層，深度學習只是最低的那一層。可執行的 Python 講義與八份作業（含程式骨架與本機評分器）全部公開；課堂錄影、隱藏測資與作業解答拿不到。