人工智能基礎複習3——知識與推理

07 Logical agents 一些建模範式 - 基於狀態的模型：搜索問題，博弈     - 應用：路徑搜索，玩遊戲等     - 考慮狀態、行動和代價 - 基於變量的模型：CSPs，貝葉斯網絡     - 應用：調度、醫療診斷等     - 考慮狀態和潛力 - 基於邏輯的模型： 命題邏輯、一階邏輯     - 應用：定理證實、驗證、推理     - 考慮邏輯公式和推理規則 動機：聰明的我的助

>>阅读原文<<