Un Framework Neuro-Simbolico Collega il Ragionamento in Linguaggio Naturale con la Logica Formale NARS

Un nuovo framework neuro-simbolico affronta le limitazioni dei grandi modelli linguistici traducendo problemi di ragionamento in linguaggio naturale in rappresentazioni formali eseguibili. L'approccio utilizza la logica del primo ordine e Narsese, il linguaggio del Non-Axiomatic Reasoning System. Per supportare questa direzione, i ricercatori hanno introdotto NARS-Reasoning-v0.1, un benchmark contenente problemi di ragionamento in linguaggio naturale accoppiati con forme FOL e programmi Narsese eseguibili. Ogni problema include tre etichette gold: Vero, Falso e Incerto. È stato sviluppato una pipeline di compilazione deterministica per convertire FOL in Narsese eseguibile. La validazione avviene attraverso l'esecuzione runtime in OpenNARS for Applications, garantendo che i target simbolici siano sia sintatticamente corretti che comportamentalmente allineati con il ragionamento previsto. Questo lavoro mira a migliorare l'affidabilità in compiti che richiedono struttura simbolica esplicita, inferenza multi-step e incertezza interpretabile. Il paper è stato annunciato come arXiv:2604.18873v1.