第五讲经典人工智能技术—知识表示、推理与搜索77.pptxVIP

人工智能课程改革与建设 第五讲 经典人工智能技术 ——推理与搜索 Traditional Technology of AI 2011本讲授课要点讲授基于符号主义的经典人工智能技术。符号主义的研究以知识为核心。知识的表示是问题求解的基础，但单纯介绍知识表示容易让学生感觉枯燥，且无法直观理解其作用，可考虑将表示与求解放在一起讲授，例如：谓词逻辑表示与推理技术状态空间表示与搜索技术宜用问题带出内容，通过问题引发学生思考：“这样的问题机器能解决吗？可以怎么做？”以增加兴趣。引言——经典人工智能出色的老式人工智能（Good Old Fashioned AI，GOFAI）——哲学家约翰.豪格兰德一个用规则和事实来程序化的高速数字计算机可能表现出智力行为 ——图灵人类是借助事实与规则来产生智力行为的经典人工智能技术主要以符号表示、符号处理为实现智能的主要手段，推理和搜索是其中的核心技术 5.1自动推理证明机器真的能够自动推理吗？自动推理证明的发展史谓词逻辑消解原理5.1.1 机器真的能够自动推理吗？5个房间问题有5间不同颜色的房间，每间住个不同国籍的人，每人有自己喜欢的饮料、香烟和宠物。已知信息：英国人在红房间中西班牙人有一条狗挪威人住在左边第一间房里黄房间中的人在抽库尔斯牌香烟抽切斯菲尔德牌香烟的人是养了一只狐狸的人的邻居挪威人住在蓝房间隔壁抽温斯顿牌香烟的人有一只蜗牛抽幸运牌香烟的人