Controllo deterministico degli agenti AI
Un monoide parziale di azione su agenti atomici: ciò che il sistema può eseguire è definito dall'algebra — e quindi calcolabile prima dell'esecuzione.
Gli agenti AI attuali sono opachi e non deterministici: la stessa richiesta può produrre esiti diversi, e non esiste una descrizione formale di ciò che un agente può o non può fare.
Per l'adozione in processi critici — contrattualistica, pagamenti, compliance — questa indeterminatezza è il vincolo dominante: senza garanzie formali sul comportamento, ogni azione dell'agente richiede supervisione umana, annullando il vantaggio dell'automazione. Il quadro regolatorio (EU AI Act) rende la verificabilità un requisito, non un'opzione.
AXION AI OS governa gli agenti tramite un monoide parziale di azione su Operational Job Agents (OJA) atomici: le azioni ammesse e le loro composizioni sono definite dalla struttura algebrica, non da euristiche.
Ne segue che l'insieme dei prompt eseguibili — il Power Space — è calcolabile a priori: si conosce prima dell'esecuzione che cosa il sistema può fare. I prompt indeducibili non producono comportamenti imprevisti: attivano un'estensione controllata dell'algebra.
Ogni azione ammessa ha un esito definito dalla struttura del monoide: stesso stato, stessa azione, stesso risultato.
L’insieme dei prompt eseguibili è determinato prima dell’esecuzione: il perimetro operativo del sistema è noto e dimostrabile.
I prompt indeducibili attivano l’estensione controllata dell’algebra, non un fallback opaco: il sistema cresce senza perdere le garanzie.
Ogni azione è registrata come elemento della catena algebrica: la verificabilità richiesta dai contesti regolamentati è una proprietà nativa.
Proprietà di progetto; validazione empirica in corso su workflow reali di commercio B2B internazionale.
La tecnologia ha un ambito applicativo ampio (Broad Scope): ogni dominio che richieda indicizzazione semantica deterministica e controllo formale degli agenti AI.
Verticale B2B internazionale. Il diritto d'uso nel dominio del commercio B2B internazionale (contratti di compravendita, procedure Incoterms, documentazione doganale, pagamenti transfrontalieri) è concesso in esclusiva mondiale a BOS5 S.r.l. — Accordo di licenza tecnologica EQUI–BOS5, rif. EQUI-BOS5-2026-001. AXION AI OS costituisce il layer di governo degli agenti della piattaforma BOS5.