Logica Causale Passata per il Monitoraggio di Workflow di Agenti LLM Distribuiti

Una recente pubblicazione su arXiv presenta la Causal Past Logic (CPL), una logica temporale finalizzata alla verifica runtime di workflow che coinvolgono agenti LLM distribuiti. I ricercatori sostengono che questi workflow non dovrebbero essere osservati come produttori di un log sequenziale unificato, poiché le decisioni prese durante l'esecuzione asincrona possono basarsi solo su eventi causalmente visibili alla rispettiva lifeline. CPL migliora il framework ZipperGen per workflow di agenti incorporando una logica temporale passata per le guardie all'interno di condizionali e cicli. Oltre alle modalità standard come "precedente" e "da quando", una guardia può valutare l'evento causalmente visibile più recente da un'altra lifeline insieme a variabili selezionate. L'articolo introduce anche un monitor a orologio vettoriale con prospettive di valore più recente, dimostrando che il valore del monitor calcolato localmente corrisponde alla semantica denotazionale della guardia all'evento corrente.