人工智能第六章2010.docx

7/2l>2013 7/2l>2013 第六章归结原y 6.1子句集的Herbrand域 一、Herbrand域与 Herbrand解释 ?定义(Ikrbnmd域)设S为子句集，令％是出现于 子句集S的常址符号集。如果§中无常蜃符号出现. 则H。由一个常量符号“组成。 对于1=4 2……令 H产｛所有形如f(tP I」的项｝ 其中f(tr ....和是出现在S中的所有I】元函数符号. 与wHjj, J—1 > ??? I u? 称斗为3的i级常就集?虬称为S的Herbrand域， 简称S的11城° 7/21/2013 ?例 S= {P(f(x)> a? g(y)? b)} Ho ={a, b} Hj ={a. b, f(a), f(b), g(a), g(b)J H2=(a, b, f(a), f(b), g(a), g(b), f(f(a)), f(f(b)), f(g(a)k f(g(b)), g<f(a))5 g(f(b)X g(g(a)X g(g(b))} 练习：求S的Hcrbrand域 S={P(x)vQ(y), R(z)} S = {Q(a) v—P(f(x)), ~Q(b) v P(g(x,y)) } 7/2b2013 原子集基例 ?基？把对象中的变童用常董代替后得到的无变童符号出现的对象. 基项.基项集、基原子.基原子集合.基文字、基子句. 基子句集 黜潺疊基称为S的Herhrand底?定义(療子集、Herbrimcl底)设S是子句集，形 其中P(“…,%)是出现于S的所有n 黜潺疊基 称为S的Herhrand底 句.用S的H域中元素代替C中所有变量所得到的 基子句称为子句C的基例。 7/21-2013 ?已知S= {P(f(x), a, g(y), b>},求S的原子集，给 出P(f(x), a, g(y), b)的一个基例. ?已知S=<P(x>vQ(y), RW}r求S的原子集，分别给 出P(x}vQ(y), R(z)的所有基例。 ?已知S= {Q(a)v^P(Rx))t -Q(b)v 求5的 原子集?分别给出Q(n)\/~P(f(x)), Q(b)v P(g(x,y)) 的一个基例. ?设S={P(x>, Q(f(y)>vR(y)}.求S的H域，S的原子集， 的基例.Q(f(y)) v R<y)的基例。 7/21*2013 H解释 宦义(子句集的H解秤)设S長子句集? H是§的“域? I申是S在H上 的一个解释.称H为S的一个H解释，如果〃满足如下条件？ 戶映射5中的所有常屋符号到自身. 若f是S中n元函数符号，h h■是H中元素,则I。指定映射; (h]9 ???■ hj —(h]?? ? ? > hj 设A=(/\r Ar An,…}是S的原子集.于是5的一个II解释I 可方便如表示为如下一个集合， | * ? ?? f ■ ? ??} 其中. ||1| = 被f指定为T i = l2 … 7721/2013 10 10 7/21/2013 10 10 7/21/2013 7/21/2013 7/21/2013 H解释的例f 例 S=(P(x)vQ(x), R(f(y))} S的H域 =(a.f(a), f(f(a)). ... J S的乐子集： A=(P(aX Q(a), R(a). P(f(a)). Q(f(a)), R(f(a)),... J S的H解释: ={ P(a), Q(a), R(a), P(f(a)), Q(f(a)), R(f(a))....) 12* =| ~P(a)? ~Q(G? R(a). P(f(a)).?Q(f(a))?—R(f(a)>, ...) 7/21/2013 练习 S={P(x)vQ(x),?P(a), ~Q(b) }, 求S的所有H解释。 二、Herbrand解释与普通解释的关系 ?子句集S的H解释是S的普通解释。 ? S的普通解释不一定是S的H解释：普通解释不 是必须定义在H域上，即使定义在H域上，也 不一定是一个H解释. ?任取普通解释I,依照I,可以按如下方法构造 S的一个H解释巴 使得若S在I下为真则S在 『下也为真。 例. S= (P(x), Q(y,f(y4i))} 令S的一个解释I如下： !)={!, 2} a flL 1)f(h2)f(2? 1) f(2? 2) 2 1 2 2 1 P(l) P⑵ 0(1,1) 0(1,2) 0(2」)Q(2,2) T F F T F T 对应于啲H解释叫 I*= {~P(E),Q(ii,a), P(f(a, a?, ~Q(a, f(a, a)), Q(f(at a), a),?Q(f(a, ah f(a, a)),...} 7 7；2b2013 7 7；2b2013 7/21*2013 7/21*