常识推理基础逻辑系统M的完全性.PDFVIP

M 常识推理基础逻辑系统 的完全性 周北海 1 毛翊2 （1．中山大学逻辑与认知研究所，广东，广州，510275 ；北京大学哲学系，北京，100871；2 ．美国德州 大学哲学系，美国，奥斯丁，78712 ） 提要 本文对通常的典范模型方法加以改造，在典范结构的基础上，建立了相对于任意给定有穷公式集 的 -典范框架和 -典范模型，以此证明了M的框架类完全性。-典范模型方法是有穷方法，由此还得到了M的 可判定性。 关键词 常识推理的基础逻辑，集选语义，典范框架，典范模型。 中图分类号：B813 文献标识码：A [1] 我们在 “一个关于常识推理的基础逻辑” 一文中给出了形式语言 L 、L 的形式语义集 选语义以及形式系统M 。本文是系统M 完全性的证明。 形式语言 L 、集选语义及系统M 简述如下，详细情况请参见[1]。 形式语言 L 有可数无穷多个变元符号，常项符号 ，联结词 和 。L -公式定义如 常。其中所有原子公式的集合记作P ( L ) 。所有 L -公式的集合记作F ( L ) 。语法符号 p , q, r 等 表示任意的原子公式，a , b, g , d , j, y 等表示任意的公式。, 等表示任意的公式集。被定 义符号有 ， ， ， ， 。括号的省略按如下顺序： ， ， ， ， ， 。 T 集选语义由集选框架、模型以及真和有效性定义等组成。 一个集选框架是一个二元组 〈W, È 〉，其中W 是非空集，È 是集选函数，即 È ：P(W) × P(W) P(W) ，满足：对W 的任意子集X, Y, Z, （1）如果XX, ，则 È (X, Y) È (X, Y) ； （2 ）如果对X 中任意的w 都有 È ( {w}, Y)Z, 则 È (X, Y)Z； （3 ）如果 È (X, Y) Z, 则 È (W, XY)Z 。 一个集选模型是一个三元组 〈W, È , s 〉，其中 〈W, È 〉是一个集选框架，s 是一个从原子 公式集到W 的幂集的映射，即 s : P ( L ) P (W) 。 以下将集选框架简称为框架。集选模型类似。 M 设M ＝〈W, È, s 〉，是任一模型，j 是任一公式，|| j || 是满足如下条件的集合： （1）|| ||M ＝ （2 ）|| p ||M ＝s (p ) （3 ）|| a b ||M ＝(W－|| a ||M ) || b ||M （4 ）|| a b ||M ＝ {X W : È (X, ||a ||M ) || b ||M } 1 设M 是任一模型，X 是WM 的任一非空子集，a 是任一公式。a 在X 上为真，记作 M |= a ，当且仅当，X || a ||M 。a 是有效的，记作 |=a ，当且仅当，对任意的模型M，M |= X WM a ，又记作M |= a 。 形式系统M 公理模式 PL 所有重言式。 CK (a (b g )) ((a b ) (a g )) CMP (a (a b )) b 初始规则 MP 从 a 和 a b 可得 b （分离） RCEA 从 b g 可得 (b a ) (g a ) （前件等