离散数学及其应用第4章-谓词演算与推理(下).pptVIP

谓词推理实例选讲 * 【例题】每个喜欢步行的人都不喜欢坐汽车；每个人或者喜欢坐汽车或者喜欢骑自行车；有的人不喜欢骑自行车。因而有的人不喜欢步行。 【解】设：个体域D＝{人}； P(x)： x喜欢坐汽车； Q(x)： x喜欢骑自行车； R(x)： x喜欢步行。 谓词推理实例选讲 * 谓词推理实例选讲 * 谓词推理实例选讲 * 【例题】证明下述论断的正确性： 所有的哺乳动物都是脊椎动物；并非所有的哺乳动物都是胎生动物；故有些脊椎动物不是胎生的。 谓词推理实例选讲 * 谓词推理实例选讲 * 谓词推理实例选讲 * 【例题】证明下列论断的正确性： 有些学生相信所有的教师；任何一个学生都不相信骗子；所以，教师都不是骗子。 谓词推理实例选讲 * 谓词推理实例选讲 * * 计算机应用技术研究所 * 本节内容到此结束 * 谓词逻辑的应用 5 谓词逻辑的推理 4 本章学习内容(下) * 计算机应用技术研究所 * 谓词逻辑的应用 谓词逻辑的应用 摘香蕉问题 水容器问题 摘香蕉问题 * 假设某房间里有一只猴子（不妨设想其为机器人），位于c点；另有一只箱子，位于a点；而在b点的顶棚上吊着一把香蕉，如图所示。猴子自然希望能得到这把香蕉，但它因身材矮小够不到，当然，如果它站在箱子上便可如愿。但猴子的智慧尚不能像人那样，对将箱子推到香蕉下，踩在箱子上就可摘到香蕉的解决方案一目了然。试为猴子规划一个能摘到香蕉的行动计划。 摘香蕉问题 * 摘香蕉问题 * 可用谓词逻辑进行问题表示和求解。首先定义以下几个谓词：AT（x，y），表示“x在y处”；On_Box表示“猴子在箱子上面”；Hold_B表示“猴子已经摘到香蕉”。并规定x的个体域为｛猴子、箱子、香蕉｝，y的个体域为｛a、b、c｝。则该问题可表示为： 计算机应用技术研究所 计算机应用技术研究所 * * 计算机应用技术研究所 * * 离散数学 Discrete Mathematics 汪荣贵 教授 合肥工业大学计算机与信息学院 * 计算机应用技术研究所 * 第4章 谓词演算与推理（下） * 谓词逻辑的应用 5 谓词逻辑的推理 4 本章学习内容(下) * 计算机应用技术研究所 * 谓词逻辑的推理 谓词逻辑的推理 谓词公式推演系统 谓词推证的基本方法 谓词推理实例选讲 谓词公式推演系统 * 谓词公式推演系统 * 谓词逻辑中主要有全称特指、存在特指、全称推广和存在推广这四条基本的量词处理规则，其中全称特指和存在特指消除量词的规则，全称推广和存在推广则是添加量词的规则。 谓词公式推演系统 * 谓词公式推演系统 * 谓词公式推演系统 * 谓词公式推演系统 * 谓词公式推演系统 * 谓词公式推演系统 * 谓词公式推演系统 * 谓词逻辑的推理 谓词公式推演系统 谓词推证的基本方法 谓词推理实例选讲 谓词推证的基本方法 * 命题逻辑是谓词逻辑的一种特例。将命题推理的T规则、P规则和CP规则，以及命题推理的基本策略例如直接证明法和间接证明法等，直接应用于谓词逻辑的推理； 谓词逻辑与命题逻辑之间最大的区别在于谓词逻辑引进了个体域、个体词、量词，以及由此而产生的约束变量和自由变量。在考虑和处理谓词推理问题时，还需要根据谓词逻辑的特点采用适当的方法。 谓词推证的基本方法 * 在谓词逻辑演算和推理过程中，假定所有的谓词公式具有相同的个体域，一般默认为全总个体域。 基本思路是：首先根据US和ES规则消除谓词公式中的量词，把谓词公式的推理问题转化为命题公式的推理问题，再根据具体需要使用UG和EG规则。 推演过程中，引用命题演算中的P规则和T规则，若结论是以蕴涵形式或析取形式给出，还可使用CP规则。 谓词推证的基本方法 * 【例题】证明苏格拉底三段论：“所有的人都是要死的；苏格拉底是人。所以苏格拉底是要死的。 谓词推证的基本方法 * 谓词推证的基本方法 * 谓词推证的基本方法 * 谓词推证的基本方法 * 谓词推证的基本方法 * 谓词推证的基本方法 * 谓词推证的基本方法 * 正确合理地使用推理规则： 既需要消除存在量词又需要消除全称量词时，先消除存在量词，后消除全称量词，被消除或新添加的量词必须位于谓词公式的最左边。 需要推证的结论为蕴含式的时候，考虑使用附加前提证明法。 当证明给出的前提条件较少且多为蕴含式或析取式时，可以考虑使用反证法，将结论的否定作为附加前提引入，以增加可用的前提。 谓词逻辑的推理 谓词公式推演系统 谓词推证的基本方法 谓词推理实例选讲 谓词推理实例选讲 * 【例题】每个喜欢步行的人都不喜欢坐汽车；每个人或者喜欢坐汽车