PulseAugur
LIVE 10:29:22
research · [1 source] ·
0
research

ArgRE system uses formal argumentation to improve AI agent requirements negotiation

Researchers have developed ArgRE, a novel system for resolving conflicts in multi-agent requirements negotiation for complex software systems. ArgRE embeds Dung-style abstract argumentation, modeling proposals and critiques as arguments and conflicts as attack relations. Evaluations across five case studies demonstrated ArgRE's superior auditability and decision justification compared to heuristic methods, with comparable semantic intent preservation. AI

Summary written by gemini-2.5-flash-lite from 1 source. How we write summaries →

IMPACT Introduces a formal argumentation framework for improved auditability and decision justification in AI-driven requirements engineering.

RANK_REASON This is a research paper detailing a new system for conflict resolution in multi-agent requirements negotiation.

Read on arXiv cs.AI →

COVERAGE [1]

  1. arXiv cs.AI TIER_1 · Haowei Cheng, Milhan Kim, Chong Liu, Teeradaj Racharak, Truong Vinh Truong Duy, Phan Thi Huyen Thanh, Jialong Li, Naoyasu Ubayashi, Hironori Washizaki ·

    ArgRE: Formal Argumentation for Conflict Resolution in Multi-Agent Requirements Negotiation

    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…