Scorciatoie di Ragionamento nell'Apprendimento Neurosymbolico Analizzate Formalmente

Un recente preprint su arXiv (2604.23377) stabilisce le scorciatoie di ragionamento nell'apprendimento neurosimbolico come un problema di soddisfacimento di vincoli. I ricercatori dimostrano che una specifica proprietà di discriminazione—che garantisce che nessuna mappatura concettuale valida possa essere alterata in un'altra semplicemente scambiando due valori concettuali—è essenziale per l'apprendimento senza scorciatoie sotto mappature biiettive. Tuttavia, forniscono un controesempio che indica che questa proprietà da sola non è sufficiente, anche in presenza di un grafo di vincoli connesso. Introducono un algoritmo basato su ASP che verifica se un particolare insieme di vincoli definisce univocamente la mappatura concettuale desiderata, garantendo sia correttezza che completezza. Inoltre, quando vengono identificate scorciatoie, un algoritmo greedy di riparazione lavora per eliminarle espandendo l'insieme di vincoli.