An extension of process calculus for asynchronous communications between agents with epistemic states  

作　　者：Huili XING Zhaohui ZHU Jinjin ZHANG 

机构地区：[1]College of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics,Nanjing 211106,China [2]Department of Medical Information,Binzhou Medical University,Yantai 264003,China [3]College of Information Science,Nanjing Audit University,Nanjing 211815,China

出　　处：《Frontiers of Computer Science》2025年第3期37-54,共18页计算机科学前沿(英文版)

基　　金：support of the Natural Science Foundation of Shandong Province(No.ZR2020MF144);Postgraduate Research and Practice Innovation Program of Jiangsu Province(No.KYCX17_0288).

摘　　要：It plays a central role in intelligent agent systems to model agents’epistemic states and their changes.Asynchrony plays a key role in distributed systems,in which the messages transmitted may not be received instantly by the agents.To characterize asynchronous communications,Asynchronous Announcement Logic(AAL)has been presented,which focuses on the logic laws of the change of epistemic state after receiving information.However AAL does not involve the interactive behaviours between an agent and its environment.Epistemic interactions can change agents’epistemic states,while the latter will affect the former.Through enriching the well-known-calculus by adding the operators for passing basic facts and applying the well-known action model logic to describe agents’epistemic states,this paper presents the ecalculus to model epistemic interactions between agents with epistemic states.The e-calculus can be adopted to characterize synchronous and asynchronous communications between agents.To capture the asynchrony,a buffer pool is constructed to store the basic facts announced and each agent reads these facts from this buffer pool in some order.Based on the transmission of link names,the e-calculus is able to realize reading from this buffer pool in different orders.This paper gives two examples:one is to read in the order in which the announced basic facts are sent(First-in-first-out,FIFO),and the other is in an arbitrary order.

关 键 词：process calculus epistemic interaction asynchronous communication 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]