33、基于论证驱动的战略智能体通信方法

基于论证驱动的战略智能体通信方法

在多智能体系统中，智能体需要完成特定任务，并且要能够生成、采纳、放弃和实现目标。然而，当前很多目标建模方法往往忽略了约束及其动态变化。本文提出了一种基于论证推理的战略智能体通信形式框架，旨在解决这些问题。

研究背景与动机

在多智能体系统里，智能体为了实现目标，常常需要相互交互，而这些目标又受到一系列约束的限制，且这些约束在对话过程中可能会发生变化。但现有的目标建模方法大多没有充分考虑约束及其动态特性。本文的研究动机在于提出一种新的方法，让智能体能够在通信过程中运用战略推理来思考目标，同时考虑约束的影响。

研究贡献

1. 新的声明式通信方法 ：提出一种新的声明式智能体通信方法，使智能体能够在对话前后对应遵循的策略进行推理。这种战略推理能让智能体以战略目标的形式计算实现目标的认知表示，并且基于论证，可处理不完整和不一致的信息，选择合理的目标和子目标。
2. 目标持久性的形式化 ：对目标持久性进行形式化，并计算与每个目标相关的初始约束以及对话过程中可能产生的约束，从而通过使用替代目标来确保目标的实现。
3. 推理复杂度分析 ：对底层推理进行复杂度分析。

智能体通信方法

本文的智能体通信方法分为智能体模型和对话模型两部分。
1. 智能体模型
- 战略定义 ：智能体基于其心理状态和其他信息，对如何实现目标有一个全局的战略规划。