Nell’arena della Silicon Valley c’è un solo gladiatore in grado di affrontare qualunque sfida rivoluzionaria: l’Intelligenza Artificiale Neuro-Simbolica perché alla potenza delle reti neurali associa la precisione inoppugnabile dei metodi formali. Dal quartier generale di Floc 2026 , la Conferenza Federata che unisce dieci Conferenze internazionali, sulla logica applicata all’Informatica, la risposta al caso Open -AI è una sola: l’IA Neuro-Simbolica corretta .
Mentre la nota tech company di San Francisco se la deve vedere con un test che si trasforma in un cyberatacco alla piattaforma Hugging Face, nel secondo cuore dell’IA a New York, dall’Europa, un gruppo di scienziati sta presentando per KR un lavoro di ricerca che offre proprio la soluzione a questi rischi. Una fatalità incredibile? No, solo il tempismo della ricerca. Chi si occupa di logica, di formalismi, di una Intelligenza Artificiale dimostrabile e certificata, sa quali sono i rischi della IA generativa.
Se Sam Altman fosse stato a Lisbona in questi giorni e avesse incontrato gli scienziati: Aniello Murano, Benjamin Aminof, Giuseppe De Giacomo e Sasha Rubin, avrebbe scoperto che il vero “Combinator” non è il suo incubatore, ma l’architettura capace di fondere logica e reti neurali.
Non sorprende, quindi il successo del lavoro, dal titolo: Specifying Agent Strategy Spaces via LTL Synthesis, presentato dal gruppo di luminari di chiara fama perché affrontano una delle sfide centrali dell’IA Agentica: garantire che un insieme di agenti autonomi rispetti un obbiettivo di sistema globale, senza dover accedere alla “scatola nera” interna come accadrebbe con agenti che utilizzano tecniche probabilistiche o di apprendimento come Machine Learning.
Questo paradigma è potente: la rete neurale apprende e intuisce, la logica formale, perimetra, verifica e certifica. Viene definita, quindi, una strategia secondo la quale un orchestratore stabilisce uno spazio di manovra ben perimetrato e controllato, entro cui gli agenti mantengono un certo grado di libertà, applicabile a contesti reali.
L’innovazione teorica risiede nella “caratterizzazione formale di spazi strategici mediante la logica temporale a tempo lineare (LTL) sotto assunzioni annidate e ricorsive”. In termini profani, le regole di comportamento del sistema sono state tradotte in un linguaggio matematico e logico molto preciso.
Il computer non ha dubbi su quello che può e non può fare nel corso del tempo, anche in situazioni complesse, stile matrioska (assunzioni annidate e ricorsive). L’introduzione, poi, di un guardrail automaton consente un monitoraggio continuo lungo la traccia di esecuzione. Al primo tentativo di violazione, il sistema è in grado di identificare con precisione matematica l’istante in cui avviene la violazione e l’agente responsabile della violazione stessa per poi bloccarlo, costringendo l’agente a scegliere un’azione alternativa, entro l’insieme di opzioni ammesse. Insomma con l’IA Neuro-Simbolica il cyberattacco non sarebbe stato possibile.
Questo significa che l’IA neuro-simbolica è la sola in grado di assicurare che il sistema non devierà mai dai vincoli prestabiliti. La sovranità sta prima nella correttezza scientifica, nella dimostrabilità dell’IA, nell’etica dei processi, delle azioni, dei linguaggi.
L’IA neuro-simbolica non sminuisce la potenza delle reti neurali, ma introduce la correttezza inoppugnabile dei metodi formali. Non serve accumulare quantità smisurate di dati, occorre perimetrare l’algoritmo entro regole matematiche verificate. Il ragionamento logico ha bisogno, infatti, di pochi dati e quindi riduce drasticamente i consumi energetici e impedisce allucinazioni e comportamenti imprevisti. Dalla Conferenza Federata la voce univoca degli invited talk di chiara fama: puntiamo alla AI Neuro-Simbolica
Il prof. Murano, più volte interpellato in queste ore per analizzare il caso Open AI ha ribadito:“Occorre convergere sulla IA Neuro-Simbolica basata sulla logica formale, certificata, scientificamente corretta perché possa essere applicata a contesti di alto rischio quali la sanità, la tutela ambientale, solo per fare qualche esempio. I progetti di ricerca che stiamo presentando a Lisbona – continua il luminare – dimostrano proprio che le applicazioni dell’IA Neuro-Simbolica garantiscono in ogni ambito efficienza, tutela, sviluppo”.
A sigillare la sovranità dell’IA Simbolica sono i contributi del punto di riferimento mondiale per la Logica applicata all’Informatica, capostipite dei Metodi Formali e della Logica per la verifica dei Sistemi, lo scienziato Moshe Vardi. Ha spiegato come l’AI Simbolica funzioni.
Le sue osservazioni disegnano già il prossimo futuro dell’AI.
Nel suo contributo: “On the fly LTLf Synthesis under Partial Observability“, presentato con Nadav Avlon, Supratik Chakraborty, Alexandre Duret-Lutz, Dror Fried, Lucas M., Tabajara, Shufang Zhu stabilisce un nuovo fronte per l’Ai Simbolica: la teoria resta identica ma cambia l’algoritmo, deve essere più competitivo e implementato nel modo giusto. Deve, insomma, essere più intelligente e utilizzare la logica, migliorare l’esplorazione per fornire una risposta “on the fly”. Non è un caso che lo scienziato Moshe Vardi sia il padre scientifico del prof. Aniello Murano. Qui convergono molte strade della ricerca del prof. Murano soprattutto il Ragionamento Strategico.
E su questa scia, ma rafforzando il modello Neuro-Simbolico, il prof. Aniello Murano raddoppia a Floc presentando per KR un secondo lavoro con i colleghi Rustam Gallimulin, Wojtek Jamroga, Damian Kurpiewski, Vadim Malvone. Si tratta di un nuovo paradigma, una novità assoluta perché supera il limite finora attribuito al Simbolico, ossia quello di non riuscire a funzionare in un sistema troppo grande con molti agenti. La risposta delle risposte è in questo lavoro dal titolo: Hierarchical Models of Multi-Agent Systems: Strategic Ability and Model Checking per KR.
“L’aspetto significativo di questo progetto è la scalabilità – ha affermato lo scienziato federiciano – sfatiamo la convinzione che il Simbolico non possa funzionare in un sistema molto grande con molti agenti. Questo perché- continua il prof Murano – i sistemi non sono un unico blocco, ma blocchi gerarchici dove un livello superiore demanda ad un livello inferiore”. Questa suddivisione consente di trovare strategie modulari anche in sistemi complessi.
Contributi che disegnano una leadership europea senza precedenti. E la scuola italiana ha un ruolo di primo piano. Con il prof Murano anche alcuni ricercatori del suo team Astrea: Andrea Capone, Ciro Listone e Salvatore Romano. il Laboratorio di ricerca di Intelligenza Artificiale da lui fondato nel Dipartimento D.I.E.T.I. Della Università degli Studi di Napoli Federico II, a testimonianza della centralità dell’eccellenza e della scuola di pensiero italiana nell’IA. Molti ricercatori sono oggi professori in Europa e nel mondo, i più giovani collaborano con le Università più prestigiose.
“Sono profondamente orgoglioso di questo – ha poi aggiunto il prof. Murano – la formazione e il dialogo continuo con il resto del mondo è indispensabile per la Ricerca e oggi condividere questo momento con il mio padre scientifico Moshe Vardi significa molto, è come dare continuità a una grande scuola di pensiero che sta ridefinendo il futuro della Logica nell’IA”.
La parola nei workshop è passata al ricercatore Salvatore Romano del team Astrea, che ha presentato un lavoro scritto con Marco Aruta, Vincenzo Pio Palma, Vadim Malvone e naturalmente Aniello Murano dal titolo: “Bridging Formal Strategic Reasoning and Video Games” che colma il divario tra il progresso tecnico dei motori di gioco e la logica dei personaggi, modellando il videogioco come un sistema multi-agente competitivo. Attraverso l’integrazione della Logica temporale a tempo alternato (ATL), direttamente nel motore grafico, il framework applica formalmente i principi della Teoria dei giochi. Il risultato consente ai personaggi non giocanti (NPC) di sviluppare reali capacità strategiche e decisionali dinamiche, elevando l’intelligenza dell’agente oltre i tradizionali automatismi tecnici. Dunque il trionfo della Logica applicata in ogni ambito.
E sulla centralità dell’AI Neuro-Simbolica si sono orientati anche tutti gli interventi degli invited talk in questa recentissima edizione della Conferenza federata sulla Logica ,che si può definire epocale per lo spessore degli scienziati coinvolti.
Il luminare Moshe Vardi è stato coinvolto anche come speaker e organizzatore della sessione commemorativa “Remembering Joseph Y. Halpern”, insieme a Sander Beckers e Hana Chockler, nell’ambito del workshop CREST durante FLoC.
Illuminanti le sue riflessioni sul futuro dell’AI, che trovano spazio sulle più influenti riviste scientifiche. Tra queste il dilemma del futuro dell’Informatica (”Whither Computing”). Agenti di codifica basati sull’Intelligenza Artificiale Generativa (GenAI) hanno trasformato il programmatore in supervisore. Mentre la scrittura del codice era fondamentale per esercitare il rigore logico.
E cosa dire di: ”Will AI Destroy the world Wide Web?” pubblicato su Communications of the ACM, una provocazione frutto di una acutissima analisi. Il rischio del Model Collapse è autentico.Generare testi con l’IA è più veloce che scrivere di proprio pugno, così si alimenta il web di testi brevi frutto dell’AI generativa. Nessuno consulterà più il web. E dal momento che i modelli LLM si addestrano su dati pubblici del Web, si troveranno in futuro ad addestrarsi su testi generati da altre AI. Questo circolo vizioso rischia di generare un degrado irreversibile delle capacità delle Intelligenze Artificiali. Oltre alla crisi economica per mancanza di investitori sui siti.
Floc insomma traccia la strada e prepara a un futuro possibile fatto di certezze dell’AI Neuro-Simbolica.
Chiunque abbia avuto la fortuna di trovarsi a Lisbona ad ascoltare i contributi di questi luminari, ha compreso quale sia la strada dell’IA più di chi, in questi mesi e in queste ore, si affanna a investire in database energivori, in nome di una sovranità apparente che rischia di divorare sé stessa.
