ArgRE: Formal Argumentation for Multi-Agent Requirements Negotiation
The innovative ArgRE system integrates Dung-style abstract argumentation within multi-agent large language model structures to facilitate requirements negotiation. As software systems become increasingly intricate, it is essential to balance competing quality attributes, such as safety and planning-cycle budgets. ArgRE treats every proposal, critique, and refinement as an argument, depicting conflicts through directed attack relations. It calculates the accepted argument set based on grounded and preferred semantics, allowing for clear acceptance or rejection of requirements. This methodology enhances auditability in regulated fields when compared to heuristic methods of conflict resolution.
Key facts
- ArgRE is a multi-agent requirements negotiation system.
- It embeds Dung-style abstract argumentation into the negotiation stage.
- Each proposal, critique, and refinement is modeled as an argument.
- Conflicts are represented as directed attack relations.
- Accepted arguments are computed under grounded and preferred semantics.
- The system enables explicit acceptance or rejection of requirements.
- It addresses auditability in regulated domains.
- The work is published on arXiv with ID 2604.23124.
Entities
Institutions
- arXiv