Tecniche di Splitting per Framework Argomentativi Bipolari Basati su Insiemi
Un nuovo articolo su arXiv propone tecniche di splitting per framework argomentativi bipolari basati su insiemi (BSAF), che generalizzano i framework esistenti incorporando sia attacchi collettivi che supporti. I BSAF estendono i SETAF (framework argomentativi con attacchi collettivi) e i BAF (framework argomentativi bipolari) aggiungendo supporti collettivi, e catturano naturalmente l'argomentazione basata su assunzioni non piatte. Lo studio introduce metodi di splitting per attacchi collettivi, supporti collettivi e per entrambi combinati, dimostrando la correttezza per le semantiche argomentative comuni. Questo lavoro fa progredire la teoria dell'argomentazione formale, rilevante per i sistemi di ragionamento dell'IA.
Fatti principali
- L'articolo propone nuove tecniche di splitting per formalismi argomentativi con supporti.
- I BSAF generalizzano i SETAF e i BAF incorporando sia attacchi collettivi che supporti.
- I BSAF stabiliscono un collegamento con l'argomentazione strutturata, catturando l'argomentazione basata su assunzioni non piatte.
- Le tecniche di splitting sono introdotte per attacchi collettivi, supporti collettivi e per entrambi.
- La correttezza degli schemi di splitting è dimostrata per le semantiche argomentative comuni.
- Il lavoro è classificato sotto Computer Science > Artificial Intelligence.
- L'articolo è disponibile su arXiv con ID 2604.28112.
- La cronologia delle sottomissioni è inclusa nella fonte.
Entità
Istituzioni
- arXiv