论文部分内容阅读
近10年以来，从社会网络的角度来研究多主体之间的信息传递现象已经成为现代逻辑的一个热门领域。这种研究旨在为群体成员之间相互传递信息这一现象提供一套形式化分析方法。之所以可以从社会网络的角度来研究信息流动现象，是因为主体在社会网络中的不同位置决定了他们在多主体的交互影响中会获得不同的机会与受到不同的限制。基于社会网络来研究信息流动对于准确研究主体认知状态的变化机理具有重要意义，同时对于正确预测和有效干预主体行为具有重要意义。本文重点关注了这样一类信息流动现象：群体成员不知道社会网络和彼此的初始认知状态，无关主体无法预测到可能发生的行动。这类信息流动现象是本文的研究对象，其中包括了信息流动发生之后主体对新信息的回忆活动。
本文的主要研究目标有两个：第一，为社会网络中信息流动引发主体认知状态变化构建逻辑模型；第二，为多主体的完美回忆活动构建逻辑模型。因为知识是一类特殊的信息，秘密是一类特殊的知识，所以秘密扩散是一类特殊的信息流动。为了实现上述两个研究目标，本文首先研究一般的信息流动，为一般信息流动中主体认知状态的动态变化构建模型。然后，讨论秘密扩散现象对主体认知状态的影响机理。最后，研究发生信息流动之后多主体如何对新信息进行完美回忆。针对这些研究内容，文章的主要贡献表现在下述三个部分：
第一，在第3章构造了社会网络信念逻辑SNDL。社会网络信念逻辑是由社会网络和信念逻辑的部分理念相结合得到的，它可以刻画一般信息流动现象中主体信念状态的动态变化过程。本文借鉴了DitmarschHV(2014)对宣告的分类方法，以宣告者对待宣告信息的信任状况为标准将主体宣告信息分为诚实宣告、撒谎宣告和乱说三类。三种宣告方式都可以使得接收者相信宣告内容。SNDL吸收了信念逻辑在处理谎言时只删除认知关系不删除可能世界的技术理念。在SNDL中，主体可以采取行动以变更社会网络，可以通过各种宣告方式变更群体成员的信念状态。根据新的语义定义，文章证明了一些相关的有效式、无效式和语义等值公式。
第二，在第4章构造了社会网络认知逻辑SNEL。社会网络认知逻辑可以刻画社会网络中的秘密扩散现象。秘密是一类特殊的知识，本文利用认知算子K定义了个体秘密和群体秘密。SNEL对知识的模型解释不再基于克里普克语义学(关系语义学)，主体的认知状态不再受制于当前世界。在SNEL中，主体可以采取行动以变更社会网络，宣告者得到刻画，被宣告的公式只能是客观公式。在模型上，宣告行为只会改变部分主体的认知状态，其它主体的认知状态不发生变化。根据新的语义定义，文章证明了一些相关的有效式、无效式和语义等值公式。
第三，在第5章构造了S5tCt系统，它可以刻画回忆活动。完美回忆能力是指理性主体总可以记得自己先前的知识。假定主体具有完美回忆能力在理论研究中具有重要作用，例如，在重复博弈中需要假定参与者能够完美回忆博弈过去的历史(如之前选择了诚实还是欺骗)。本文梳理了不同逻辑对完美回忆的理解及其不同特点，发现SatoM(1977)给出的KT5系统在刻画个体完美回忆能力方面优于狭义时态认知逻辑和公开宣告逻辑。为了将KT5系统扩充至群体可以完美回忆公共知识，本文第5章构造了S5tCt系统。它对完美回忆活动的刻画是独立于社会网络研究的，该系统可以很好地刻画多主体的完美回忆活动。从形式语言上看，它在认知算子上加入时间坐标，这样我们在谈论主体认知状态时必须给出一个时间刻度。该系统在模型上为多主体在不同时间点上指派不同的不可区分世界集，直观上是指随着时间的流逝主体的不可区分世界逐渐减少。本文证明了S5tCt系统的可靠性和完全性，同时证明了该系统的表达力强于KT5系统。
本文所做的上述工作丰富了现有对社会网络中信息流动的研究理论，并且得到了一些重要结论。本文构造的上述逻辑理论对于模拟舆情演化、引导舆论走向、有效干预群体行为等社会性活动具有指导意义。因此，本文的研究不仅具有理论意义，而且具有重要的现实意义。
本文的主要研究目标有两个：第一，为社会网络中信息流动引发主体认知状态变化构建逻辑模型；第二，为多主体的完美回忆活动构建逻辑模型。因为知识是一类特殊的信息，秘密是一类特殊的知识，所以秘密扩散是一类特殊的信息流动。为了实现上述两个研究目标，本文首先研究一般的信息流动，为一般信息流动中主体认知状态的动态变化构建模型。然后，讨论秘密扩散现象对主体认知状态的影响机理。最后，研究发生信息流动之后多主体如何对新信息进行完美回忆。针对这些研究内容，文章的主要贡献表现在下述三个部分：
第一，在第3章构造了社会网络信念逻辑SNDL。社会网络信念逻辑是由社会网络和信念逻辑的部分理念相结合得到的，它可以刻画一般信息流动现象中主体信念状态的动态变化过程。本文借鉴了DitmarschHV(2014)对宣告的分类方法，以宣告者对待宣告信息的信任状况为标准将主体宣告信息分为诚实宣告、撒谎宣告和乱说三类。三种宣告方式都可以使得接收者相信宣告内容。SNDL吸收了信念逻辑在处理谎言时只删除认知关系不删除可能世界的技术理念。在SNDL中，主体可以采取行动以变更社会网络，可以通过各种宣告方式变更群体成员的信念状态。根据新的语义定义，文章证明了一些相关的有效式、无效式和语义等值公式。
第二，在第4章构造了社会网络认知逻辑SNEL。社会网络认知逻辑可以刻画社会网络中的秘密扩散现象。秘密是一类特殊的知识，本文利用认知算子K定义了个体秘密和群体秘密。SNEL对知识的模型解释不再基于克里普克语义学(关系语义学)，主体的认知状态不再受制于当前世界。在SNEL中，主体可以采取行动以变更社会网络，宣告者得到刻画，被宣告的公式只能是客观公式。在模型上，宣告行为只会改变部分主体的认知状态，其它主体的认知状态不发生变化。根据新的语义定义，文章证明了一些相关的有效式、无效式和语义等值公式。
第三，在第5章构造了S5tCt系统，它可以刻画回忆活动。完美回忆能力是指理性主体总可以记得自己先前的知识。假定主体具有完美回忆能力在理论研究中具有重要作用，例如，在重复博弈中需要假定参与者能够完美回忆博弈过去的历史(如之前选择了诚实还是欺骗)。本文梳理了不同逻辑对完美回忆的理解及其不同特点，发现SatoM(1977)给出的KT5系统在刻画个体完美回忆能力方面优于狭义时态认知逻辑和公开宣告逻辑。为了将KT5系统扩充至群体可以完美回忆公共知识，本文第5章构造了S5tCt系统。它对完美回忆活动的刻画是独立于社会网络研究的，该系统可以很好地刻画多主体的完美回忆活动。从形式语言上看，它在认知算子上加入时间坐标，这样我们在谈论主体认知状态时必须给出一个时间刻度。该系统在模型上为多主体在不同时间点上指派不同的不可区分世界集，直观上是指随着时间的流逝主体的不可区分世界逐渐减少。本文证明了S5tCt系统的可靠性和完全性，同时证明了该系统的表达力强于KT5系统。
本文所做的上述工作丰富了现有对社会网络中信息流动的研究理论，并且得到了一些重要结论。本文构造的上述逻辑理论对于模拟舆情演化、引导舆论走向、有效干预群体行为等社会性活动具有指导意义。因此，本文的研究不仅具有理论意义，而且具有重要的现实意义。