ArgRE: Argomentazione Formale per la Negoziazione dei Requisiti Multi-Agente
L'innovativo sistema ArgRE integra l'argomentazione astratta di Dung all'interno di strutture multi-agente basate su modelli linguistici di grandi dimensioni per facilitare la negoziazione dei requisiti. Con l'aumento della complessità dei sistemi software, è essenziale bilanciare attributi di qualità concorrenti, come la sicurezza e i budget del ciclo di pianificazione. ArgRE tratta ogni proposta, critica e perfezionamento come un argomento, rappresentando i conflitti attraverso relazioni di attacco dirette. Calcola l'insieme di argomenti accettati basandosi su semantiche fondate e preferite, consentendo una chiara accettazione o rifiuto dei requisiti. Questa metodologia migliora l'auditabilità nei settori regolamentati rispetto ai metodi euristici di risoluzione dei conflitti.
Fatti principali
- ArgRE è un sistema di negoziazione dei requisiti multi-agente.
- Integra l'argomentazione astratta di Dung nella fase di negoziazione.
- Ogni proposta, critica e perfezionamento è modellato come un argomento.
- I conflitti sono rappresentati come relazioni di attacco dirette.
- Gli argomenti accettati vengono calcolati utilizzando semantiche fondate e preferite.
- Il sistema consente l'accettazione o il rifiuto esplicito dei requisiti.
- Affronta l'auditabilità nei domini regolamentati.
- Il lavoro è pubblicato su arXiv con ID 2604.23124.
Entità
Istituzioni
- arXiv