研究人员开发了ArgRE，一个用于解决复杂软件系统多智能体需求协商中冲突的新颖系统。ArgRE嵌入了Dung风格的抽象论证，将提议和批评建模为论点，将冲突建模为攻击关系。在五个案例研究中的评估表明，与启发式方法相比，ArgRE具有更优的审计性和决策理由，同时保持了可比的语义意图。 AI
影响 引入了一个形式化论证框架，以提高AI驱动的需求工程中的审计性和决策理由。
排序理由 这是一篇研究论文，详细介绍了一个用于多智能体需求协商中冲突解决的新系统。
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
arXiv:2604.23124v1 Announce Type: cross Abstract: As software systems grow in complexity, they must satisfy an increasing number of competing quality attributes, making it essential to balance them in a principled manner -- for example, a safety requirement for sensor-fusion veri…