人工智能推理技术.pptxVIP

第7章、基本的推理技术; 人工智能是用计算机来模拟人的智能，就是用能在计算机上实现的技术和方法来模拟人的思维规律和过程。 1) 在确定知识表达方法后，就可以把知识表示出来并存储到计算机中。 2) 然后, 利用知识进行推理以求得问题的解. 利用知识进行推理是知识利用的基础。各种人工智能应用领域如专家系统、智能机器人、模式识别、自然语言理解等都是利用知识进行广义问题求解的智能系统. ;7.1 推理技术概述 --1. 推理的概念与类型 ;1. 演绎推理、归纳推理、默认推理;2、确定性推理、不确定性推理 ;3、单调推理、非单调推理;4、启发式推理、非启发式推理 ; -- 推理的控制策略 ;3、冲突解决策略 ;7．2 基于规则的演绎推理;7．2．1 正向演绎推理;例如 ：有如下的表达式 ;在与或图中，节点表示事实表达式及其子表达式。根节点表示整个表达式，叶节点表示其中的单文字. 规定: 对于一个表示析取表达式（E1?E2???En）的节点，用一个n连接符（含半圆的弧）与连接它的n个子表达式节点相连。对于一个表示合取表达式（E1?E2???En）的节点，用n个1连接符与连接它的n个子表达式节点相连。 重要性质:就是由变换表达式得到的一组子句，可以从与或图中读出，每个子句相当于与或图的一个解图，每个子句是由叶节点组合成的公式。上例的3个子句是：Q（z，A）； ?S（A，y）??R（y）； ?S（A，y）??P（y） 这三个子句正是原表达式化成的子句集。因此，与或树可以看成是一组子句的一个简洁的表达式。;2、F规则的表示形式;如果所给知识的表示形式不是所要求的形式，则可用如下步骤将其变换成标准形式： （1）暂时消去蕴含符号“?”。例如公式 （?x）{[（?y）（?z）P（x，y，z）] ?（?u）Q（x，u）} 消去蕴含符号“?”变为： （?x）{?[（?y）（?z）P（x，y，z）] ?（?u）Q（x，u）} （2）把否定号“?”移到每个谓词的前面,可变为 （?x）{（?y）（?z）[?P（x，y，z）] ?（?u）Q（x，u）} （3）引入skolem函数消去存在量词。消去存在量词后，为 （?x）{（?y） [?P（x，y，f（x，y））] ?（?u）Q（x，u）} （4）将公式化为前束式，并略去全称量词,可变为 ?P（x，y，f（x，y）） ? Q（x，u） （5）恢复为蕴含式。利用等价关系 ?P?Q 与 P?Q 将上式变为 P（x，y，f（x，y）） ? Q（x，u） ;3、目标公式的表示形式 要求目标公式用文字的析取式(子句)表示，否则就要化为子句形式。 4、推理过程 应用F规则作用于表示事实的与或图，改变与或图的结构，从而产生新事实，直至推出了目标公式。过程为： 首先用与或图把已知事实表示出来。 用F规则的左部和与或图的叶节点进行匹配，并将匹配成功的F规则结论加入到与或图中，即利用F规则转换与或图。 重复第（2）步，直到产生一个含有以目标节点作为终止节点的解图为止，当一个目标文字和与或图中的一个文字匹配时，可以将表示该目标文字的节点(目标节点)通过匹配连接到与或图中相应的文字节点上。当演绎产生的与或图包括一个目标节点上结束的解图时，推理便成功结束。 ;1)、命题逻辑的情况;;例：事实表达式： A?B； 规则集合：A?C?D，B?E?G； 目标公式：C ? G 应用完这两条规则后，得到的与或图如图所示，其中有一个解图满足目标公式（C ? G）所建立的结束条件。;2)、谓词逻辑的情况;下面举例说明应用一条规则L?W对与或图进行变换的过程。设与或图中有一个端节点的文字L’和L可合一，mgu是u，则这条规则可应用，这时用匹配弧连接的后裔节点是L，它是规则后项Wu对应的与或图表示的根节点，在匹配弧上标记有u，表示用u置换后可与规则匹配。 例、事实与或形表示 P（x，y）?（Q（x，A）?R（B，y）） 规则蕴涵式 P（A，B）?(S(A) ?X(B)) 下图是应用规则变换后得到的与或图，它有两个解图，对应的两个子句是 S(A) ?X(B) ? Q（A，A）；S(A) ?X(B) ? R（B，B）它们正是事实和规则公式组成的子句集对文字P进行归结时得到的归结式。 ;;当一个与或图含有多个的匹配弧(应用了多条规则时)，任一解图可能含多个匹配弧（对应的置换是u1,u2,…un），故在列写解图的子句集合时，只考虑具有一致的匹配弧置换的那些解图（一致解图）。一个一致解图表示的子句是对得到的文字析取式应用一个合一复合的置换之后所得到的子句。 设有一个置换集U={u1,u2,…,un},其中 u i ={t i 1/v i 1,