人工智能第三章(3)

《人工智能第三章(3)》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、2013-10-24规则演绎系统规则演绎系统
消解反演方法的特点是简单，，，易于程序实现，易于程序实现。。。
基于规则的演绎推理是一种直接的推理方法，，，它，它它它
其不足是效率低，，，不直观，不直观，，，人难于理解其，人难于理解其“““证明“证明”””不像消解反演把知识转化为子句集，，，而是把有关，而是把有关过程。。。其原因是是是消解反演方法将所有的谓词公式问题的知识和信息划分为规则和和和事实两种类型。。。均化简为子句，，，致使很多隐含在原来的谓词公式，致使很多隐含在原来的谓词公式中的、、、对推理有利的信息得不到充分的利用、对推理有利的信息得不到充分的利

2、用。。。
规则由由由包含蕴含形式的表达式表示，，，事实由由由无蕴
比如蕴涵关系PPP⇒QQQ，Q，，，除了其逻辑含义外除了其逻辑含义外，，，还隐含，还隐含含形式的表达式表示，，，并画出相应的与或图，并画出相应的与或图，，，然，然然然了了了"了"""由由由由PPPP推出推出Q"Q"Q"这样的信息Q"这样的信息。。。如果有效的利用这些。如果有效的利用这些后通过规则进行演绎推理。。。信息，，，会使得推理进行的更加合理，会使得推理进行的更加合理、、、自然、自然。。。基于规则的演绎系统将类似于PPP⇒QQQ这样的蕴涵关系作Q这样的蕴涵关系作
规则演绎系统可以分为规则

3、正向演绎推理、、、规则为规则使用，，，直接用于推理，直接用于推理。。。这类系统主要强调逆向演绎系统和和和规则双向演绎系统。。。使用规则进行演绎，，，故称为，故称为规则演绎系统。。。112113规则演绎系统规则正向演绎系统
1.1.1.定义1.定义
规则正向演绎系统是从事实到目标进行操作的，，，即从，即从基于规则的问题求解系统运用下述规则来建立：：：状况条件到动作进行推理的，，，也就是从，也就是从ififif到if到到到thenthenthen的方then的方
If→Then向进行推理的。。。其中，，，If，IfIfIf部分可能由几个部分可能由几个ififi

4、f组成if组成，，，而，而而而ThenThenThen部分可能由Then部分可能由
2.2.2.正向推理过程2.正向推理过程一个或一个以上的thenthen组成then组成。。。
（（（1（111））））事实表达式的与或形变换事实表达式的与或形变换在这种系统中，，，通常称每个，通常称每个ififif部分为if部分为前项(antecedent)(antecedent)，(antecedent)，，，称每个thenthen部分为then部分为后项(consequent)(consequent)。(consequent)。。。
把事实表示为非蕴涵形式的与或形，，

5、，作为系统的总数，作为系统的总数据库。。。具体变换步骤与前述化为子句形类似。具体变换步骤与前述化为子句形类似。。。
注意：：：我们不把这些事实化为子句形：我们不把这些事实化为子句形，，，而是把它们表，而是把它们表示为谓词演算公式，，，并把这些公式变换为，并把这些公式变换为非蕴涵形式的与或形。。。114115把事实表达式变换为与或形
与或形表达式是由符号∧和∨连接的一些文字的子表达式组成的。呈与或形的表达式并不是子句形，
事实表达式与子句集比起来，与或形更多的保留了公式的原始
(∃u)(∀v){Q(v，u)∧～[(R(v)∨P(v))∧S(u，v)]}形式。

6、
把它化为
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)中。11611712013-10-24(2)事实表达式的与或图表示(2)事实表达式的与或图表示公式的与或图表示有个有趣的性质，即由变换该公式得到的子句集可作为此与或图的解图的集合(终止于叶节k线连接符点

7、)读出；也就是说，所得到的每个子句是作为解图的各个叶节点上文字的析取。单线连接符我们一般把事实表这样，由表达式达式的与或图表示Q(w,A)∧{[～R(v)∧～P(v)]∨～S(A,v)}倒过来画，即把根得到的子句为节点画在最下面，而把其后继节点往Q(w,A),～S(A,v)∨～R(v),～S(A,v)∨～P(v)上画。118119规则正向演绎系统(3)与或图的FFF规则变换F
฀(3)与或图的FFF规则变换F
公式(∀x){[(∃y)(∀z)P(x,y,z)]=>(∀u)Q(x,u}可以通过下列步骤加以变换：
这些规则是建立在某个问题辖域中普通陈述性知识的

8、
(1)暂时消去蕴涵符号蕴涵公式基础上的。我们把允许用作规则的公式