LLM+ASP: L'autocorrezione consente un ragionamento non monotono indipendente dal compito

È stato sviluppato un nuovo framework chiamato LLM+ASP per convertire il linguaggio naturale in Answer Set Programming (ASP), un formalismo non monotono basato sulla semantica dei modelli stabili. Questa innovazione consente ai grandi modelli linguistici (LLM) di impegnarsi in un ragionamento defeasible senza la necessità di ingegneria specifica per il compito. A differenza dei metodi precedenti che dipendono da logiche monotone come SMT, che non riescono a rappresentare il ragionamento defeasible, LLM+ASP fornisce un approccio coerente in vari compiti di ragionamento. Il sistema incorpora una funzione di autocorrezione automatica per migliorare la coerenza logica e ridurre i costi computazionali. Lo studio, disponibile su arXiv (2604.27960), sottolinea che le tecniche neuro-simboliche esistenti spesso richiedono moduli di conoscenza creati manualmente o prompt specifici, che LLM+ASP evita.