A Logic for Policy Based Resource Exchanges in Multiagent Systems
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , , , |
|---|---|
| Format: | Preprint |
| Publié: |
2024
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866913471128403968 |
|---|---|
| author | Ceragioli, Lorenzo Degano, Pierpaolo Galletta, Letterio Viganò, Luca |
| author_facet | Ceragioli, Lorenzo Degano, Pierpaolo Galletta, Letterio Viganò, Luca |
| contents | In multiagent systems autonomous agents interact with each other to achieve individual and collective goals. Typical interactions concern negotiation and agreement on resource exchanges. Modeling and formalizing these agreements pose significant challenges, particularly in capturing the dynamic behaviour of agents, while ensuring that resources are correctly handled. Here, we propose exchange environments as a formal setting where agents specify and obey exchange policies, which are declarative statements about what resources they offer and what they require in return. Furthermore, we introduce a decidable extension of the computational fragment of linear logic as a fundamental tool for representing exchange environments and studying their dynamics in terms of provability. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2408_09516 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | A Logic for Policy Based Resource Exchanges in Multiagent Systems Ceragioli, Lorenzo Degano, Pierpaolo Galletta, Letterio Viganò, Luca Logic in Computer Science Artificial Intelligence In multiagent systems autonomous agents interact with each other to achieve individual and collective goals. Typical interactions concern negotiation and agreement on resource exchanges. Modeling and formalizing these agreements pose significant challenges, particularly in capturing the dynamic behaviour of agents, while ensuring that resources are correctly handled. Here, we propose exchange environments as a formal setting where agents specify and obey exchange policies, which are declarative statements about what resources they offer and what they require in return. Furthermore, we introduce a decidable extension of the computational fragment of linear logic as a fundamental tool for representing exchange environments and studying their dynamics in terms of provability. |
| title | A Logic for Policy Based Resource Exchanges in Multiagent Systems |
| topic | Logic in Computer Science Artificial Intelligence |
| url | https://arxiv.org/abs/2408.09516 |