Constrained Assumption-Based Argumentation Frameworks

1. Il Problema

L'Assumption-Based Argumentation (ABA) è un formalismo strutturato consolidato per il ragionamento non monotono, ampiamente utilizzato in domini come la logica dei programmi, il ragionamento legale e la scoperta causale. Tuttavia, le implementazioni standard dell'ABA presentano una limitazione significativa: richiedono un linguaggio atomico ground (senza variabili).

• Limitazione: Gli argomenti e gli attacchi devono essere costruiti a partire da atomi proposizionali concreti.
• Conseguenza: Per gestire domini infiniti o variabili (ad esempio, in scenari legali dove si devono valutare persone con redditi variabili o soglie numeriche), è necessario "groundare" (istanziare) tutte le regole. Questo processo può essere computazionalmente costoso o addirittura impossibile se il dominio è infinito, rendendo l'approccio standard impraticabile per molte applicazioni reali.

2. Metodologia: CABA (Constrained ABA)

Gli autori propongono un nuovo formalismo chiamato Constrained Assumption-Based Argumentation (CABA). Questo approccio integra i vincoli (constraints) direttamente nella struttura dell'ABA, permettendo l'uso di variabili vincolate che possono scorrere su domini potenzialmente infiniti.

Componenti Chiave del Formalismo:

• Struttura: Un framework CABA è una 6-tupla $\langle L_c, C, R, CT, A, \overline{\cdot} \rangle$, dove:
  • $L_c$ è un linguaggio atomico.
  • $C$ è un insieme di vincoli atomici (es. $x > 0$, $y \leq 100$).
  • $R$ è un insieme di regole di inferenza che possono contenere variabili e vincoli.
  • $CT$ è una teoria dei vincoli (es. aritmetica lineare razionale) che definisce la validità dei vincoli.
  • $A$ è l'insieme delle assunzioni.
  • $\overline{\cdot}$ è la mappa dei contrari.
• Argomenti Vincolati (Constrained Arguments): Invece di costruire alberi di deduzione solo su istanze concrete, CABA definisce "argomenti vincolati". Un argomento è rappresentato come una struttura ad albero dove i nodi foglia possono essere assunzioni o vincoli. Un argomento vincolato rappresenta un'intera classe di istanze ground (potenzialmente infinite) che soddisfano i vincoli associati.
• Attacchi: Vengono definiti due tipi di attacchi basati sulla logica dei vincoli:
  1. Attacco Completo (Full Attack): Un argomento $\alpha$ attacca completamente $\beta$ se, per ogni istanza di $\beta$, esiste un'istanza di $\alpha$ che lo contraddice, garantita dalla teoria dei vincoli ($CT \models \forall (\text{vincoli}_\beta \to \exists \text{vincoli}_\alpha)$).
  2. Attacco Parziale (Partial Attack): Un argomento $\alpha$ attacca parzialmente $\beta$ se esiste almeno un'istanza comune soddisfacente per entrambi i vincoli che porta a una contraddizione ($CT \models \exists (\text{vincoli}_\alpha \land \text{vincoli}_\beta)$).

3. Contributi Principali

Il lavoro introduce diverse novità teoriche e metodologiche:

1. Definizione di CABA: Formalizzazione di un framework che estende l'ABA standard permettendo variabili e vincoli, mantenendo la semplicità dei linguaggi atomici ma guadagnando espressività.
2. Semantica Non-Ground: Definizione di concetti di estensione (conflict-free, ammissibile, stabile) direttamente sugli argomenti vincolati, senza necessariamente passare attraverso la groundificazione.
3. Generalizzazione Conservativa: Dimostrazione che CABA è una generalizzazione conservativa dell'ABA standard. Se un framework CABA non contiene variabili (o i vincoli sono vuoti), si riduce esattamente a un framework ABA standard.
4. Corrispondenza con ABA Ground: Viene stabilito un teorema fondamentale che collega gli argomenti vincolati alle loro istanze ground. Le estensioni di un framework CABA corrispondono alle estensioni del framework ABA ground derivato, permettendo di ragionare su insiemi infiniti di argomenti ground attraverso un numero finito di argomenti vincolati.
5. Algoritmo di "Argument Splitting": Per gestire la complessità e garantire che le estensioni siano calcolabili, gli autori propongono una procedura che trasforma un insieme di argomenti vincolati in un insieme instance-disjoint (senza istanze comuni) e non-overlapping (dove ogni attacco parziale è anche completo). Questo permette di calcolare estensioni finite anche quando il corrispettivo ground sarebbe infinito.

4. Risultati Teorici e Pratici

• Teoremi di Corrispondenza: È stato provato che le semantica di CABA (basate su attacchi completi e parziali) sono equivalenti a quelle ottenute groundificando il framework, a condizione che la teoria dei vincoli soddisfi certe proprietà (chiusura sotto negazione e quantificazione esistenziale).
• Efficienza Computazionale: Il metodo proposto permette di costruire estensioni finite non-ground che sono equivalenti a insiemi ground infiniti. Questo risolve il problema dell'esplosione combinatoria tipica della groundificazione in domini continui o molto ampi.
• Esempi Applicativi: Il paper illustra l'uso di CABA in scenari legali (es. determinazione dell'imponibile fiscale con soglie di reddito variabili), dimostrando come regole generali con vincoli possano essere gestite senza fissare a priori un limite superiore ai valori numerici.

5. Significato e Impatto

Il lavoro di De Angelis et al. è significativo per diversi motivi:

• Ponte tra Logica e Vincoli: Colma il divario tra i framework di argomentazione strutturata (come ABA) e la programmazione logica con vincoli (CLP), permettendo di integrare solutori di vincoli all'interno del paradigma argomentativo.
• Scalabilità: Offre una soluzione teorica e pratica per applicare l'ABA a problemi del mondo reale che coinvolgono dati numerici continui o domini aperti, dove la groundificazione classica fallisce.
• Fondamento per Futuri Sviluppi: Apre la strada a nuove ricerche su semantica avanzate (es. estensioni preferite o fondate) in contesti non-ground, complessità computazionale e applicazioni in domini come la medicina, la pianificazione e la giustizia, dove le regole sono spesso espresse come schemi con vincoli.

In sintesi, il paper propone un'estensione potente dell'ABA che mantiene la rigore semantico del formalismo originale mentre ne amplia drasticamente l'applicabilità a scenari complessi e dinamici attraverso l'uso integrato di vincoli.