Nuovo Algoritmo per la Suddivisione dei Framework di Argomentazione Basati su Assunzioni
È stato proposto un nuovo algoritmo per la suddivisione dei framework di argomentazione basati su assunzioni (ABAF) al fine di ridurre la complessità computazionale. Il metodo applica una strategia divide et impera, calcolando le estensioni in modo incrementale restringendo lo spazio di ricerca ai sotto-framework e combinando i risultati. Questo approccio affronta gli elevati costi computazionali in ABA, che sono aggravati quando i framework vengono istanziati in formalismi basati su grafi come gli AF di Dung e i SETAF. Il lavoro è pubblicato su arXiv con identificativo 2604.27964.
Fatti principali
- L'argomentazione basata su assunzioni (ABA) è un formalismo per modellare dibattiti.
- L'elevata complessità computazionale dei compiti di ragionamento fondamentali in ABA pone delle sfide.
- La complessità aumenta quando i framework ABA vengono istanziati in AF e SETAF.
- Gli algoritmi divide et impera sono utilizzati per affrontare l'intrattabilità computazionale.
- La suddivisione calcola le estensioni in modo incrementale restringendo la ricerca ai sotto-framework.
- Il nuovo algoritmo applica la suddivisione ai framework ABA.
- L'articolo è disponibile su arXiv con ID 2604.27964.
- L'approccio mira a ottimizzare il ragionamento su basi di conoscenza.
Entità
Istituzioni
- arXiv