《人工智能》第三章知识演绎.pptVIP

主讲：夏幼明《人工智能》示范课程

2①规章演绎系统②谓词演绎的归结方法③归结反对搜寻策略④Hone子句的归结“学问演绎”核心内容

3规章演绎系统在基于规章系统中，每个if可能与某断言(assertion)集中的一个或多个断言匹配；then局部用于规定放入工作内存的新断言。这种系统叫做基于规章的演绎系统(rulebaseddeductionsystem)。在这种系统中，通常称规章的if局部为前项(antecedent)，称规章的then局部为后项(consequent)。

4规章演绎系统基于规章的求解系统由if-then形式的规章建立的。例如：if(antecedent)then(consequent)基于规章的系统称为规章演绎系统，假设后件用于规定动作，则称为产生式系统。规章演绎系统可以分为如下的3种：规章正向演绎系统、规章逆向演绎系统、规章双向演绎系统。前件后件

5规章演绎系统(1)规章正向演绎系统从if局部向then局部推理的过程称为正向推理，即从事实或状态向目标或行动进展操作。 规章正向演绎系统的步骤：事实表达命题式的与或形变换利用(W1→W2)和(?W1∨W2)的等价关系，消去符号→(假设存在该符号的话)。实际上，在事实中间很少有符号→消失，由于可把蕴涵式表示为规章。用狄·摩根(DeMorgan)定律把否认符号移进括号内，直到每个否认符号的辖域最多只含有一个谓词为止。

6规章演绎系统(1)规章正向演绎系统从if局部向then局部推理的过程称为正向推理，即从事实或状态向目标或行动进展操作。 规章正向演绎系统的步骤：?x?yP(x,y)事实表达命题式的与或形变换?xP(x,f(x))?y?xP(x,y)?xP(x,a)~?xP(x)?x~P(x)对所得到的表达式进展Skolem化和前束化。对全称量词辖域内的变量进展改名和变量标准化，而存在量词量化变量用Skolem函数代替。删去全称量词，而任何余下的变量都被认为具有全称量化作用。

7规章演绎系统(1)规章正向演绎系统从if局部向then局部推理的过程称为正向推理，即从事实或状态向目标或行动进展操作。 规章正向演绎系统的步骤：例1：我们有事实表达式(?u)(?v){Q(v，u)∧?[(R(v)∨P(v))∧S(u，v)]}把它化为：Q(v,A)∧{[?R(v)∧?P(v)]∨?S(A,v)}对变量更名标准化，使得同一变量不消失在事实表达式的不同主要合取式中。更名后得表达式：Q(w,A)∧{[?R(v)∧?P(v)]∨?S(A,v)}必需留意到Q(v，A)中的变量v可用新变量w代替，而合取式[?R(v)∧?P(v)]中的变量v却不行更名，由于后者也消失在析取式?S(A,v)中。

8规章演绎系统(1)规章正向演绎系统从if局部向then局部推理的过程称为正向推理，即从事实或状态向目标或行动进展操作。 规章正向演绎系统的步骤：例2：我们有事实表达式(?v)(?u){Q(v，u)∧?[(R(v)∨P(v))∧S(u，v)]}留意，这时变量u成为了变量v的函数f(v)，利用Skolem函数把这个表达式化为：Q(v,f(v))∧{[?R(v)∧?P(v)]∨?S(f(v),v)}

9规章演绎系统(1)规章正向演绎系统 规章正向演绎系统的步骤：事实表达命题式的与或形变换?R(V)?P(V)?R(V)∧?P(V)?S(A,V)[?R(V)∧?P(V)]∨?S(A,V)Q(W,A)Q(W,A)∧{[?R(V)∧?P(V)]∨?S(A,V)}每个节点表示该事实表达式的一个子表达式。某个事实表达式(E1∧…∧En)的每个合取子表达式E1，…，En是用后继节点表示的，并由一个k线连接符把它们连接到父辈节点上。某个事实表达式(E1∨…∨Ek)的析取关系子表达式E1，…，Ek是由单一的后继节点表示的，并由一个单线连接符接到父辈结点。

10规章演绎系统(1)规章正向演绎系统 与或图的正向推理：限制规章的公式类型为：L?W 其中：L为单文字；W为与或形的唯一公式。例如：考虑规章S?(x∧y)∨z应用到右面的事实表达式中。TS(T∨U)[S∧(T∨U)][(P∨Q)∧R]∨[S∧(T∨U)](P∨Q)RPQU[(P∨Q)∧R]表示某个事实表达式的与或图的叶节点均由表达式中的文字来标记。图中标记有整个事实表达式的节点，称为根节点，它在图中没有祖先。XYSX∧YZ当目标公式按正向规章应用到事实表达式与或图，产生的与或图包含有终止在目标节点的一个解图时，证明目