演讲题目：

1. 论NExtK4中的濒表格逻辑（杜珊珊，武汉大学哲学系）

2. 分布式知识的形式化分析（郭美云，西南大学逻辑与智能研究中心）

时间：10月28日（星期二），下午1:30 - 5:30

地点：哲学系会议室

承办：逻辑、语言与认知研究中心


内容简介：

　　论NExtK4中的濒表格逻辑：本论文试图解决的中心问题是NExtK4中濒表格逻辑的判据问题．所谓“濒表格性的判据”总不外是这样一个语义论断：逻辑L是濒表格的iff存在一如此这般的无穷框架?使得L＝Log?．这个存在命题丝毫不意味着不存在非如此这般的无穷框架使得L＝Log．可见，濒表格性判据本身预设了要在刻画同一个逻辑的——往往被称作“等价的”—许许多多框架中作取舍．我们把这种取舍过程叫做“规范化”． 规范化的手段是各种框架变换，其根本目的不是只求刻画框架在几何性状上的优雅，而是要追求刻画框架在结构性状上的稳定．为此我们引入点式归约的概念和点式归约下不变性概念．这两个概念使得我们能够指出这个规范化过程在一个什么样的合理标准下结束。换句话说，在点式归约下的不变性从一个最重要的侧面反映了濒表格性的本质．对点式归约进行的初步研究发现，我们可以对不含无穷深点的传递框架上的点式归约做一个穷尽的分类．同时，对有穷传递框架来说，?是既约的iff ?在点式归约下不变．其后，我们分别针对有穷深度的与无穷深度的濒表格逻辑制订判据．在解决有穷深度濒表格逻辑的判据问题的时候，我们引进了“AltN-颠覆子”和“强的AltN-颠覆子”的概念，从无穷框架入手，得到有穷深度濒表格逻辑的范形及其所满足的抽象性质，从而得到判据．值得指出的是，我们用在点式归约下不变作为鉴别濒表格逻辑的刻画框架的范形的重要标准．在解决无穷深度濒表格逻辑的判据问题时，我们则是从濒表格逻辑的有穷有根刻画框架类入手，从中抽取一条满足若干条件的有穷有根框架链，最后通过链并的方式得到无穷深度濒表格逻辑的范形．同样地，在点式归约下不变是一个重要的判定标准．在得到濒表格逻辑的这些判据之后，我们把得到的判据应用到NExtQ4并且证明和NExtK4类似，这个格也存在着濒表格逻辑的连续统．另外我们也初步研究了NExtQ4中一些濒表格逻辑的公理化问题．最后，作为一个插论，我们把某些零散结果收入最后一章．这些结果与传递逻辑中的一个新方向密切相关，主要指向无穷深度的濒表格逻辑与框架逻辑、子框架逻辑、共尾子框架逻辑之间的关系。
　　分布式知识的形式化分析：在多主体认知逻辑中，群体知识对于主体间的互动有重要作用。分布式知识就是群体知识中的一种。分布式知识的直观含义（称为“联合知识”）与通常接受的语义解释（称为“群体隐含知识” ）并不是一致的。符合完全交流原则的群体隐含知识和联合知识是一致的。形式化分析表明这两种知识只有在一些特殊的模型类中才是一样的。有穷可分辨模型、紧密饱和模型、饱和可分辨模型都符合完全交流原则。只有完全交流模型才真正完全地刻画了完全交流原则。群体隐含知识和联合知识不一致的根本原因涉及到可能世界的本体论地位问题。