<>(C) (转)[@more@]我们来讲讲高级求解技术:
1.规则演绎<a href="tag-165-1.html">系统</a>:
我们用if-then规则来求解问题:
IF if1
if2
if3
...
THEN then1
then2
then3
...
如果then后面是新断言,那么称为规则演绎系统,如果then后面是用于规定动作我们称为反应式系统.
我们说说规则演绎系统,通常我们把规则演绎系统中每个if为前项,每个then为后项.从前项向后项推理
的过程叫做正向推理,反之叫做逆向推理.正向推理是从事实或状况向目标活动作进行操作.
我们通常把事实表示为非蕴含形式的与或形.例如:对于事实<a href="tag-263-1.html">表达式</a>:
(倒E u)(-/ v){Q(v,u)/~[(R(v)/P(v)))/S(u,v)]}
可化成:
Q(v,A)/{[~R(v)/~P(v)]/~S(v,A)}
先举个简单的推理的例子:
事实：A/B
规则: A=>C/D , B=>E/G
目标: C/G
把规则化成子句形得:
~A/C,~A/D
~B/E,~B/G
目标的否定的子句形为: ~C,~G
我们用消解反演来证明目标公式:
~A/C ~C ~G ~B/G
/ /
/ /
A/B ~A ~B
/ /
/ /
B /
----------------
NIL
我们推出了一个空子句,目标得到证明.
来自 “ ITPUB博客 ” ，链接：https://blog.itpub.net/10790690/viewspace-951644/ ，如需转载，请注明出处，否则将追究法律责任。
请登录后发表评论
登录
全部评论
