Sintesi Tecnica: Kiko – Programmare Agenti per l'Attuazione di Protocolli di Interazione

1. Definizione del Problema

La realizzazione di Sistemi Multi-Agente (MAS) per applicazioni sociotecniche (ad es. business, sanità) affronta sfide significative nel disaccoppiare la logica di business interna di un agente dai suoi protocolli di interazione pubblici. I modelli di programmazione attuali soffrono di due deficienze primarie:

1. Astrazioni Scarse per il Processo Decisionale: I modelli esistenti spesso non riescono ad accoppiare adeguatamente la logica decisionale interna con le decisioni pubbliche (messaggi inviati).
2. Supporto Inadeguato ai Protocolli: Gli approcci tradizionali si affidano all'ordinamento dei messaggi (ad es. protocolli FIPA, JADE), il che limita la flessibilità e non riesce a supportare ambienti decentralizzati e asincroni. Altri approcci, come i sistemi basati su impegni (commitment-based), spesso si affidano a memorie centralizzate o non operano pienamente la comunicazione asincrona.
3. Complessità: Vi è una mancanza di un modello di programmazione che separi la logica di business dai vincoli di comunicazione pur supportando un processo decisionale flessibile e decentralizzato tramite messaggistica asincrona.

Gli autori sostengono che sia necessario un modello di programmazione basato su protocolli che permetta agli agenti di prendere decisioni basate su vincoli informativi piuttosto che su rigide sequenze di messaggi, consentendo loro di operare su strati di trasporto non ordinati e inaffidabili (ad es. UDP).

2. Metodologia: Il Modello di Programmazione Kiko

Kiko è un modello di programmazione basato su protocolli progettato per strutturare gli agenti attorno ai ruoli che ricoprono all'interno di un protocollo. La sua filosofia centrale è quella di astrarre completamente il servizio di comunicazione, permettendo agli sviluppatori di concentrarsi esclusivamente sulla logica di business e sui modelli decisionali.

2.1 Astrazioni Core

• Protocolli Informativi (BSPL): Kiko utilizza BSPL (Business Semantic Protocol Language), un linguaggio dichiarativo che specifica vincoli informativi (causalità e integrità) piuttosto che l'ordinamento dei messaggi.
  • Causalità: Definisce quali informazioni devono essere note (in) per inviare un messaggio e cosa viene generato (out).
  • Integrità: Garantisce la coerenza tra le attuazioni distribuite (ad es. una chiave univoca impedisce legami conflittuali per la stessa transazione).
• Decision Maker (Prenditori di Decisioni): L'unità fondamentale di programmazione in Kiko. Un decision maker è una funzione invocata dal sistema che selezza da un insieme di "forme" valide (prototipi di messaggi) e lega i loro parametri per creare istanze di messaggi concrete.
• Forme (Forms): Prototipi di istanze di messaggi dove i parametri in sono legati (basandosi sulla cronologia) e i parametri out sono non legati. I decision maker "fanno carne" di queste forme fornendo valori per i parametri out.
• L'Adapter: Un componente generico fornito da Kiko che si posiziona tra i decision maker dell'agente e il servizio di comunicazione. Esso:
  • Mantiene la cronologia locale dell'agente (archivio dei messaggi osservati).
  • Computa le "forme abilitate" basandosi sulla causalità e sui vincoli di integrità del protocollo.
  • Valida i tentativi di emissione (set di messaggi) per coerenza interna prima dell'invio.
  • Gestisce la ricezione dei messaggi in modo idempotente, consentendo la ritrasmissione su reti con perdita di pacchetti.

2.2 Semantica Operativa

Il documento formalizza Kiko utilizzando una semantica di transizione per gli agenti e i MAS:

• Stato dell'Agente: Definito come una tupla di nome, cronologia, canale di input e canale di output.
• Transizioni:
  • Recv (Ricezione): Un messaggio viene aggiunto alla cronologia se è valido (coerente con la cronologia e i vincoli di integrità).
  • Decide (Decisione): L'agente computa le forme abilitate, applica un decision maker per generare un set di istanze, valida il set per compatibilità interna ed emette.
• Correttezza e Completezza: Gli autori dimostrano che qualsiasi MAS implementato usando la semantica di Kiko è conforme al protocollo (raggiunge solo stati che corrispondono a validi attuamenti del protocollo) ed è completo (è possibile costruire decision maker per raggiungere qualsiasi attuazione valida del protocollo).

2.3 Pattern Decisionali Chiave Supportati

Kiko introduce specifici pattern per gestire scenari decentralizzati complessi:

1. Correlazione: Derivazione automatica delle forme per specifici attuamenti di protocollo (contesti) basata su chiavi condivise (ad es. ID di transazione), permettendo agli agenti di gestire molteplici interazioni concorrenti.
2. Ragionamento Cross-Enactment (Tra Attuazioni): I decision maker ricevono forme da tutti i contesti attivi, consentendo agli agenti di prendere decisioni basate sulle informazioni attraverso diversi sistemi o transazioni (ad es. selezionare il preventivo più economico tra più venditori).
   3 Protocolli Multipli: Gli agenti possono ricoprire ruoli in protocolli non correlati simultaneamente. I decision maker possono mappare le informazioni tra i protocolli (ad es. innescare una richiesta di "Approvazione" basata su una forma di "Acquisto").
3. Set di Emissione: Un decision maker può proporre un set di più istanze di messaggi per un'emissione atomica. L'adapter valida l'intero set per compatibilità interna. Se il set contiene messaggi conflittuali (ad es. sia Acquista che Rifiuta per la stessa attuazione), l'intero set viene rifiutato. Ciò previene stati parziali e inconsistenti.
4. Libertà dall'Ordine di Ricezione: Poiché Kiko si basa sulla causalità informativa piuttosto che sulla sequenza, gli agenti non devono attendere i messaggi in un ordine specifico. I messaggi che arrivano fuori ordine vengono semplicemente aggiunti alla cronologia; le forme dipendenti da essi vengono abilitate solo quando i dati necessari sono presenti.
5. Accoppiamento Debole: I cambiamenti al protocollo che influenzano la struttura del messaggio ma non il flusso informativo (ad es. cambiare il modo in cui avviene il pagamento) non richiedono modifiche alla logica decisionale dell'agente, poiché l'adapter gestisce la derivazione delle forme.

3. Contributi Chiave

1. Modello di Programmazione Kiko: Un nuovo modello orientato alle decisioni che separa la logica di business dai protocolli di comunicazione, consentendo agli agenti di operare su reti non ordinate e con perdita di pacchetti (come UDP) garantendo al contempo la conformità al protocollo.
2. Semantica Formale: Una rigorosa semantica operativa per gli agenti Kiko e i MAS, inclusi i termini per cronologia, forme, set abilitati e regole di transizione.
3. Garanzie Teoriche:
   • Soundness (Correttezza - Teorema 1): Dimostra che qualsiasi stato raggiungibile in un MAS Kiko simula un valido attuamento del protocollo (ovvero, il sistema non può violare il protocollo).
   • Completezza (Teorema 3): Dimostra che per ogni valido attuamento di protocollo, esiste un set di decision maker in grado di realizzarlo.
   • Ottimizzazione (Teorema 2): Stabilisce che controllare solo la compatibilità interna di un set di emissione è sufficiente per la validità, poiché le forme sono già derivate per essere coerenti con la cronologia.
4. Pattern Pratici: L'introduzione di set di emissione e del ragionamento cross-enactment, che permettono decisioni atomiche su più messaggi e il ragionamento attraverso molteplici interazioni concorrenti — caratteristiche spesso assenti nei modelli tradizionali basati sull'ordinamento.

4. Risultati e Rivendicazioni

Il documento non presenta benchmark di prestazioni empiriche rispetto ad altri sistemi, ma fornisce una validazione teorica e un'analisi architettonica.

• Conformità al Protocollo: Gli autori affermano che Kiko garantisce che gli agenti non emetteranno messaggi che violano i vincoli di integrità o causalità del protocollo, indipendentemente dalla logica decisionale implementata dal programmatore.
• Flessibilità: Astrarre l'ordinamento dei messaggi permette a Kiko di consentire agli agenti di rispondere in modo flessibile agli eventi man mano che arrivano, supportando ambienti asincroni e decentralizzati.
• Efficienza: Il documento afferma che il metodo ottimizzato di controllo della conformità (verificare la compatibilità interna dei set di emissione invece della completa ri-validazione della cronologia) è computazionalmente più efficiente.
• Compatibilità con l'Argomento End-to-End: Si afferma che Kiko è compatibile con l'argomento end-to-end costruendo applicazioni sopra servizi di comunicazione semplici e non ordinati (come UDP) anziché su middleware complessi e ordinati.

5. Significato

Il documento posiziona Kiko come un'evoluzione necessaria nella programmazione degli agenti, colmando il divario tra specifiche di protocollo astratte e implementazioni concrete e decentralizzate. Il suo significato risiede in:

• Disaccoppiamento tra Logica e Comunicazione: Permette agli sviluppatori di concentrarsi sulle regole di business senza gestire le complessità della sequenza dei messaggi o dell'affidabilità del trasporto.
• Abilitazione della Decentralizzazione: Supportando il trasporto non ordinato e con perdita di pacchetti, Kiko facilita l'implementazione di MAS robusti in ambienti dove la coordinazione centralizzata è impraticabile (ad es. IoT, edge computing, microservizi).
• Gestione della Complessità: Il supporto per i set di emissione e il ragionamento cross-enactment fornisce un modo strutturato per gestire processi di business complessi che si estendono su più agenti e protocolli, operazione difficile da ottenere con gli approcci tradizionali basati sulla gestione o sull'ordinamento dei messaggi.

Gli autori concludono che Kiko fornisce una base solida per l'ingegneria di agenti capaci di realizzare complessi protocolli di interazione in modo veramente decentralizzato, colmando il divario tra il design del protocollo di alto livello e l'implementazione di basso livello.