一种描述主体信息变化的交流图及其逻辑初探.docxVIP

? ? 一种描述主体信息变化的交流图及其逻辑初探 ? ? 　　 B815.3 A 1000-7326(2016)12-0030-06 　　 本文旨在考察展示一种刻画主体的信息状态如何改变的表示方式，即聚焦于对主体间信息交流后的动态变化的描述。这种关于知识和信念的形式化模型中的动态转变的研究近来备受学者关注。相关工作以帕奎特(Eric Pacuit)和派瑞克(Rohit Parikh)的研究为典型，他们在文章《交流图的逻辑》中研究了一种包含交流算子的多主体认知逻辑，其中主要观点是：主体在一开始时拥有各自的私有信息，他们会通过与其他主体的交流获取一些信息后，对自己的原始信息进行提炼加工。根据这样的思路，不妨假设多个主体被一个交流图连接起来，在交流图中，从主体i到j的一个边(edge)的含义是：i能直接从j处获取信息。i通过获取j拥有的信息(可能还包括j从其他主体k处获取的信息)后，会对其原始信息进行提炼、更新。为了深入理解交流图的逻辑及其应用，首先有必要关注交流图的核心内容及其发展背景。 　　 一、从拓扑逻辑到交流图 　　 在文章《拓扑逻辑推理和关于知识的逻辑》(Topological Reasoning and the Logic of Knowledge)[1]中，摩斯(Moss)和派瑞克(Parikh)介绍了一种关于知识和努力的双模态逻辑—拓扑逻辑(Topologic)，这种被称作拓扑逻辑的新逻辑也可以被看作包含努力算子的认知逻辑，它可以使关于状态和集合的推理形式化。认知算子和努力算子分别用符号K和◇表示，的含义是：知道命题；◇的含义是：经过一些努力后为真。例如，公式→◇就表示：如果是真的，那么经过一些努力，是真的。换言之，如果是真的，那么经过一些努力主体就能知道。这里所谓“努力”的具体含义要视情况而定，它可以被解释为进行测量、运用计算等等，交流图中则把“努力”视作对其他主体的资料库中信息的咨询、获取等行为的综合。 　　 某些数学结构，例如子空间、拓扑等都可运用语义框架对知识的获取进行详明解释。给出一个集合W，一个子空间是一个二元组〈W，〉，是W的子集作为元素组成的集合。一个状态x∈W是世界的一个完整描述，里面成立的原子信息用来表述基础事实(ground facts)，而一个集U∈称作一个观察。二元组(x，U)称为相邻情境(neighborhood situation)，可看作是一个真实情境加上基于该情境的观察。拓扑逻辑的公式就是在相邻情境中得到解释的。认知算子K表示在当前观察中的进展，努力算子◇表示对当前观察的提炼。子空间的通俗含义可概述为：W是世界中所有基础事实的集合，即它构成一个完整的可能世界集，其中的元素x是每个基础事实，其中每个子集U是一个观察，即某人某时刻所掌握的事实集。 　　 一个子空间模型或拓扑模型是一个三元组〈W，，〉：其中，〈W，〉是一个子空间，V是一个赋值函数(从原子命题变元到W的子集的函数)。下面给出原子命题和包含模态算子的命题公式的真值定义(布尔公式的定义与常规做法相同，这里省略)： 　　 　　 文章《拓扑逻辑推理和关于知识的逻辑》中，展示了多主体拓扑逻辑，其中，努力算子◇被解释为主体间的交流。要使交流发生，我们必须保证参与主体能理解某种共同语言，因此，假设这个能被所有主体都理解的原子命题集为At，但只有特定主体在一开始时知道At中某部分元素的真值，这里用p，q…表示At中的元素。不过，每个主体在初始时都拥有一些私有信息，这些信息可以通过交流和其他参与主体分享，也可以通过从其他主体处获取一些信息对其原始信息进行提炼。因此，如果限制了主体与其他交流主体的联系，该主体能从其他主体处获取的知识也将被限制。 　　 　　 令是主体集，一个交流图是一个有向图，其中，E×。相应地，(i，j)∈E表达的含义就是：主体i可以直接从主体j处获取信息，而并不一定意味着主体j能发现这一过程。[2]可见，交流图中i和j之间的向边关系是单向的，主体i可以获取j掌握的全部信息。这里把向边关系限制为单边的，一方面是为了简化语义，另一方面在于这种单向边关系是日常生活中最常见的，一个常例就是关于上网的交流图：假设主体j创建了一个网站，里面提供了他当前状态的全部知识，如果主体i和j之间存在一个向边关系，则i就能进入该网页获取j的知识而并不一定被j发觉。还有一个重要应用是关于间谍的行动：比如，间谍i经常会在另一个间谍j没有察觉的状态下获取j的当前信息，当然j也会进入其他间谍k的“网站”来更新他自己的信息。可以看到，当i进入j的“网站”时，他获取的j的信息中部分可能是k的原始信息。 　　 上述例子都假定了主体i能获取j的所有信息，这是一个重要的理想化预设。要使这一理想化情境成为现实至少需要满足以下两个必要条件：首先，所有主体使用