COMP4418

知识表示与推理

课程定位 COMP4418/9418 是 UNSW 计算机专业在‘逻辑 AI’领域的顶峰课程。不同于侧重连接主义的深度学习，这门课解决了人工智能最本质的‘理性’问题：机器如何像人类一样存储、检索并利用逻辑规则进行严密的因果推理？它是通往高级专家系统、语义网架构、及机器人任务规划岗位的必经之路。它在离散数学与计算机智能之间架起了一座严密的代数桥梁，是培养‘AI 架构师’核心逻辑深度的关键。 技术栈与学习内容 课程基于严密的一阶逻辑与描述逻辑。核心内容包括：命题逻辑与一阶逻辑复习、知识库建模、非单调推理 (Non-monotonic Reasoning)、信念修正 (Belief Revision)、描述逻辑 (Description Logics - OWL 基础)、本体论建模、以及最具杀伤力的‘因果推理与规划’。此外，课程引入了逻辑编程语言 Prolog 与答集编程 (ASP)。学生将学习如何利用数学公理化一个领域（如医疗诊断或法律合规）并让机器自动推导结论。 课程结构 10 周理论巅峰期。前期聚焦逻辑基础与符号计算，中期深入不确定性与非单调博弈，后期转向本体论工程与语义技术。评估由每周的高难证明习题 (Problem Sets)、两个极具挑战性的编程项目（Assignment，通常涉及利用 ASP 解决复杂的组合优化难题或构建自动化推理机）、以及一场极其考验智力极限的期末闭卷大考组成。该课极其强调‘逻辑证明的严谨性’。 适合人群 计算机专业大四、荣誉学位或研究生。必须具备扎实的离散数学 (MATH1081) 和基础 AI 功底。如果你痴迷于‘逻辑的纯粹美感’、或者想搞清楚‘大模型幻觉’的底层逻辑修正，这门课是你的归巢。建议每周投入 20 小时以上。