基于改编命题动态逻辑的
Agent交互协议推理 |
| |
引用本文: | 张晓君,邱君.基于改编命题动态逻辑的
Agent交互协议推理[J].湖南科技大学学报(社会科学版),2022(5):35-44. |
| |
作者姓名: | 张晓君 邱君 |
| |
作者单位: | 安徽大学 哲学学院,安徽 合肥 230039 |
| |
基金项目: | 国家社会科学基金后期项目(20FZXB037);安徽省高校科研重点项目(ZK2021A0023) |
| |
摘 要: | Agent交互协议是“基于消息交流的Agent之间的”协调说明,用于提供交互的背景。交互协议是说明“所有参与Agent都应该遵守”的交互规则的公共文件。对命题动态逻辑进行改编得到的Lα逻辑,可以对多Agent系统的交互协议进行建模。为此,需要建立第一类协议说明语言,该语言是“把行为限制为由信道发送的消息的”行动语言,既可对协议结果进行表示和推理,也可对消息之外的行动进行推理,其约束语言用于说明消息和状态;每条消息被显式地定义为“对共享社会状态的处理”。
|
关 键 词: | 第一类协议 约束 Agent 交互协议 |
|
| 点击此处可从《湖南科技大学学报(社会科学版)》浏览原始摘要信息 |
| 点击此处可从《湖南科技大学学报(社会科学版)》下载免费的PDF全文 |