<<AI入门(6)>>(C)
2000-12-29 08:43
525 查看
置换和合一:
置换:
在谓词逻辑中一个重要的规则是假元推理,它是由合式公式W1和W1=>W2产生合式公式W2,另一个重要的规是则全称化推理:它是由合式公式(/-/x)W(x)产生合式公式W(A).
例一: 表达式P[x,f(y),B]的4个置换是:
s1={z/x,w/y}
s2={C/y}
s3={q(z)/x,A/y}
s4={c/x,A/y}
可以得到:
P[x,f(y),B]s1=P[z,f(w),B]
P[x,f(y),B]s2=P[x,f(C),B]
P[x,f(y),B]s3=P[q(z),f(A),B]
P[x,f(y),B]s4=P[c,f(A),B]
置换是可以结合的: 用s1 s2表示两个置换,L表示一表达式,则有:
(Ls1)s2=L(s1s2)和(s1s2)s3=s1(s2s3)
一般来说置换是不可以交换的,即s1s2不等于s2s1
合一:
寻找项对变量的置换,以使两表达式一致,叫做合一,合一是人工智能中重要的过程.
如果置换s作用于{E}的每个元素,用{E}s来表示置换例的集
我们来看个例子:
表达式集{P[x,f(y),B],P[x,f(B),B]}的合一者为s={A/x,B/y}
对于上面的例子,尽管s是表达式集的一个合一者,但不是最简单的合一者,最简单的合一者是:
g={B/y}
下回和大家讲讲另一种知识表示方法:语义网络法.
置换:
在谓词逻辑中一个重要的规则是假元推理,它是由合式公式W1和W1=>W2产生合式公式W2,另一个重要的规是则全称化推理:它是由合式公式(/-/x)W(x)产生合式公式W(A).
例一: 表达式P[x,f(y),B]的4个置换是:
s1={z/x,w/y}
s2={C/y}
s3={q(z)/x,A/y}
s4={c/x,A/y}
可以得到:
P[x,f(y),B]s1=P[z,f(w),B]
P[x,f(y),B]s2=P[x,f(C),B]
P[x,f(y),B]s3=P[q(z),f(A),B]
P[x,f(y),B]s4=P[c,f(A),B]
置换是可以结合的: 用s1 s2表示两个置换,L表示一表达式,则有:
(Ls1)s2=L(s1s2)和(s1s2)s3=s1(s2s3)
一般来说置换是不可以交换的,即s1s2不等于s2s1
合一:
寻找项对变量的置换,以使两表达式一致,叫做合一,合一是人工智能中重要的过程.
如果置换s作用于{E}的每个元素,用{E}s来表示置换例的集
我们来看个例子:
表达式集{P[x,f(y),B],P[x,f(B),B]}的合一者为s={A/x,B/y}
对于上面的例子,尽管s是表达式集的一个合一者,但不是最简单的合一者,最简单的合一者是:
g={B/y}
下回和大家讲讲另一种知识表示方法:语义网络法.
相关文章推荐
- <<AI入门(1)>>(C)
- <<AI入门(2)>>(C)
- <<AI入门(4)>>(C)
- <<AI入门(3)>>(C)
- <<AI入门(5)>>(C)
- <<AI入门(9)>>(C)
- <<AI入门(10)>>(C)
- <<BASM 初学者入门>> 第 1 课 A
- 入门计划->学用stl std::map<std::string, int>
- <<node.js探秘>>(01).入门
- <<BASM 初学者入门>> 第 1 课 C
- 网页制作简单入门——用<div>设计简单模块
- <<BASM 初学者入门>> 第 2 课
- <<Android.游戏开发入门](美)Mario.Zechner>>读书笔记-----OpenGL ES概览
- <<BASM 初学者入门>> 第 3 课
- <Node.js入门>教程中代码的修改
- <<BASM 初学者入门>> 第 4 课
- Cocos2d入门 <一>建立一个新工程
- <<BASM 初学者入门>> 第 5 课
- C语言指针教程----入门到精通<一>