Interroghiamo, dunque calcoliamo: sul calcolo con oracolo oltre la macchina, con un’applicazione agli agenti

Abstract degli autori

I sistemi agentici usano modelli linguistici di grandi dimensioni (LLM) per svolgere compiti concreti. I lavori precedenti spesso prendono in prestito dai sistemi operativi, in modo frammentario, astrazioni come la schedulazione, il caching o l’isolamento. Di conseguenza, i meccanismi che sviluppano hanno pochi elementi in comune e la visione condivisa delle due forme di sistema agentico, Workflows e Agents, resta limitata. Costruiamo una macchina astratta che offre entrambe le cose. Trattiamo l’LLM come un Oracolo ed estendiamo un automa a due pile con una sola istruzione, che consegna all’Oracolo un’intera pila come query e aggiunge la risposta alla stessa pila. La macchina esegue così due calcoli: quello dell’Oracolo e uno Turing-completo che chiamiamo Priestess. Una pila alla quale il programma può soltanto aggiungere elementi cresce in modo autoregressivo, come il contesto di un agente. Due rotture di simmetria, S nell’archiviazione e T nelle transizioni, fanno di un programma Priestess il sistema operativo dei programmi eseguiti dall’Oracolo e producono Agent e Workflow come le due possibili collocazioni del programma di un compito. Nel caso di Oracoli internamente autoregressivi, i due calcoli si sincronizzano alla fine di ogni risposta, a determinate condizioni; attraverso questa sincronizzazione modelliamo il caching e analizziamo la schedulazione. Nessuna garanzia valida per ogni Oracolo può stabilire quali contenuti passino tra i due calcoli, ma una garanzia del genere stabilisce il confine stesso. La costruzione V adatta la macchina a un computer di von Neumann. Per dimostrare che è realizzabile, proponiamo ArchNights, un’ISA RISC-V estesa e un sistema operativo in stile Linux che implementano la macchina fin dalla progettazione. ArchNights-SE funziona su gem5 come sistema informatico, diventa un sistema agentico quando esegue un LLM come Oracolo e sarà open source. I sistemi agentici potranno quindi essere progettati come i sistemi informatici. Con una base costruita e una visione unificata, i lavori futuri potranno condividere invarianti e limiti, ciascuno con le proprie condizioni.