《逻辑基础》PPT课件.pptVIP

* 史忠植 逻辑基础 * 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中有规则 ， 且?∈?(S)，??1, …, ??m ? S ，那么?∈?(S) * 史忠植 逻辑基础 * 4.3 默认理论的扩充 定义：对命题集合E，如果?(E) = E，则E称为关于 D的算子?的不动点(fixpoint)。此时称E为默认理论 ?＝ D,W 的一个扩充(extension)。 例1：设D ＝ { }，W ＝ ?，计算默认 理论?＝ D,W 的扩充。 ?＝ D,W 有唯一的扩充E ＝ Th({?B, ?F})。 * 史忠植 逻辑基础 * 例2：设 D ＝ { }， W ＝ {B, C?F∨A, A∧C ? ?E}，计算默认理论 ?＝ D,W 的扩充。 ?＝ 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 * 史忠植 逻辑基础 * 限定逻辑 例如 设论域 D={1,2} T=?x?y(P(y)?Q(x,y)) =[(P(1) ?Q(1,1))?? (P(2) ?Q(1,2))] ? [(P(1) ?Q(2,1))?? (P(2)