Inquiry Of Group Knowledge From The Perspective Of Epistemic Logic

Based on the introduction and elaboration of the basic theories of universal,common and distributed knowledge of group knowledge,the article attempts to explore the hotly debated issues of group knowledge such as why group knowledge exists,the limitations of the common knowledge model,and the path of inquiry of distributed knowledge.chapter1 provides an introductory introduction and analysis of the concept of group knowledge;then it shows how the flow of information(knowledge)between groups in a multi-agents epistemic logic actually works through the analysis of the classic mind game "Mud Kids Puzzle";then it briefly explores the intrinsic connection between the definition of group knowledge opertor in the model and the usual intuitive understanding and some of the problems that it poses.Chapter 2 provides further analysis and exploration of certain "types"(universal knowledge,common knowledge)of the concept of group knowledge in multi-agents epistemic logic.First,a brief description of the uncontroversial nature of the concept of universal knowledge in epistemic logic is given,then a detailed combing and analysis of the "concept of common knowledge" is made,the four views of common knowledge and the related problems they bring about are explored,and a corresponding path to solve some of the problems is given in the concluding part.Chapter 3 provides a detailed introduction and exploration of the concept of distributed knowledge and its associated model classes in relation to the principle of full communication,and concludes with an attempt to find a more expressive language and model to explore the mechanisms by which distributed knowledge operates and the rules it follows.The fourth chapter reflects on the logical-philosophical issues associated with the concept of group knowledge.First,from the development trend of formal social epistemology to the limitations of classical logical models to the development and refinement of dynamic cognitive logic,to show that the inherent mechanism of group knowledge is driven by the research trend of epistemic logic and the actual needs;then,three issues related to the concept of common knowledge are responded to,first,the three interpretations of the limitations of existing common knowledge models are not convincing enough,while this paper favors the fourth confusing interpretation;second,this paper argues that the idea of equating Lewis' definition of common knowledge with an iterative definition is still debatable;third,on the question of whether there is competition between the iterative definition and the "fixed point" interpretation of common knowledge,this paper argues that there is competition between the two and this competition is in essence competition between models.Furthermore,from both the properties of the distributed knowledge model and the principle of full communication followed by distributed knowledge to illustrate the existence of a full description of the distributed knowledge model and the diversity of its paths of inquiry.Finally,from the perspective of PAL,the public announcement logic with group knowledge,it provides a new perspective and path of solution for the "Mud Child Puzzle" and other variants of the puzzle.