Scritto quasi trent’anni fa, si è rivelato lo studio più influente nel settore del ragionamento automatico, una branca dell'intelligenza artificiale.
L’articolo "Building Decision Procedures for Modal Logics from Propositional Decision Procedures" pubblicato nel 1996 a firma di Fausto Giunchiglia e Roberto Sebastiani del Dipartimento di Ingegneria e Scienza dell’Informazione dell’Università di Trento si è aggiudicato il Thoralf Skolem Award 2025. Si tratta di un riconoscimento che viene assegnato a livello internazionale dalla Conferenza internazionale dedicata alla deduzione automatica (International Conference on Automated Deduction - Cade).
Il premio è stato attribuito per il risultato scientifico del 1996 che nei decenni successivi ha avuto il maggior impatto nel settore della deduzione automatica. Il paper proponeva un approccio innovativo e un nuovo algoritmo efficiente per il ragionamento automatico su linguaggi logici espressivi. Questo lavoro ha aperto la strada allo sviluppo di una nuova classe di algoritmi di ragionamento automatico su diversi linguaggi complessi, che hanno avuto un ampio uso nel web semantico, nella verifica formale di correttezza di sistemi software e hardware, e in vari campi dell'intelligenza artificiale.
La cerimonia di premiazione si è svolta lo scorso 27 luglio a Stoccarda.
Un tributo importante per questo lavoro che ha mantenuto immutata nel tempo la propria autorevolezza, in un ambito scientifico in cui l’innovazione è particolarmente rapida.
Fausto Giunchiglia è professore di Logica computazionale, knowledge graphs e person-centric AI al Disi. Roberto Sebastiani è professore di Fondamenti di intelligenza artificiale e di ragionamento automatico e verifica formale al Disi. Per lui è il secondo Thoralf Skolem Award. Il primo lo ha ottenuto nel 2023.