Diversità delle Estensioni nell'Argomentazione Astratta

Un nuovo articolo su arXiv introduce una misura quantitativa della diversità per le estensioni nei framework di argomentazione astratta (AF). Gli autori definiscono la diversità basandosi sulla differenza simmetrica tra insiemi di argomenti, con l'obiettivo di catturare quanto siano fondamentalmente diversi i punti di vista accettati all'interno di un framework. Forniscono una classificazione sistematica della complessità per problemi come se un AF ammette estensioni k-diverse, se ammette estensioni k-diverse che coprono argomenti specifici, e il calcolo del più grande k per cui un AF ammette estensioni k-diverse. Questo lavoro estende il ragionamento standard nell'argomentazione, che tipicamente non rivela quanto siano distanti le estensioni.