第三章谓词逻辑与归结原理.ppt

人工智能 第三章 谓词逻辑与归结原理 概述 本章的内容与目标 智能体如何认识事物并且进行推理 用形式化的语言描述推理过程 机器证明的一般方法—归结原理 概述 语言 自然语言：人们在日常生活中所使用的语言文字 半形式化语言：自然语言加特定的符号，如数学语言(定义、定理等) 形式化语言：用精确的数学或机器可处理的公式定义的语言 。(逻辑学语言，弗雷格Frege ，1879) (p→q)∧(p→r)∧ ～ p∧ ～ r→ ～ p 怪物洞穴 人工智能的经典实验环境—怪物洞穴(wumpus世界) 洞穴有多个房间组成 某个房间中藏着一只怪物wumpus，它会吃掉进入这个房间的人，相邻房间中能够感觉到臭味 某些房间中有陷阱，进入房间会被陷阱吞噬，相邻房间中能够感觉到微风 游戏的主角是一个智能体，可以进入相邻的房间（对角线不可以） 智能体有且仅有一支箭，用这支箭可以射杀怪物 某个房间中有金子，游戏的目标是智能体找到金子 怪物洞穴 智能体行动的关键是要根据获得的信息推理，从而判断那个房间有怪物，那个房间有陷阱，那个房间是安全的 房间[4,2]和[2,3]有陷阱，房间[3,4]有怪物，房间[4,3]有金子 3.1 命题逻辑 3.1 命题逻辑 命题—能够判断真假的陈述句 陈述句 真值唯一， 可用二进制表示 用小写字母进行标识 例 1、北京是中国的首都。 2、长安大学位于钟楼附