<<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=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我们推出了一个空子句,目标得到证明.

• ·Delphi的嵌入式asm一例: Byte快速
• ·解决了几乎所有Delphi+Access同仁的
• ·COM初学者必看,否则你会后悔的，嘿嘿~~..
• ·用VB编写抽奖程序
• ·.NET 初 级 读 本
• ·<<AI入门(9)>>
• ·<<AI入门(6)>>
• ·<<AI入门(5)>>
• ·<<AI入门(4)>>
• ·<<AI入门(3)>>