I computer quantistici potranno ‘ragionare’ più velocemente dei calcolatori classici. È quanto dimostrato dal team di ricerca dell’ateneo Federico II di Napoli, coordinato da Giovanni Acampora, docente del Dipartimento di Fisica ‘Ettore Pancini, che ha realizzato un algoritmo quantistico in grado di eseguire i cosiddetti motori inferenziali, le componenti principali di alcune metodologie di intelligenza artificiale, sfruttando meno risorse computazionali dei calcolatori elettronici.
Lo studio, condotto con un dottorando, Roberto Schiattarella, e Autilia Vitiello, intitolato ‘On the Implementation of Fuzzy Inference Engines on Quantum Computers’, è stato pubblicato sulla prestigiosa rivista Ieee Transactions on Fuzzy Systems. Oltre al vantaggio computazionale, l’algoritmo consente anche di programmare computer quantistici usando l’approccio linguistico tipico del ragionamento umano, semplificando l’interazione con questi strumenti particolarmente complessi da gestire.
Il risultato raggiunto da Acampora, Schiattarella e Vitiello potrà avere importanti ripercussioni nella progettazione dei metodi di intelligenza artificiale del futuro che dovranno avere significative capacità di elaborazione e una estrema semplicità di programmazione per poter gestire la sempre crescente quantità di dati messa a disposizione dalla interconnessione e dalla interazione di diversi sistemi collegati tra loro dalle moderne tecnologie di comunicazione cablati come la fibra ottica, e quelle per dispositivi mobili come 5G e 6G. I motori inferenziali sono algoritmi che simulano le modalità con cui la mente umana trae delle conclusioni logiche attraverso il ragionamento e sono usati in molte applicazioni dell’intelligenza artificiale riguardanti diverse sfere del quotidiano come, a esempio, sistemi di diagnosi medica, sistemi di controllo industriale, automotive, e sistemi di automazione e di supporto alle decisioni in genere. Quelli su cui si basa lo studio napoletano utilizzano le cosiddette regole linguistiche fuzzy, che implementano uno schema di ragionamento in grado di creare un legame tra le variabili di ingresso e quelle di uscita di un sistema, usando un approccio di tipo linguistico, cioè espressioni testuali tipiche del pensiero umano. Questo è reso possibile dall’utilizzo della fuzzy logic, uno strumento matematico in grado di modellare il ragionamento umano e abilitare il calcolo basato su parole e costrutti del linguaggio naturale. Seppur ampiamente utilizzate in diverse tipologie di sistemi, i motori inferenziali possono soffrire di una significativa problematica computazionale: il numero di regole che modellano il comportamento di un sistema può crescere esponenzialmente con il numero di variabili di ingresso del sistema stesso rendendo il motore inferenziale poco efficiente nel trarre conclusioni logiche. Di conseguenza c’è la forte necessità di pensare a metodi di calcolo inferenziale in grado di valutare le regole in maniera efficiente anche al crescere del numero delle variabili di ingresso. I computer quantistici, strumenti di calcolo che sfruttano principi della meccanica quantistica come superposition, entanglement e interferenza, possono rappresentare una possibile soluzione di questo problema. Infatti, questi innovativi strumenti informatici abilitano un parallelismo massivo nel calcolo che, come dimostrato dal gruppo di Acampora, offre le potenzialità per il raggiungimento di un vantaggio di tipo esponenziale nella esecuzione dei motori inferenziali. Ciò significa che, anche in presenza di sistemi di grandi dimensioni, i motori inferenziali quantistici potranno essere eseguiti efficientemente, ovvero con un tempo di esecuzione inferiore rispetto ai motori inferenziali eseguiti sui classici calcolatori elettronici. Il gruppo ha già ottenuto riconoscimenti e premi internazionali per i risultati di ricerca svolte nell’area della intelligenza artificiale quantistica.