人工智能及应用_ch3_2.pptVIP

经典逻辑推理 自然演绎推理 归结演绎推理 自然演绎推理-定义 设S是一个命题（谓词）公式集，从S推出G的一个演绎是一个公式的有限序列：G1 ,G2 ,…, Gk=G其中Gj或者属于Ｓ或者是某些Gi (ij)的逻辑结论。我们称公式G为演绎的逻辑结果或称由S演绎出G。 例S={PVQ,Q→R,P→M,?M} 是一个公式集，如下的公式序列就是一个从S推出G的一个演绎。 ?M,P→M,?P, PVQ ,Q , Q→R ,R=G 自然演绎推理-逻辑结论 定义3-17 设S={F1,F2,…,Fm }是公式集，G是公式，称G是S的逻辑结论，如果F1ΛF2Λ…ΛFm 蕴含G。 结论：设S是公式集，G是一个公式，从S演绎出G的充要条件是G为S的逻辑结论。 结论：设S是公式集，G和H是两个公式。如果从SU{G}可演绎出H，则从S可演绎出G→H。 自然演绎推理-规则 通俗的解释演绎推理就是由一组已知事实出发，直接使用经典逻辑的推理规则推出结论的过程。 推理规则： 规则1：可以随便使用前提。 规则2：可以随便使用前面演绎出的某些公式的逻辑结果。 规则3：如需要演绎出公式G→H，则可将G作为附加前提使用，演绎出H。 自然演绎推理-示例 已知下列事实：A，B，A→C，BΛC→D，D→Q求证Q为真。 证：A，A→C?C 规则1，假言推理 B，C?BΛC 合取 BΛC，BΛC→D?D 规则2，假言推理 D， D→Q?Q 规则2，假言推理 Q为真。 自然演绎推理-示例 若厂方拒绝增加工资，则罢工不会停止，除非罢工超过一年且工厂经理辞职。问：如果厂方拒绝增加工资，而罢工刚刚开始，罢工能否停止？ 解：设 P：厂方拒绝增加工资。 Q：罢工停止。 R：工厂经理辞职。 S：罢工超过一年。 自然演绎推理-示例 ?S：罢工没有超过一年 ?SV?R：罢工没有超过一年或工厂经理没有辞职。 ?（SΛR） P：厂方拒绝增加工资 PΛ?（ SΛR ） PΛ?（ SΛR ）→?Q ?Q 自然演绎推理-示例 设已知如下事实： 只要是需要编程的课，王程都喜欢。 所有程序设计语言课都是需要编程的课 C是一门程序设计语言课。 求证：王程喜欢C这门课。 自然演绎推理-示例 解：定义谓词： Prog(x)---x是需要编程的课 Like(x,y)---x喜欢y Lang(x)---x是一门程序设计语言课 自然演绎推理-示例 应用规则推理： Lang( C )→Prog( C ) 全称固化 Lang( C ), Lang( C )→Prog( C )?Prog( C ) 假言推理 Prog( C ), Prog(C)→Like(Wang,C)?Like(Wang,C) 所以王程喜欢C语言这门课。 归结演绎推理 归结演绎推理基本思路 子句集 海伯伦理论 鲁宾逊归结原理 归结反演 归结演绎推理的基本思路 人工智能中的问题求解几乎都可以转化为定理证明问题。 定理证明的实质是从公式集S={P1,P2,…,Pn }出发推出结论G，即需要验证如下蕴含式永真。 （P1ΛP2Λ…ΛPn）→ G 归结演绎推理的基本思路 蕴含式永真不容易验证，将其转化为不可满足性，即将验证（P1ΛP2Λ…ΛPn）→ G永真转化为验证（P1ΛP2Λ…ΛPn）Λ? G不可满足。 下面我们证明： P→G??（PΛ?G） 蕴含式的定义： P→G是假的当且仅当P是真的而G是假的。 归结演绎推理的基本思路 归结演绎推理的基本思路 进一步要验证（P1ΛP2Λ…ΛPn）Λ? G不可满足只需要验证以上公式中的任意一个子式不可满足即可。 定义3-17 不包含任意文字的子句称为空子句。空子句是永假的、不可满足的，一般记为NIL或□。 子句集 定义3-18 由子句和空子句组成的集合称为子句集。 在谓词逻辑中，任何一个谓词公式都可以通过应用等价关系及推理规则化成相应的子句集。 化子句集的步骤 Step1:消去连接词“→”和“?”。反复使用如下等价式 P→Q??PVQ P?Q?（PΛQ）V（?PΛ?Q） 即可消去连接词“→”和“?” 例：(?x)((?y)P(x,y)→?(?y)(Q(x,y)→R(x,y))) 由第一个等价式有 ?(?y)(Q(x,y)→R(x,y))? ?(?y)(?Q(x,y)VR(x,y)) 化子句集的步骤 所以 (?x)((?y)(P(x,y)→?(?y)(Q(x,y)→R(x,y)))? (?x)(?(?y