论文标题
具有认知状态的药剂之间异步通信的过程计算的扩展
An extension of process calculus for asynchronous communications between agents with epistemic states
论文作者
论文摘要
它在智能代理系统中起着核心作用，以建模代理的认知状态及其变化。异步在分布式系统中起关键作用，其中代理可能不会立即接收到的消息。为了表征异步通信，已经介绍了异步公告逻辑（AAL），该公告逻辑（AAL）重点介绍了收到信息后认知状态变化的逻辑定律。 但是，AAL不涉及代理与其环境之间的互动行为。通过通过添加操作员来传递基本事实并应用众所周知的动作模型逻辑来描述代理的认知状态来丰富众所周知的Pi-Calculus，本文将电子钙符号介绍为模拟药剂与认知状态的认知相互作用。可以采用电子钙来表征代理之间的同步和异步通信。为了捕获异步，构建了一个缓冲池来存储宣布的基本事实，每个代理商以某种顺序从此缓冲池读取这些事实。基于链接名称的传输，电子校准能够以不同的订单从此缓冲池中读取。本文给出了两个示例：一个是按照宣布的基本事实的顺序阅读（首先是FIFO），而另一个是任意顺序。
It plays a central role in intelligent agent systems to model agent's epistemic state and its change. 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. Through enriching the well-known pi-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 e-calculus 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 pools 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.
