Un nuovo successo scientifico porta in alto il nome dell’ateneo di Arcavacata a livello globale. In occasione della diciottesima simposio globale Lpnmr 2026 dedicato alla logica computazionale e al pensiero non monotono, ospitato nella città di Klagenfurt, il giovane studioso Marco Duca si è aggiudicato il prestigioso riconoscimento per il miglior contributo dottorale grazie a uno studio innovativo sull’impiego dei Transformer nelle euristiche di dominio per l’Asp.
Questo traguardo dà merito al percorso accademico dell’assegnista attivo presso la struttura di Matematica e Informatica dell’Università della Calabria. Il ricercatore ha condotto il proprio studio all’interno del laboratorio di Intelligenza Artificiale guidato dal rettore Nicola Leone, avvalendosi della supervisione scientifica del professor Francesco Ricca.
L’indagine di Duca si posiziona sull’avanguardia della ricerca informatica, inserendosi nel campo dell’intelligenza artificiale neuro-simbolica. Questa branca emergente punta a superare le attuali criticità dei sistemi di calcolo sviluppando soluzioni leggibili e comprensibili, nate dalla fusione tra deduzione logica e apprendimento induttivo. L’intuizione centrale del progetto consiste nell’affiancare la precisione formale tipica dell’Answer Set Programming alla flessibilità di apprendimento propria delle architetture Transformer e dei grandi modelli linguistici che alimentano i moderni chatbot. Tale sinergia permette di ricavare in modo automatico regole euristiche mirate, capaci di orientare i software di calcolo verso la risoluzione rapida di quesiti estremamente articolati.
Il professor Ricca ha sottolineato il valore della ricerca evidenziando come lo studio affronti con notevole rigore accademico una delle sfide più complesse dell’informatica contemporanea, ovvero creare un ponte funzionale tra l’intelligenza generativa e la logica formale.
