典型文献
基于改编命题动态逻辑的Agent交互协议推理
文献摘要：
Agent交互协议是"基于消息交流的Agent之间的"协调说明,用于提供交互的背景.交互协议是说明"所有参与Agent都应该遵守"的交互规则的公共文件.对命题动态逻辑进行改编得到的La逻辑,可以对多Agent系统的交互协议进行建模.为此,需要建立第一类协议说明语言,该语言是"把行为限制为由信道发送的消息的"行动语言,既可对协议结果进行表示和推理,也可对消息之外的行动进行推理,其约束语言用于说明消息和状态;每条消息被显式地定义为"对共享社会状态的处理".
文献关键词：
第一类协议;约束;Agent;交互协议
中图分类号：
作者姓名：
张晓君;邱君
作者机构：
安徽大学 哲学学院,安徽 合肥230039
文献出处：
引用格式：
[1]张晓君;邱君-.基于改编命题动态逻辑的Agent交互协议推理)[J].湖南科技大学学报（社会科学版）,2022(05):35-44
A类：
第一类协议
B类：
改编,命题动态逻辑,Agent,交互协议,编得,La,信道,发送,显式,社会状态
AB值：
0.219054
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
