|
| 基于改编命题动态逻辑的
Agent交互协议推理 |
|
| |
| DOI： |
| 中文关键词: 第一类协议 约束 Agent 交互协议 |
| 英文关键词: |
| 基金项目:国家社会科学基金后期项目（20FZXB037）；安徽省高校科研重点项目（ZK2021A0023） |
|
| 摘要点击次数: 689 |
| 全文下载次数: 525 |
| 中文摘要: |
| Agent交互协议是“基于消息交流的Agent之间的”协调说明，用于提供交互的背景。交互协议是说明“所有参与Agent都应该遵守”的交互规则的公共文件。对命题动态逻辑进行改编得到的Lα逻辑，可以对多Agent系统的交互协议进行建模。为此，需要建立第一类协议说明语言，该语言是“把行为限制为由信道发送的消息的”行动语言，既可对协议结果进行表示和推理，也可对消息之外的行动进行推理，其约束语言用于说明消息和状态；每条消息被显式地定义为“对共享社会状态的处理”。 |
| 英文摘要: |
| |
|
查看全文
查看/发表评论 下载PDF阅读器 |
| 关闭 |
