La Logica nell'era delle reti neurali

Il successo spettacolare dei grandi modelli linguistici e delle reti neurali profonde ha alimentato, negli ultimi anni, una narrazione di obsolescenza: la logica simbolica, il ragionamento formale, i sistemi a regole esplicite sarebbero stati definitivamente superati da architetture che imparano dai dati senza bisogno di conoscenza codificata...