社会群体中的偏好逻辑.pdfVIP

逻辑学研究 2011 年第2 期，68–80 文章编号：1674-3202(2011)-02-0068-13 社会群体中的偏好逻辑 梁 真 西南大学逻辑与智能研究中心 soul21@163.com 何向东 西南大学逻辑与智能研究中心 hexd@ 摘 要：在许多多主体偏好逻辑系统中，主体之间是没有联系的，因而无法描述主体 间的偏好互动。借鉴“TheLogicintheCommunity”一文中称为“群体压力”的例子对 偏好的影响，本文在“TheLogicintheCommunity”所提出的系统构架上，加入偏好算 子和两个动态算子，通过构造归约公理说明这些算子可以被无偿添加，并借助这些规 约公理证明了系统的完全性。 关键词：混合逻辑；偏好逻辑；社交圈；偏好升级；群体建议；完全性 中图分类号：B81 文献标识码：A 一、介绍 “社会群体”（Community）由每个个体组成，这些个体由社会关系相联系。 在社会群体里面，每个人互相探究彼此的信念、知识和偏好。然而，知识、信念、 偏好甚至是社会关系总是在不停地变化，所以，我们跟踪这些变化的能力是我们 适应社会的能力的一个重要体现。下面我们将由两例寻常事例引出本文的讨论： 例1 （同伴的压力（[12]））假设我留着非常夸张的八字须，我十分喜欢它， 但是我的所有朋友都认为这胡子太傻了，甚至他们因为这都羞于与我为伍。在其 他因素保持不变的情况下，我喜欢有这样的胡子远超过没有这样的胡子，但是我 的朋友们都偏好相反的方向。一个人对某物的偏好不单单与另一个人的偏好不 同，而是与整个群体的都不同（这里是偏好的问题，而不是信念）。那么，我该 怎么做呢？我是否应该改变自己的偏好呢？ 例2 （“佳能”还是“尼康”？）假设我想要买一个数码相机。这方面我是个 外行。同样的价格和性能，相比“尼康”我更喜欢“佳能”。我的所有朋友都觉得 收稿日期：2010-03-01 梁 真，何向东 社会群体中的偏好逻辑 69 “尼康”相比“佳能”并不差，但是有朋友认为“尼康”更好。这时的情况与上 个例子可能有所不同：我似乎为自己的偏好找到了一些“支持”（至少朋友们没 有都认为尼康一定比佳能更好，或许有些人会认为二者一样好呢。）那么，这时 我的偏好是否会改变呢？ 我们把标准认知偏好算子([11])加入“LogicintheCommunity”([12])，从而 给出上述例子的一些处理方法。第二节中，我们介绍了多主体的静态认知偏好逻 辑 , 给出了其语法和语义，在涉及到混合逻辑语言的内容上给出详细解释。 第三节是本文的重点。我们在 基础上通过添加两个偏好升级算子，得到了 多主体的动态认知偏好逻辑 。通过给出这两个偏好升级算子的语法和语义， 说明它们各自给模型带来的变化，揭示所产生的不同结果。这种升级模式与以往 文献中所定义的升级模式都不同，它十分强势，但它却能保持框架的性质。当然， 触发这种升级模式所需要的条件是很苛刻的（偏好升级是需要触发的），所以我 们定义了两种群体建议，它们分别触发两个偏好升级算子，而这种触发在系统中 是可以用逻辑语言表达的。我们也分析了这种触发机制的合理性，并给出了第一 节中两个问题的解决结果。在第三节的最后，我们给出了 的公理系统及新 添加算子的规约公理，并证明了这些规约公理，从而通过把 规约为相应的 静态语言完成了其完全性的证明。在最后一，节我们分析了该系统的不足，并讨 论下一步研究的方向。 二、社会群体中的静态偏好逻辑 “Thelogicincommunity”([12]) 是基于带有“downarrow”的混合逻辑语言。 我们在其中加入两个偏好算子 φ 和 φ 以及全局模态算子 。下面给出这些 算子的语法和语义解释： 定义 1 令Prop 是一个命题变元集合，N 是一个“名字”的集合，N N N ，N