第4章-谓词演算与推理(下).pptVIP

* 谓词推理实例选讲 * 谓词推理实例选讲 * 谓词推理实例选讲 * 【例题】证明下述论断的正确性： 所有的哺乳动物都是脊椎动物；并非所有的哺乳动物都是胎生动物；故有些脊椎动物不是胎生的。 谓词推理实例选讲 * 谓词推理实例选讲 * 谓词推理实例选讲 * 【例题】证明下列论断的正确性： 有些学生相信所有的教师；任何一个学生都不相信骗子；所以，教师都不是骗子。 谓词推理实例选讲 * 谓词推理实例选讲 * * 计算机应用技术研究所 * 本节内容到此结束 * 谓词逻辑的应用 5 谓词逻辑的推理 4 本章学习内容(下) * 计算机应用技术研究所 * 谓词逻辑的应用 谓词逻辑的应用 摘香蕉问题 水容器问题 摘香蕉问题 * 假设某房间里有一只猴子（不妨设想其为机器人），位于c点；另有一只箱子，位于a点；而在b点的顶棚上吊着一把香蕉，如图所示。猴子自然希望能得到这把香蕉，但它因身材矮小够不到，当然，如果它站在箱子上便可如愿。但猴子的智慧尚不能像人那样，对将箱子推到香蕉下，踩在箱子上就可摘到香蕉的解决方案一目了然。试为猴子规划一个能摘到香蕉的行动计划。 摘香蕉问题 * 摘香蕉问题 * 可用谓词逻辑进行问题表示和求解。首先定义以下几个谓词：AT（x，y），表示“x在y处”；On_Box表示“猴子在箱子上面”；Hold_B表示“猴子已经摘到香蕉”。并规定x的个体域为｛