推理技术-谓词逻辑

《推理技术-谓词逻辑》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、第四章推理技术4.1一阶谓词逻辑推理4.2归结演绎推理推理技术概述推理是人类求解问题的主要思维方法，即按照某种策略从已有事实和知识推出结论的过程。按思维方式可分演绎推理、归纳推理、类比推理等。逻辑推理：按逻辑规则进行的推理。分为：经典逻辑推理:主要指命题逻辑和一阶谓词逻辑推理，也称精确推理或确定性推理；非经典逻辑推理：主要指除经典逻辑之外，按多值逻辑、模糊逻辑、概率逻辑等的推理，也称为非精确推理或非确定性推理。逻辑推理举例经典推理：苏格拉底之死如何判别谎言？ABC三人都喜欢说谎话，偶尔也说真话。某天，A指责B说谎话

2、，B指责C说谎话，C说AB两人都在说谎话。问谁在说谎？有几条疯狗？村里有50户人家，每家都养了一条狗。现发现村子里面出现了n只疯狗，村里规定，谁要是发现了自己的狗是疯狗，就要将自己的狗枪毙。但问题是，村子里面的人只能看出别人家的狗是不是疯狗，而不能看出自己的狗是不是疯的，如果看出别人家的狗是疯狗，也不能告诉别人。于是大家开始观察，第一天晚上，没有枪声，第二天晚上，没有枪声，第三天晚上，枪声响起（具体几枪不清楚），问村子里有几只疯狗？只有晚上才能看出病狗，并且一天晚上只能看一次。爱因斯坦的世界难题（1）爱因斯坦在20

3、世纪初出一个谜语。他说世界上有98％的人答不出来。1、在一条街上，有5座房子，喷了5种颜色；2、每个房里住着不同国籍的人；3、每个人喝不同的饮料，抽不同品牌的香烟，养不同的宠物。问题是：谁养鱼？爱因斯坦的世界难题（2）条件是：1、英国人住红色房子；2、瑞典人养狗；3、丹麦人喝茶；4、绿色房子在白色房子左面；5、绿色房子主人喝咖啡；6、抽PallMall香烟的人养鸟；7、黄色房子主人抽Dunhill香烟；8、住在中间房子的人喝牛奶；9、挪威人住第一间房；10、抽Blends香烟的人住在养猫的人隔壁11、养马的人住抽D

4、unhill香烟的人隔壁；12、抽BlueMaster的人喝啤；13、德国人抽Prince香烟；14、挪威人住蓝色房子隔壁；15、抽Blends香烟的人有一个喝水的邻居。逻辑学与计算机科学逻辑学：研究思维规律的科学计算机科学：模拟人脑行为和功能（思维）的科学思维：大脑、逻辑、语言、计算机逻辑是知识表示和推理的重要形式和工具8逻辑的历史Aristotle——逻辑学Leibnitz——数理逻辑：逻辑+数学GottlobFrege(1848-1925)——一阶谓词演算系统逻辑是探索、阐述和确立有效推理原则的学科，最早由古

5、希腊学者亚里士多德创建的。用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑。也叫做符号逻辑。20世纪30年代，数理逻辑广泛发展，成为数学和计算机科学基础。逻辑系统一个逻辑系统是定义语言和它的含义的方法。逻辑系统中的一个逻辑理论是该逻辑的语言的一个语句集合，它包括：逻辑符号集合：在所有该逻辑的逻辑理论中均出现的符号；非逻辑符号集合：不同的逻辑理论中出现的不同的符号；语句规则：定义什么样的符号串是有意义的；证明：什么样的符号串是一个合理的证明；语义规则：定义符号串的语义。逻辑程序语言逻辑符号保留字或者符号非

6、逻辑符号用户自定义的符号(变量名，函数名等)语句规则构造一个程序的语句规则语义规则定义程序做什么的语句规则推理规则、公理和证明没有逻辑与程序语言的对比1.3命题逻辑命题：可以确定其真假的陈述句。Bolle提出了布尔代数。语言:原子Q、否定¬、吸取V、合取、蕴含、等价<->公式：AV¬B，(AB,A)=>?公司招聘工作人员，有M,N,Q三人应聘，经面试后，公司表示如下想法：（1）三人中至少录取一人;（2）如果录取M,则一定录取N；（3）如果录取N,则一定录取Q。结果如何？1.4谓词逻辑(一阶逻辑)谓词逻辑是一种形

7、式语言，具有严密的理论体系，也是一种常用的知识表示方法。语言:¬，，，，(，)；常元，变元，函词，谓词；公式City（北京）City（上海）Age（张三，23）(x)(y)(z)(F(x,y)F(y,z)GF(x,z)）谓词逻辑中的形式演绎推理将自然语言中的陈述语句利用谓词公式表示利用逻辑等价式将谓词公式进行变换利用逻辑蕴含式推出结论符号化过程公式变形推理过程表4.1常用逻辑等价式表4.2常用逻辑蕴含式设有前提：(1)凡是大学生都学过计算机；(2)小王是大学生。试问：小王学过计算机吗？解令S(x)：

8、x是大学生;M(x)：x学过计算机;a：小王。则上面的两个命题可用谓词公式表示为(1)x(S(x)→M(x))(2)S(a)例下面我们进行形式推理：(1)x(S(x)→M(x))［前提］(2)S(a)→M(a)［(1),US］(3)S(a)［前提］(4)M(a)［(2),(3),I3］得结果：M(a)，即“小王学过计算机”。这种推理过程完全是一种符号变换过