用户名:
    密码:
转播到腾讯微博

你的位置:首页 > 逻辑学

郭美云:分布式知识的研究进展
录入: 哲学网编辑部 发表时间: 2013-08-27 点击: 2934 次 我要收藏

分布式知识是经典认知逻辑群体知识中的一个重要概念。群体知识主要有普遍知识(general knowledge,universal knowledge)、公共知识(common knowledge)和分布式知识(distributed knowledge,group implicit knowledge)三种知识。群体知识在认知逻辑的研究中占有很重要的地位,因为多主体之间的信息交流和互动都是建立在群体知识的基础之上的。
普遍知识因为可以用群体中的个体知识定义,所以对于群体知识的研究主要集中在公共知识和分布式知识上。20世纪90年代,哈尔彭(J.Y.Halpern)、摩西(Y.Moses)、瓦迪(M.Vardi)等人对公共知识进行了深入的研究。相比较而言,对于分布式知识的研究则显得相对薄弱。
研究分布式知识对于多主体之间的事实发现和信息共享都有十分重要的意义。分布式知识最早有隐含知识、联合知识、集体知识和分布式等多种直观含义。霍克(W.vander Hoek)、迈耶(Meyer,1995)发现原先提出的分布式知识这一直观概念在一些情况下既不是这个群体的隐含知识又不是分布式地存在于这个群体当中。本文主要从隐含知识和联合知识是否一致这一问题出发,以霍克、迈耶、格布兰迪(J.Gerbrandy,1999)和罗洛夫森(F.Roelofsen,2006)等对分布式知识的研究为基础,对目前分布式知识研究的最新进展做一个梳理。
一 分布式知识的直观背景
分布式知识在迄今为止的英文文献中还没有一个统一的叫法,implicit knowledge、distributed knowledge、collective knowledge、group knowledge和group implicit knowledge都曾经用来称呼过它。相比较而言,distributed knowledge使用得又较为广泛,本文采用这个称呼。
分布式知识最早是哈耶克(Hayek,1945)曾经用非形式化的方式讨论过。后来希尔平南(Hilpinen,1969,1974,1977)在道义逻辑中曾使用过它,从而开始了对分布式知识的形式化讨论和研究。亨伯斯通(Humberstone,1985)给出了分布式知识的真值定义,当时他将其命名为collective knowledge。哈尔彭在计算机科学分布式系统的研究中重新发现了这一概念,他将其称做implicit knowledge。但是后来因为implicit knowledge和相对应的显性知识(explicit knowledge)在认知逻辑中有了其他意思,所以哈尔彭、摩西接受帕克尔(Jan Pachl)的建议又将其称做distributed knowledge。至此,分布式知识获得了广泛的重视,吸引了更多的学者对它进行研究。后来霍克,迈耶[1995],罗洛夫森[2005]又有了group knowledge、group implicit knowledge的用法。
为什么一个概念会出现那么多名称呢?一方面是因为对这个概念的认识和明晰需要一个过程,另一方面则是因为我们形式化研究中发现它和原来的直观存在出入,使得原来的一些概念存在交叉。下面我们将考察分布式知识到底是一个什么样的概念。
考虑这样一个情形:有主体a和b,a知道p,b知道p蕴涵q,至此a和b都不知道q,但是q确实存在于a和b合起来的信息的逻辑后承当中,就是说,如果a和b愿意共享她们信息的话,她们就能知道q。如果说“p”,和“p蕴涵q”分别是a和b的显性知识的话,那么可以说q是群体a和b的隐含知识;如果把a和b看做一个集体的话,也可以说q是a、b的集体知识;单独a或者b都无法知道q,但是倘若a和b联合起来共享她们信息的话,她们就能知道q,在这个意义上说,q是主体a、b的联合知识(joint knowledge);如果把a和b看做一个系统的话,那么q这个知识是以分布(distributed)的形式存在于这个多主体系统当中的。
我们可以说,分布式知识的直观含义是:把这个群体中所有认知主体的知识汇总在一起,经推理得到。例如:有主体1,2和3,1知道A,2知道B,3知道A和B蕴涵C,那么C就是群体{1,2,3}的分布式知识。
就是说如果有一个主体在知道了这个群体中所有其他主体的知识之后所拥有的知识就是这个群体的隐含知识。我们可以想象独立于a、b之外的第三个主体c,如果a和b都毫无保留地把自己的所有知识发送给c,那么c的所有知识就是群体{a,b}的分布式知识。
值得注意的是,虽然我们这里试图通过一个动作来更清晰地把握分布式知识这一概念,但是分布式知识本身还是个静态的概念,因为这个虚拟的发送动作并没有对a和b的知识产生任何更新。①
为讨论方便,下面我们主要区分出分布式知识的两种含义:群体隐含知识和联合知识。本文将群体隐含知识和联合知识统称为分布式知识。
二 隐含知识和联合知识
在进行形式化分析之前我们往往会先给出一个形式语言。

有了一个语言之后,我们就能做出一些关于模型的断定,为了判定这些带有新的逻辑算子的断定在什么情况下为真,在什么情况下为假,我们需要给出一个关于这些新算子的语义解释。语义解释把语言和模型联系了起来,它可以说是语言和模型之间的一个桥梁。形式地看,它是语言和模型之间的一个关系,我们通常称之为满足关系。
从语义解释可以看出,个体知识和模态逻辑中的必然算子是一样的。因为当命题

文章的脚注信息由WordPress的wp-posturl插件自动生成


分享到:

标签 :
版权声明:版权归 哲学网:哲学学术门户网站,Philosophy,哲学家,哲学名言大全 所有,转载请注明出处!

转载请保留链接: http://www.zhexue.org/f/logic/5788.html

已有 0 条评论 腾讯微博
我的哲学
哲学 未经授权禁止复制或建立镜像,采用Wordpress架构,采用知识共享署名进行许可
邮箱:admin#zhexue.org (#换成@)优畅优化|阿里云强力驱动
ICP证号:重新备案中
网站加载0.996秒
知识共享许可协议