群体动态认知偏好逻辑.pdfVIP

两南人学硕十学伊论文 摘要 群体动态认知偏好逻辑 逻辑学专业硕士研究生 梁真 指导教师 何向东教授 ‘ l ， 摘 要 、 一直以来，对知识、信念和偏好的研究基本上没有关注我们是如何被社会关系所影响的 这个问题。QQ空间或者Facebook的“社区”也许是最简单的社会结构。它的背后只有一个 称为“朋友”的对称的关系。然而，即便是这样一个简单的结构，我们仍然可以得到一个与 之相关的有趣的模型。我们把一个“社会群体”定义为一个在朋友关系下封闭的主体集，然 后就得到了一个这样的世界集：它由许多重合的“社交圈”组成。我们可以在其中谈论主体 的知识和偏好。我们还可以加入宣告算子和建议算子，从而谈论主体知识和偏好的动态改变， 甚至社交圈本身也是可以谈论和改变的。 基于这样的想法，本文在JeremySeligman【2】中建立的逻辑之上提出了一个群体的动态认 知偏好逻辑c彩印，它不同于一般意义上的多主体系统，或者说它不仅仅是一般意义上的多主 体系统，冈为“群体”概念本身就说明了主体之间是互相联系的。 Preference 第一章提出了两个问题，通过分析Basic PreferenceLogic的 Logic和Dynamic 语言和语义，呈现了理解CDZp所必备的基本知识，也说明了它们为什么不足以处理我们提出 的问题。 第二章中，我们介绍了多主体的静态认知偏好逻辑C．5Zp，给出了其语言和语义，在涉及 到混合逻辑语言的内容上给出详细解释。 第三章是本文的重点和精彩之处。我们在CSZp基础上通过添加两个偏好升级算子得到了 CDZp。我们给出了这两个偏好升级算子的语言和语义，说明了它们各自给模型带来的变化， 从而揭示了所产生的不同结果。偏好升级是需要触发的，所以我们定义了两种群体建议，它 们分别触发两个偏好升级算子，而这种触发在系统中是可以用逻辑语言表达的。我们也分析 了这种触发机制的合理性，并给出了第一章中两个问题的解决结果。在第三章的最后，我们 给出了ODZp的公理系统及新添加算子的规约公理，并证明了这些规约公理，从而通过把CDZp 规约为相应的静态语言完成了其完全性的证明。 第四章是一个讨论章节，我们指出了c移印的广阔应用前景，但也分析了该系统的若干不 足，并且针对这些不足讨论了将来的一些T作。 关键词：混合逻辑 偏好逻辑社交圈偏好升级群体建议完全性 两南人学硕十学伊论文 Abstract 曼, IImm Preferenceinthe Logic Community Master Zhen