Pact: Linguaggio Coreografico per Ecosistemi Agenti
Un nuovo linguaggio coreografico chiamato Pact estende la progettazione di protocolli per sistemi multi-agente incorporando la teoria dei giochi. Pact permette di ragionare sull'interesse personale degli agenti e sulle politiche decisionali in ambienti aperti e non fidati. Mappa i protocolli a giochi formali, consentendo ai progettisti di risolvere strategie ottimali. Un'implementazione preliminare include un risolutore a razionalità limitata. Il lavoro è presentato in arXiv:2605.03143.
Fatti principali
- Pact è un linguaggio coreografico per ecosistemi agenti.
- Estende la programmazione coreografica con la teoria dei giochi.
- Pact mappa i protocolli a giochi formali.
- Permette di ragionare sull'interesse personale degli agenti e sulle politiche decisionali.
- Un'implementazione preliminare include un risolutore a razionalità limitata.
- Il lavoro è pubblicato su arXiv con ID 2605.03143.
- Affronta sistemi multi-agente con controparti non fidate.
- Il linguaggio attinge dalla letteratura della teoria dei giochi.
Entità
Istituzioni
- arXiv