基于动态认知逻辑的协议信息  

Protocol Information based on Dynamic Epistemic Logic

作　　者：董英东 DONG Ying-dong(Bi Quan Academy,Xiangtan University,Xiangtan,Hunan 411105,China)

机构地区：[1]湘潭大学碧泉书院,湖南湘潭411105

出　　处：《贵州工程应用技术学院学报》2024年第1期47-56,共10页Journal of Guizhou University Of Engineering Science

基　　金：湖南省教育厅重点项目“动态认知逻辑视域下的协议信息研究”,项目编号:21A0075。

摘　　要：长期以来人们一直都在关注知识问题。在哲学中研究知识和信念性质的理论称为认识论。对认识论的形式化主要是运用模型以及基于数学的方法对知识和信念进行推理。动态认知逻辑的形式模型和一般框架可用于刻画计算机网络相关的异步信息传递系统等多主体系统的重要性质。由于单独运用动态认知逻辑无法很好地刻画协议信息,故可运用动态认知逻辑和认知时间逻辑的组合来刻画协议信息,这种技术在计算机网络系统中具有重要的应用价值。People have been concerned about knowledge for a long time.Theories that study the nature of knowledge and belief in philosophy are called epistemology.The formalization of epistemology involves reasoning about knowledge and beliefs using models and mathematics-based methods.The formal model and general framework of dynamic cognitive logic can be used to describe the important properties of multi-agent systems such as asynchronous information transfer systems related to computer networks.Because dynamic cognitive logic alone cannot describe protocol information well,the combination of dynamic cognitive logic and cognitive time logic can describe protocol information,which has important application value in computer network system.

关 键 词：认知逻辑 信念 协议 动态 

分 类 号：B81[哲学宗教—逻辑学]