ArgRE：多代理需求协商中冲突解决的正式论证

随着软件系统变得越来越复杂，它们必须满足越来越多的竞争质量属性，因此必须以原则性的方式平衡它们——例如，传感器融合验证的安全要求可能与紧张的规划周期预算相冲突。多代理 大语言模型 框架通过将专门的代理分配给不同的目标来支持此平衡过程。然而，他们的冲突解决通常是启发式的。要求是隐式聚合的，没有明确接受或拒绝，限制了受监管领域的可审计性。我们提出了 ArgRE，一个多智能体需求协商系统，它将 Dung 式的抽象论证嵌入到协商阶段。每个提案、批评和改进都被建模为一个参数，冲突被表示为定向攻击关系，并且接受的参数集是根据基础和首选语义计算的。该管道进一步集成了 KAOS 目标建模、多层验证和面向标准的工件生成。对涵盖安全关键、金融和信息系统领域的五个案例研究的评估表明，ArgRE 提供了现有框架所缺乏的论证级可追溯性。独立评估者对其决策合理性的评价显着高于启发式综合（4.32 vs. 3.07，p < 0.001），表明可审核性得到改善，而语义意图保留仍然具有可比性（94.9% BERTScore F1），合规覆盖率达到 84.7%，而基线为 47.6%--47.8%。结构分析进一步证实，默认的成对协议产生非循环图，其中基础语义和首选语义一致，而跨对仲裁引入了受控循环性，导致两种语义之间出现可预测的分歧。