#resolution

Harvard CS50 AI Week 1：Knowledge——命題邏輯、模型檢查、推理規則與知識表示

Week 1 進入知識表示與推理：命題邏輯連結詞、模型檢查算法、Modus Ponens/Resolution 推理規則、CNF 轉換，專案 Knights 與 Minesweeper 實作邏輯謎題與掃雷 AI。