<<AI入门(10)>>(C)
2000-12-29 08:45
716 查看
我们来讲讲高级求解技术:
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
我们推出了一个空子句,目标得到证明.
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
我们推出了一个空子句,目标得到证明.
相关文章推荐
- <<AI入门(1)>>(C)
- <<AI入门(2)>>(C)
- <<AI入门(4)>>(C)
- <<AI入门(3)>>(C)
- <<AI入门(6)>>(C)
- <<AI入门(5)>>(C)
- <<AI入门(9)>>(C)
- < Unity 3D专栏 >游戏中 - 怪物AI基础篇
- <<Oracle Applications DBA 基础(第二期)>>Week 10 exercise
- <Flash入门>对AS语言的一些理解
- <转>Android2.2 r1 API 中文文档系列(10) —— CheckBox
- <<BASM 初学者入门>> 第 1 课 A
- <Lua程序设计(第二版)>书摘-10
- <PY><core python programming笔记>C2 快速入门
- <<BASM 初学者入门>> 第 1 课 C
- C语言指针教程----入门到精通<一>
- <<BASM 初学者入门>> 第 2 课
- 网页制作简单入门——用<div>设计简单模块
- <<BASM 初学者入门>> 第 3 课
- <div+css页面布局课堂笔记>10---页面布局网站首页设计实例__2