第3章谓词逻辑与归结原理精讲.pptxVIP

人工智能 第三章 谓词逻辑与归结原理 1 概述 本章的内容与目标 智能体如何认识事物并且进行推理 用形式化的语言描述推理过程 机器证明的一般方法—归结原理 2 概述 语言 自然语言：人们在日常生活中所使用的语言文字 半形式化语言：自然语言加特定的符号，如数学语言(定义、定理等) 形式化语言：用精确的数学或机器可处理的公式定义的语言 。(逻辑学语言，弗雷格Frege ，1879) (p→q)∧(q→r)∧ ～ r→ ～ p 3 怪物洞穴 人工智能的经典实验环境—怪物洞穴(wumpus世界) 洞穴有多个房间组成 某个房间中藏着一只怪物wumpus，它会吃掉进入这个房间的人，相邻房间中能够感觉到臭味 某些房间中有陷阱，进入房间会被陷阱吞噬，相邻房间中能够感觉到微风 游戏的主角是一个智能体，可以进入相邻的房间(对角线不可以) 智能体有且仅有一支箭，用这支箭可以射杀怪物 某个房间中有金子，游戏的目标是智能体找到金子 4 怪物洞穴 智能体行动的关键是要根据获得的信息推理，从而判断哪个房间有怪物？哪个房间有陷阱？哪个房间是安全的？ 房间[4,2]和[2,3]有陷阱，房间[3,4]有怪物，房间[4,3]有金子 5 3.1 命题逻辑 6 3.1 命题逻辑 命题—能够判断真假的陈述句 陈述句 真值唯一， 可用二进制表示 用小写字母进行标识 例 1、北京是中国的首都。 2、华南师范大学位于岗顶附近。 3、1+1=2 4、计算机系的学生必修C或JAVA。 5、坐着花生过黄河 6、x+1=2 7、吃饭了吗？ 8、南无阿弥陀佛 9、我正在说假话 7 3.1 命题逻辑 简单命题与复合命题 简单命题：(原子命题) 一个命题无法分解为更简单的子命题 复合命题： 由简单命题用联结词联结而成的命题 1、由若干简单命题组成； 2：由联结词联结 例： 1、北京是中国的首都。 2、华南师范大学位于岗顶附近。 3、计算机系的学生必修C或JAVA。 4、这家的报价单配置合理并且价格低廉。 5、 “李四有犯罪动机”, 所以“李四是犯罪嫌疑人” 8 3.1 命题逻辑 合式公式： 单个常量或者变量的命题构成合式公式 联结词联结的合式公式的组合也是合式公式 合式公式的有限次组合称为命题公式 命题公式：有限次合式公式组合的形式化描述，本书中以大写字母标识。 9 3.1 命题逻辑 基本联结(连接)符号 ～ 非，否定, ﹁； ∧ 与，合取，AND的首字母； ∨ 或，析取，vel → 蕴含式A： a →b表示，如果a，则b； ↔ 等价 联结符号的优先级 ～ ∧ ∨ → ↔ 10 3.1 命题逻辑 将命题从语言表述转换为命题公式 step1、找出简单命题，并用符号表示 step2、分析简单命题间的逻辑关系，用联结符号进行描述 例 1、3不是偶数 令：p表示“3是偶数”，~p 2、教室里有30名男生和10名女生 令：p表示“教室里有30名男生”， q表示“教室里有10名女生” p∧q 3、如果天下雨，出门带伞 令p表示“天下雨”，q表示“出门带伞” p→q 4、只要不下雨，我就骑自行车上班 令p表示“天下雨”，q表示“骑自行车上班” ~p→q 5、只有不下雨，我才骑自行车上班 令p表示“天下雨”，q表示“骑自行车上班” q →~p 11 3.1 命题逻辑 例：怪物洞穴 如果房间[1,1]中有臭味，则房间[1,2]或[2,1]中有怪物 表示房间[i,j]中有臭味 表示房间[i,j]中有怪物 练习：如果房间[1,1]中没有臭味，则房间[1,2]和[2,1]中没有怪物 12 3.1 命题逻辑 练习：扫雷游戏 设Xi,j表示方格[i,j]中有一个地雷。 写出方格[1,1]周围恰好有2颗地雷的命题公式 1 2 3 4 5 … … 5 4 3 2 1 13 3.1 命题逻辑 命题公式的赋值 对命题公式中的所有的命题变量各赋给一个值0，1。 真值表 p q ~p p∧q p∨q p→q p↔q 0 0 0 1 1 0 1 1 14 3.1 命题逻辑 复合命题的真值 例： p: 周杰伦是一个流行歌手 q: 人工智能是计算机科学的一个分支 r: 牛在天上飞 求下列复合命题的真值 ~p∧q p∧~q ((~p∧q)∨(p∧~q)) → r (q∨r)→(p→~r) p→~r (~p∨r)(p∧~r) 我们关心的是复合命题中命题之间的真值关系，而不关心命题的内容。 15 3.1 命题逻辑 命题公式的分类 重言式或永真式 tauto