ITPub博客

首页 > 应用开发 > IT综合 > <>(C) (转)

<>(C) (转)

原创 IT综合 作者:worldblog 时间:2007-12-03 12:32:44 0 删除 编辑
<>(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博客 ” ,链接:http://blog.itpub.net/10752043/viewspace-987670/,如需转载,请注明出处,否则将追究法律责任。

上一篇: <>(C) (转)
下一篇: <>(C) (转)
请登录后发表评论 登录
全部评论
  • 博文量
    6241
  • 访问量
    2449787