ITPub博客

首页 > 应用开发 > IT综合 > <>(C) (转)

<>(C) (转)

原创 IT综合 作者:worldblog 时间:2007-12-03 12:31:25 0 删除 编辑
<>(C) (转)[@more@]置换和合一: 置换: 在谓词逻辑中一个重要的规则是假元推理,它是由合式公式W1和W1=>W2产生合式公式W2,另一个重要的规是则全称化推理:它是由合式公式(-/x)W(x)产生合式公式W(A). 例一: <a href="tag-263-1.html">表达式</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) 一般来说置换是不可以<a href="tag-333-1.html">交换</a>的,即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} 下回和大家讲讲另一种知识表示方法:语义<a href="tag-166-1.html">网络</a>法.

来自 “ ITPUB博客 ” ,链接:http://blog.itpub.net/10752043/viewspace-987666/,如需转载,请注明出处,否则将追究法律责任。

上一篇: <>(C) (转)
下一篇: <>(C) (转)
请登录后发表评论 登录
全部评论
  • 博文量
    6241
  • 访问量
    2410702