<<AI入门(10)>>(C)

 我们来讲讲高级求解技术: 1.规则演绎系统: 我们用if-then规则来求解问题: IF if1 if2 if3 ... THEN then1 then2 then3 ... 如果then后面是新断言,那么称为规则演绎系统,如果then后面是用于规定动作我们称为反应式系统. 我们说说规则演绎系统,通常我们把规则演绎系统中每个if为前项,每个then为后项.从前项向后项推理 的过程叫做正向推理,反之叫做逆向推理.正向推理是从事实或状况向目标活动作进行操作. 我们通常把事实表示为非蕴含形式的与或形.例如:对于事实表达式: (倒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=&gt;C//D , B=&gt;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 我们推出了一个空子句,目标得到证明. 
  • 0
    点赞
  • 0
    评论
  • 0
    收藏
  • 一键三连
    一键三连
  • 扫一扫,分享海报

©️2020 CSDN 皮肤主题: 大白 设计师:CSDN官方博客 返回首页
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、C币套餐、付费专栏及课程。

余额充值