{技术管理套表}五讲经典人工智能技术知识表示推理与搜索.pdfVIP

{技管理套表} 本讲授课要点 讲授基于符号主义的经典人工智能 技术。 符号主义的研究以知识为核心。知 识的表示是问题求解的基础，但单 纯介绍知识表示容易让学生感觉枯 燥，且无法直观理解其作用，可考 虑将表示与求解放在一起讲授，例 如： 谓词逻辑表示与推理技术 引言——经典人工智能 出色的老式人工智能（Good Old Fashioned AI，GOFAI）——哲学 家约翰.豪格兰德 一个用规则和事实来程序化的高速 数字计算机可能表现出智力行为 —— 图 灵 人类是借助事实与规则来产生智力 5.1 自动推理证明 机器真的能够自动推理吗？ 自动推理证明的发展史 谓词逻辑 消解原理 ？ 5个房间问 有5间不同颜色的房