argumentation-framework

速報

ArgRE：以Dung式論證強化多代理需求協商與可追溯性

隨著軟體系統愈發複雜，需在多項品質屬性間權衡。ArgRE將Dung式抽象論證導入多代理需求協商，將提案、檢討與精修建模為論點，並用有向攻擊關係表示衝突，採grounded與preferred語義計算被接受論點集合。評估顯示ArgRE提供論點層級可追溯性，決策理由評分顯著優於啟發式基線，合規涵蓋率亦明顯提升。