This paper presents ArgRE, a multi-agent requirements negotiation framework designed to improve conflict resolution and auditability when balancing competing software quality attributes. By modeling proposals, critiques, and refinements as arguments and conflicts as directed attack relations, ArgRE computes accepted requirements under grounded and preferred semantics, integrating KAOS goal modeling and multi-layer verification to deliver highly auditable, transparent decision justifications for safety-critical and regulated domains.

ArgRE: Formal Argumentation for Conflict Resolution in Multi-Agent Requirements Negotiation
Haowei Cheng¹, Milhan Kim¹, Chong Liu², Teeradaj Racharak³, Truong Vinh Truong Duy⁴, Phan Thi Huyen Than⁴, Jialong Li¹, Naoyasu Ubayashi¹, Hironori Washizaki¹

1 Waseda University
2 Tongji University
3 Tohoku University
4 Aisin Corporation

Related link:
URL: https://ieeexplore.ieee.org/abstract/document/11610972
DOI: 10.1109/ACCESS.2026.3713484