COMP9414

人工智能

课程定位 COMP9414 是 UNSW 计算机硕士专业在‘智能计算’维度的全景入门课。它解决了 AI 世界最本质的骨架问题：除了深度学习，AI 还有哪些核心范式？如何让机器进行符号推理？如何设计能够自动寻路的智能体？它是通往数据科学家、AI 工程师、及算法研究岗位的必经第一站。它将经典的搜索算法、逻辑推理与现代机器学习初步深度整合，是培养‘具备全栈 AI 视野的架构师’的必修课。 技术栈与学习内容 课程围绕‘理性智能体 (Rational Agents)’展开。核心技术栈包括：Python 编程、Prolog 逻辑编程（这是全课的逻辑巅峰）、以及 Scikit-learn。学习内容涵盖：盲目搜索与启发式搜索 (A* 算法)、博弈论 (Minimax, Alpha-beta 剪枝)、约束满足问题 (CSP)、一阶逻辑推理 (First-order Logic)、概率推理 (Bayesian Networks)、以及机器学习中的决策树与强化学习初步。课程强调‘问题形式化 (Problem Formulation) 的数学严密性’。 结构化模块 10 周理论高频产出与两个极具挑战的编程项目结合。评估由每周的‘算法逻辑’Lab、一个要求全自动化解题的‘逻辑推理与启发式搜索’Major Project（通常涉及 Prolog 与 Python 的混合编程）、以及一场强调算法证明、逻辑推导与概率计算的期末综合大考组成。该课极其强调‘逻辑链条的完整性’。 适合人群 计算机硕士、或打算跨专业进入 AI 领域的理工科生。必须具备扎实的离散数学基础。如果你想搞清楚‘为什么计算机能下赢国际象棋’、或者渴望在未来的大模型时代理解逻辑推理的底层机制，这门课是你的神功。建议每周投入 15-18 小时进行逻辑推导。