具有认知状态智能体间异步通信的进程演算扩展

在智能体系统中，对智能体的认知状态及其变化进行建模起着核心作用。异步性在分布式系统中扮演关键角色，其中传输的消息可能不会被智能体即时接收。为刻画异步通信，异步宣告逻辑（AAL）已被提出，其关注接收信息后认知状态变化的法律。然而 AAL 不涉及智能体与其环境间的交互行为。通过丰富著名的 pi-演算，加入传递基本事实的算子并应用著名的动作模型逻辑来描述智能体的认知状态，本文提出 e-演算以建模具有认知状态的智能体间的认知交互。e-演算可用于刻画智能体间的同步与异步通信。为捕捉异步性，构建一个缓冲池来存储所宣告的基本事实，每个智能体按某种顺序从该缓冲池读取这些事实。基于链路名的传输，e-演算能够实现以不同顺序从该缓冲池读取。本文给出两个示例：一是按所宣告基本事实发送的顺序读取（先进先出，FIFO），另一是按任意顺序读取。