Choosing the Lens: Strategic Perspective Activation in Context-Dependent Argumentation

Sintesi Tecnica: Framework di Argomentazione Dipendenti dal Contesto e Attivazione Strategica

Definizione del Problema
Il documento affronta una lacuna nella teoria dell'argomentazione formale standard riguardante la valutazione degli argomenti sotto regimi esterni variabili. In scenari del mondo reale, come le revisioni architettoniche, l'insieme degli argomenti e i loro conflitti rimangono fissi, ma la "lente" attraverso cui vengono valutati cambia in base alle priorità del revisore (ad esempio, prestazioni vs. affidabilità vs. costi). I framework di Dung (1995) standard mancano di un meccanismo per modellare questa selezione del regime. I Value-Based Argumentation Frameworks (VAF) (Bench-Capon 2003) permettono diversi schemi di sconfitta tramite le preferenze dell'audience, ma sono limitati: un'audience può solo riclassificare i valori, non disattivarli interamente. Di conseguenza, i VAF non possono catturare scenari in cui un agente sceglie strategicamente di escludere specifiche prospettive dal processo di valutazione per raggiungere un risultato desiderato.

Metodologia: Context-Dependent Argumentation Frameworks (CDAF)
Gli autori introducono i Context-Dependent Argumentation Frameworks (CDAF) come estensione della teoria di Dung. Un CDAF è definito come una tupla $\langle A, R, C, \delta \rangle$, dove:

• $A$ è un insieme finito di argomenti.
• $R \subseteq A \times A$ è la relazione di attacco.
• $C$ è un insieme finito di contesti.
• $\delta: C \times R \to \{0, 1\}$ è una funzione di sconfitta che determina, per ogni contesto, quali attacchi hanno successo.

Il documento si concentra su un Perspective-labeled CDAF specializzato, in cui la funzione di sconfitta è derivata anziché data. Agli argomenti vengono assegnate delle prospettive di origine ($src: A \to \Pi$). Un contesto è definito da:

1. Insieme di Rilevanza ($\rho$): un sottoinsieme di prospettive attive ($\rho \subseteq \Pi$). Questo rappresenta lo spazio d'azione o la "lente" dell'agente.
2. Funzione di Priorità ($\pi$): una classificazione delle prospettive all'interno del contesto.

Un attacco $(a, b)$ ha successo in un contesto se e solo se la prospettiva dell'attaccante è attiva ($src(a) \in \rho$) e la priorità dell'attaccante è maggiore o uguale a quella del difensore ($\pi(src(a)) \geq \pi(src(b))$). Fondamentalmente, ciò crea un'asimmetria: la disattivazione di una prospettiva silenzia tutti gli attacchi montati da argomenti provenienti da quella prospettiva, ma tali argomenti rimangono presenti nel framework e possono comunque essere difesi o accettati se non attaccati da prospettive attive.

Contributi Chiave e Risultati

1. Attivazione Strategica: Il documento dimostra che variare l'insieme di rilevanza $\rho$ (attivando/disattivando le prospettive) può produrre esiti di accettazione impossibili da ottenere nei VAF.

   • Esempio pratico: Gli autori costruiscono uno scenario con argomenti $\{a, b, t, d\}$ e prospettive $\{\alpha, \beta, \gamma\}$. L'argomento target $t$ è strutturalmente intrappolato: sotto piena rilevanza (tutte le prospettive attive), $t$ è rifiutato perché il suo difensore $b$ attacca anch' esso $t$. Tuttavia, disattivando la prospettiva $\alpha$ (impostando $\rho = \{\beta, \gamma\}$), l'attacco di "fuoco amico" $(a, t)$ viene silenziato. Ciò permette a $t$ di essere accettato tramite un'estensione preferita, un risultato non ottenibile sotto qualsiasi priorità iniettiva in un contesto di piena rilevanza.
   • Limite dei VAF: Il documento prova che il pattern di sconfitta indotto da una attivazione parziale (ad esempio, $\rho = \{\gamma\}$, dove entrambi gli attacchi reciproci tra $a$ e $b$ falliscono) non può essere realizzato da alcuna audience VAF, poiché le audience VAF richiedono un ordine totale stretto sulle componenti, garantendo che almeno una direzione di un attacco reciproco abbia successo.

2. Problema Decisionale: ACTIVATION-MANIPULATION: Gli autori formalizzano la questione strategica come un problema decisionale: Dato un framework, una priorità fissa e un argomento target $t$, esiste un sottoinsieme non vuoto $\rho \subseteq \Pi$ tale che $t$ sia credulosamente $\sigma$-accettato?

   • Limiti di Complessità:
     • Per le semantiche Grounded ($gr$), Stable ($stb$) e Preferred ($pref$), il problema è mostrato essere in NP. Gli autori notano che, sebbene la verifica di un'estensione preferita sia tipicamente co-NP, l'accettazione credula preferita coincide con l'ammissibilità credula, permettendo di risolvere il problema ipotizzando $\rho$ e un insieme ammissibile in un unico calcolo NP.
     • Per le semantiche Stable e Preferred, il problema è NP-hard (e quindi NP-completo) tramite riduzione dall'accettazione standard in un framework di Dung.
     • Per la semantica Grounded, il problema è in P, sebbene rimanga aperto se la libertà di scegliere $\rho$ elevi la variante grounded a NP-completezza.
   • Vincolo: Il requisito che $\rho$ sia non vuoto è essenziale; un $\rho$ vuoto disattiverebbe tutti gli attacchi, accettando trivialmente tutti gli argomenti.

Significato e Ambito
Il documento rivendica importanza principalmente nel definire un nuovo formalismo che cattura un particolare leva strategica: la capacità di selezionare quali regimi (prospettive) governano un processo di argomentazione, distinguendosi dal semplice riordinamento delle stesse. Ciò modella scenari in cui un agente controlla il "forum" o il "tracciato" di un dibattito piuttosto che la logica interna dei revisori.

Gli autori mantengono un ambito modesto, dichiarando esplicitamente che uno studio completo del framework è oltre l'oggetto del presente lavoro. Identificano diverse direzioni aperte:

• Determinare i limiti di complessità stretti, in particolare per la variante grounded.
• Esplorare il design dei meccanismi in cui la selezione di $\rho$ è vincolata da costi o inclusioni obbligatorie.
• Investigare varianti multi-agente in cui gli agenti determinano congiuntamente $\rho$ attraverso dinamiche cooperative o avversarie.
• Esaminare il fenomeno in contesti applicativi, come i sistemi di memoria multi-prospettiva degli agenti.

Il lavoro si distingue dalla Control Argumentation (che altera la struttura) e dalla Manipulation in Incomplete Argumentation (che altera la struttura), posizionando i CDAF come un modello in cui la struttura è fissa, ma la funzione di sconfitta è modulata dinamicamente dalla scelta dell'agente riguardo alle prospettive attive.