具有认知状态的代理之间异步通信的过程演算的扩展
•
2024-04-30 15:20:44
摘要 它在智能代理系统中发挥着核心作用，可以对代理的认知状态及其变化进行建模。异步在分布式系统中起着关键作用，在分布式系统中，代理可能无...
它在智能代理系统中发挥着核心作用，可以对代理的认知状态及其变化进行建模。异步在分布式系统中起着关键作用，在分布式系统中，代理可能无法立即接收到传输的消息。认知交互行为可以改变主体的认知状态，而后者又会影响前者。迄今为止，文献主要集中于将接收信息后认知状态的变化形式化。
为了模拟具有认知状态的主体之间的认知相互作用，邢惠丽领导的研究小组 于 2024 年 3 月 11 日在 高等教育出版社和施普林格·自然联合出版的《计算机科学前沿》上发表了他们的新研究。
该团队提出了一种称为 e-calculus 的过程演算，用于对并发情况下具有认知状态的智能体之间的认知交互进行建模，通过使用传递基本事实的运算符来丰富经典 π 演算，并应用众所周知的动作模型逻辑来描述智能体' 认知状态。
可以采用电子演算来表征代理之间的同步和异步通信。为了捕获异步性，构建了一个共享缓冲池来存储所宣布的基本事实，并且每个代理以不同的顺序从该缓冲池中读取这些事实。与文献中详细描述的捕获异步的典型方法(异步公告逻辑和认知并发约束编程(ECCP))相比，电子演算在捕获异步方面有自己的特点和优势。特别是电子演算可以实现ECCP。
可以通过采用可用的形式化方法对主体的认知状态和认知交互进行建模来呈现不同的电子演算，并且构建面向不同认知场景的电子演算还有待进一步的工作。行为理论是过程演算的核心理论课题之一，而电子演算的行为理论则留待以后的工作。
版权声明：本文由用户上传，如有侵权请联系删除！
标签：