<>(C)
2013年12月12日
⁄ 综合
⁄ 共 510字 ⁄ 字号
小 中 大
<![CDATA[我们来讲讲高级求解技术:</p>
<p>1.规则演绎系统:<br />
我们用if-then规则来求解问题:<br />
IF if1<br />
if2<br />
if3<br />
...<br />
THEN then1<br />
then2<br />
then3<br />
...<br />
如果then后面是新断言,那么称为规则演绎系统,如果then后面是用于规定动作我们称为反应式系统.</p>
<p>我们说说规则演绎系统,通常我们把规则演绎系统中每个if为前项,每个then为后项.从前项向后项推理<br />
的过程叫做正向推理,反之叫做逆向推理.正向推理是从事实或状况向目标活动作进行操作.</p>
<p>我们通常把事实表示为非蕴含形式的与或形.例如:对于事实表达式:<br />
(倒E u)(/-/ v){Q(v,u)//~[(R(v)//P(v)))//S(u,v)]}<br />
可化成:<br />
Q(v,A)//{[~R(v)//~P(v)]//~S(v,A)}</p>
<p>先举个简单的推理的例子:<br />
事实：A//B<br />
规则: A=>C//D , B=>E//G<br />
目标: C//G<br />
把规则化成子句形得:<br />
~A//C,~A//D<br />
~B//E,~B//G</p>
<p>目标的否定的子句形为: ~C,~G</p>
<p>我们用消解反演来证明目标公式:</p>
<p> ~A//C ~C ~G ~B//G<br />
/ / / /<br />
/ / / /<br />
A//B ~A ~B<br />
/ / /<br />
/ / /<br />
B /<br />
/ ----------------<br />
NIL<br />
我们推出了一个空子句,目标得到证明.</p>
<p>]]>