23、智能体协商与心理状态溯因：技术解析与应用展望

智能体协商与心理状态溯因：技术解析与应用展望

1. 协商智能体的逻辑框架

在智能体协商领域，提出了一种逻辑框架。智能体在协商过程中有一系列特定的行为：
- 评估与反提议 ：智能体通过归纳构建假设来评估提议并构建反提议。
- 让步策略 ：通过放弃知识库中部分较弱的信念来做出让步。

这些行为通过默认逻辑进行形式化，并在答案集编程中得以实现。研究结果表明，默认推理、归纳以及溯因这些原本为单智能体常识推理而开发的方法，在多智能体系统的社会推理中同样具有重要作用。它们为智能体推理提供了形式化方法，并且作为通用推理机制，独立于特定的协商协议。

不过，该领域仍存在一些待解决的问题：
- 信念偏好程度 ：目前使用默认逻辑区分强信念和弱信念，但在实际协商中，信念的偏好程度存在差异，简单的强弱区分可能不够。未来需要一种用于优先级推理的逻辑，以及修正信念偏好的能力。
- 实践应用与评估 ：虽然开发了在答案集编程中计算提议的方法，能够在现有答案集求解器的基础上实现自动协商，但还需要进行原型实现，并在实际协商任务中评估该框架。

2. BDI 智能体心理状态溯因技术

2.1 研究背景与目标

在计算机游戏和模拟中，基于 BDI（信念 - 愿望 - 意图）的智能体编程语言适用于开发虚拟角色。我们旨在解决如何根据观察到的虚拟角色（作为 BDI 智能体实现）的行为，用其心理状态来解释这些行为的问题。

2.2 相关概念与假设