人工智能chapter6章节.pptVIP

* 前述例子 ?为 (?x Ostrich(x) ? Bird(x)) ? (Bird(Tweety) ? (Bird(Sam)) 标准型为(T ? ?x Ostrich(x) ? x=Tweety) ? Bird(x)) ? (T ? ?x Ostrich(x) ? x=Sam ? Bird(x)) D1 ≡Sam=Tweety ? ?Ostrich(Sam) ? Ostrich(Tweety) = ?Ostrich(Sam) ? Ostrich(Tweety) D2≡Tweety = Sam? ?Ostrich(Tweety) ? Ostrich(Sam) = ?Ostrich(Tweety) ? Ostrich(Sam) CIRC[Δ;Bird] ≡( ? (?Ostrich(Sam) ? Ostrich(Tweety))) ? ( ? (?Ostrich(Tweety) ? Ostrich(Sam))) 限制比前面 猜想更加强烈 * 限制不能退化的情形 某些情况下，限制不能退化为一阶谓词公式，如 以及自然数的定义： 既不满足单一公式的条件，也不满足可分离公式的条件，因此无法退化为一阶谓词公式。 最小模型的存在性 某些信任集不存在最小模型，如?为 大于K的所有整数是满足?的模型； 大于K+1的所有整数是满足?的模型； …… ?没有最小模型。 对?的限制是不一致的。 限制的一致性定理 定理6.7 如果信任集?是一致的和全称的，则?对P的限制也是一致的。 信任集?是全称的：或者?是子句集，或者?中的每一个公式的合取范式都不包含Skolem函数。 定理6.8 如果信任集?是一致的，并且对P是可分离的，则?对P的限制也是一致的。 定理6.9 如果信任集?是一致的，并且对P是近似全称的，则?对P的限制也是一致的。 信任集?对P是近似全称的：指形如?x ?的谓词公式， ?中量词的辖域内不出现P的正文字。 §6.4 More General Forms of Circumscription 平行限制 相对于谓词集合的单一公式和可分离公式的限制 允许谓词变化的平行限制 * 平行限制 对谓词集合P={P1,…,PN }进行限制，则 其中P*是谓词变量元组， P*?P表示 当P中所有谓词在?中都以正原子出现时，平行限制可根据定理6.10计算。 定理6.10 如果P1,…,PN在?中都以正原子出现，则CIRC[?；P]为： 例子 ?x P1(x) ? P2(x) 对谓词集合P={P1, P2 }的限制 Circ[Δ;P1,P2]≡ ?x P1(x) ? ?P2(x) 相对于谓词集合的单一公式和可分离公式的限制 相对于谓词集合的单一公式形如： 其中P是谓词集合，N[P]中不出现P的正原子，E中不出现P。 可用定理6.5和6.6的扩展来计算限制公式。 对有序子句的定义进行扩展，可以得到有序公式： 其中每个Ei中不出现{Pi,…,Pn}中的任意一个，也不出现{P1,…,Pi-1}中的任意一个的负文字。 有序公式集的限制 有序公式集的限制定理：定理6.11 如果?对谓词集合P ={P1,…,PN }是有序的，并且可以写成如下形式： 则?对P的平行限制为： 相对于P有序的子句集的谓词完备化是上述定理的特例。 允许谓词变化的平行限制 为了将谓词集P限制到最小，有时允许其它一些谓词的外延发生变化。 哪些谓词可以变化取决于限制的目的，不同的目的会产生不同的限制策略。 通常的情况是我们想知道对谓词集P的限制会对另一个谓词集Z产生什么样的影响。 允许谓词变化的平行限制公式 在允许谓词集Z变化时， ?关于谓词集P的限制可以写为： 其中，P*、Z*是谓词集合，分别与P和Z有相同的变元；?(P*,Z*)是将?(P,Z)中的P和Z分别替换成P*和Z*所得的谓词公式。 平行限制公式的解释 最初的限制相当于是 对于P在通常意义下的平行限制。问题的难点在于如何处理其中的二阶量词。 不过当?对于Z是单一的、可分离的或者是有序的时，上述问题可以处理。 例如，当?对于Z单一时，?可以写成 其中N[E]是N[Z*]用E替换Z*的结果 定理6.12 推论6.2 * 例1 ?为： ?相对于Ab的常规限制： 当允许Flies变化时，?相对于Ab的限制： * 例2 在如右的信任集?上进行平行限制，允许