人工智能及应用_ch3_2.pptVIP

海伯伦域的示例 求S={P(a),Q(x)VR(f(x))}的H域。 解：子句集中只有一个个体常量a，按定义3-19有 H0={a} H1={a}∪{f(a)}={a,f(a)} H2={a,f(a)} ∪{f(f(a))}={a,f(a),f(f(a))} … … … H∞={a,f(a),f(f(a)),… … …} 海伯伦理论 基子句：如果用H域的元素代替子句中的变元，则所得到的子句称为基子句。基子句中的谓词称为基原子。子句中所有基原子构成的集合称为原子集。 例如： 基子句：Q(a)VR(a), Q(f(a))VR(f(a)) 基原子：Q(a)，R(a), Q(f(a))，R(f(a)) 原子集：{Q(a)，R(a), Q(f(a))，R(f(a)),…} H解释 定义3-20 子句集S在H域上的解释IH 满足如下条件： 在解释IH 下，常量映射到自身； S中的任意n元函数是Hn →H的映射。其中Hn 是一个由属于H的n个元素构成的集合。即函数的自变量x1,x2,…,xn∈H ，并且有函数值f(x1,x2,…,xn)∈H S中的任意n元谓词是Hn →{T，F}的映射。 H解释的示例 求子句集S={P(x)VQ(x),R(f(x))}在H域上的解释。 子句集S的H域和原子集分别为：