第02-1章 人工智能逻辑.ppt

第二章 人工智能逻辑 * 史忠植 逻辑基础 * 4.2 默认理论 一个默认理论?由两个部分组成，即默认规则 集D和公式集W，一般用二元组来表示 ?＝ D,W 若D中的规则是闭规则时，则?为闭默认理论。 定义：设?＝ D,W 为一闭默认理论，?为关于D的一个算子，?作用于任意的命题集合S，而其值为满足下列三个性质的最小命题集合?(S)： (1) W ? ?(S) (2) Th(?(S)) = ?(S)，其中Th(?(S)) = {A|?(S) ? A} (3) 如果D中有规则 ?: M?1, …, M?n， ? 且?∈?(S)，??1, …, ??m ? S ，那么?∈?(S) * 史忠植 逻辑基础 * 4.3 默认理论的扩充 定义：对命题集合E，如果?(E) = E，则E称为关于 D的算子?的不动点(fixpoint)。此时称E为默认理论 ?＝ D,W 的一个扩充(extension)。 ?＝ D,W 有唯一的扩充E ＝ Th({?B, ?F})。 例1：设D ＝ { }，W ＝ ?，计算默认 理论?＝ D,W 的扩充。 ?F :C ?C :B ?B :A , , * 史忠植 逻辑基础 * 例2：设 D ＝ { }， W ＝ {B, C?F∨A, A∧C ? ?E}，计算默认理论 ?＝ D,W 的扩充。 G C∧E : ?A, F∨A E E A F∧ C C B A A , : , : , : ?＝ D,W 有三个扩充 E1 ＝ Th(W?{A, C}) E2 ＝ Th(W?{A, E}) E3 ＝ Th(W?{C, E, G}) * 史忠植 逻辑基础 * 5.限定推理 1980年，McCarthy提出了一种非单调的推理——限定推理(Circumscription)。 基本思想：从某些事实A出发能够推出具有某一性质的P的对象就是满足性质P的全部对象。只有当发现其它对象也具有该性质时，才修改这种看法。 * 史忠植 逻辑基础 * 限定逻辑 限定逻辑CIRC是一种极小化逻辑。下面，从一个基于极小模型定义的命题限定出发，给出限定的基本定义, 进而给出一阶限定的基本结果，并将它推广。 定义2.1 设L0是一个命题语言，p1,p2是在命题语言L0 中的两个赋值。称p1小于p2，记为p1 ? p2,，当且仅当对任一命题变元x,，如果p1(x) = l, 则p2(x) = l。 * 史忠植 逻辑基础 * 限定逻辑 定义2.2 设A 是一个公式，称A的一个赋值p是极小的，当且仅当不存在A的其它赋值p使得 p ? p。 显然, ?是一个偏序关系。p1 ? p2表示p1包含的真命题比p2 少。极小赋值包含的真命题极小。 定义2.3 极小后承??M。设A, B是两个公式，A ??M B 当且仅当B在所有A 的极小模型中都为真。 极小模型是非单调的，它以命题的极小化作为优先模型的准则。 * 史忠植 逻辑基础 * 限定逻辑 定义2.4 设A是一个包含命题集 P = {p1,p2,... , pn} 的公式，一个A的赋值p称为? Z-极小赋值，当且仅当不存在A的其它赋值p’使得p ? p’, 定义如下：设p1, p2 是两个赋值， p1 ? Z- p2 当且仅当对任一z ? Z, 若p1 (Z) = l, 则 p2 (Z)= l。 * 史忠植 逻辑基础 * 限定逻辑 定义2.5 命题限定??P 或 CIRC(A,P)。设A是一个包含命题集的公式， ? 是一个公式，A ??P ? 当且仅当? 在所有A的? p- 极小赋值中都为真。 定理2.1 A ??p? 当且仅当A ??P ? * 史忠植 逻辑基础 * 限定逻辑 定义2.6 令L是一个一阶语言，T是一个L的公式，它包含谓词元组集?。设M[T]和 M*[T]是公式T的两个模型。定义M*[T]优先于M[T], 记为M*[T] ? M[T]，当且仅当 (1) M和M*有相同的对象域， (2) 除?外，公式T中所有的其它关系和函数常数在M和M*都有相同的解释， (3) ?在M*中的外延是?在M中的子集。 * 史忠植 逻辑基础 * 限定逻辑 一个理论T的模型M称为优先的，当且仅当不存在T的其它模型M使得M ? ?M。 定义 2.7 Mm是?的最小模型，当且仅当 M ?? Mm , M = Mm * 史忠