Equivalenza Forte nella Programmazione Logica e nell'Argomentazione Astratta

Un recente articolo su arXiv (2605.14721) esplora il concetto di equivalenza forte nell'ambito della programmazione logica e dell'argomentazione astratta. Questa forma di equivalenza garantisce che la sostituzione di una base di conoscenza con un'altra non modifichi i risultati del ragionamento in qualsiasi situazione, aspetto cruciale per i formalismi non monotoni. Sebbene in scenari statici si osservi un'equivalenza semantica tra programmi logici e framework di argomentazione astratta, questa coerenza viene meno in ambienti dinamici a causa di diversi approcci agli aggiornamenti. Lo studio propone una nuova definizione di equivalenza forte per i programmi logici che mantiene l'equivalenza quando si traduce tra specifici tipi di programmi logici e framework di argomentazione di tipo Dung.