软件工程

本类阅读TOP10

·PHP4 + MYSQL + APACHE 在 WIN 系统下的安装、配置
·Linux 入门常用命令(1)
·Linux 入门常用命令(2)
·使用 DCPROMO/FORCEREMOVAL 命令强制将 Active Directory 域控制器降级
·DirectShow学习(八): CBaseRender类及相应Pin类的源代码分析
·基于ICE方式SIP信令穿透Symmetric NAT技术研究
·Windows 2003网络负载均衡的实现
·一网打尽Win十四种系统故障解决方法
·数百种 Windows 软件的免费替代品列表
·收藏---行百里半九十

分类导航
VC语言Delphi
VB语言ASP
PerlJava
Script数据库
其他语言游戏开发
文件格式网站制作
软件工程.NET开发
<<AI入门(10)>>(C)

作者:未知 来源:月光软件站 加入时间:2005-2-28 月光软件站

我们来讲讲高级求解技术: 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=>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 我们推出了一个空子句,目标得到证明.


相关文章

相关软件