Vai al contenuto

Tecnologia

Come VALIS fa lavorare i robot insieme.

VALIS non costruisce modelli. Organizza conoscenza, agenti e modelli — e li orchestra in modo affidabile su flotte reali. Ecco come funziona.

Un knowledge graph che decide chi fa cosa

Al centro c'è un grafo vivo che collega il body schema di ogni robot, le sue skill, gli agenti e le capacità dei modelli. Quando arriva un task, il grafo si accende lungo il percorso verso la scelta migliore: quale robot, quale agente, quale modello.

Scegli un task — guarda il grafo scegliere.
  • Robot
  • Skill
  • Agenti
  • Modelli

Percorso selezionato:Manipolatore mobile · Presa e posa · Manipolazione · VLA

01PlannerCoordinator·task: deliver crate

Agenti che dialogano, una rete che si ripara

Gli agenti hanno un inner speech: si scambiano messaggi, si distribuiscono su più robot e si coordinano in modo decentralizzato. Se un nodo cade, la rete si riconfigura e il lavoro continua. È la modalità hive-mind — un team di robot come un'unica entità cognitiva.

Gli agenti negoziano un sotto-obiettivo; se un nodo cade, la rete si riallinea.

VLA+Touch: vista e tatto insieme per la manipolazione delicata.

Il modello migliore per ogni task — tatto incluso

Ogni agente sceglie il modello migliore disponibile: un VLA per la manipolazione, una policy di navigazione per muoversi, un altro per la percezione. Sui compiti di contatto integriamo modelli VLA+Touch per modulare la forza e maneggiare oggetti delicati.

Piani verificabili, non scatole nere

La pianificazione usa un formalismo consolidato — il PDDL — potenziato dagli LLM in un approccio neuro-simbolico: l'LLM propone, il formalismo garantisce. Il team ha pubblicato proprio su questo.

Perché un formalismo conta

Verificabile

Ogni piano è controllato sul dominio prima di essere eseguito — nessun errore silenzioso, nessuna scatola nera da credere sulla parola.

Componibile

Le azioni sono blocchi riutilizzabili; un nuovo task ricombina skill che il robot già possiede, invece di reimparare da zero.

Recuperabile

Quando il mondo cambia durante il task, il planner ricalcola un piano valido invece di indovinare — e puoi vederne il perché.

Richiesta in linguaggio naturale

Porta i farmaci al residente nella stanza 4.

L'LLM emette token simbolici

(holding ?med)
(at-robot room-4)
(reachable resident)

Piano PDDL verificato

  1. 01(pick-up medication)
  2. 02(navigate hall → room-4)
  3. 03(hand-over medication resident)
Sim-to-real: dal gemello digitale fisicamente coerente al mondo reale.

Validato in simulazione, prima del mondo reale

Prima del deployment addestriamo e validiamo in simulazione: con strumenti come NVIDIA Isaac Sim / Isaac Lab costruiamo un gemello digitale fisicamente coerente dello scenario. Lo stesso simulatore diventa uno strumento di prevendita per analisi 'what-if'.

Su fondamenta solide

Sopra ROS

VALIS vive sopra ROS, lo standard de facto della robotica — non un silo chiuso.

Agnostico a hardware e modelli

Indipendente da produttori di robot e fornitori di modelli. Vince lo strumento giusto, mai il lock-in.

Sicurezza e safety by design

Priorità, vincoli di sicurezza e spiegabilità fanno parte dell'architettura, non sono un'aggiunta.

Una piattaforma, molti mondi.