Knowledge Dynamics and Behavioural Equivalences in Multi-Agent Systems

Bogdan Aman and Gabriel Ciobanu
Additional contact information
Bogdan Aman: Institute of Computer Science, Romanian Academy, 700505 Iaşi, Romania
Gabriel Ciobanu: Faculty of Computer Science, Alexandru Ioan Cuza University, 700506 Iaşi, Romania

Mathematics, 2021, vol. 9, issue 22, 1-26

Abstract: We define a process calculus to describe multi-agent systems with timeouts for communication and mobility able to handle knowledge. The knowledge of an agent is represented as sets of trees whose nodes carry information; it is used to decide the interactions with other agents. The evolution of the system with exchanges of knowledge between agents is presented by the operational semantics, capturing the concurrent executions by a multiset of actions in a labelled transition system. Several results concerning the relationship between the agents and their knowledge are presented. We introduce and study some specific behavioural equivalences in multi-agent systems, including a knowledge equivalence able to distinguish two systems based on the interaction of the agents with their local knowledge.

Keywords: mobile agents; timeouts; knowledge as set of trees; behavioural equivalences (search for similar items in EconPapers)
JEL-codes: C (search for similar items in EconPapers)
Date: 2021
References: View complete reference list from CitEc
Citations: View citations in EconPapers (1)

Downloads: (external link)
https://www.mdpi.com/2227-7390/9/22/2869/pdf (application/pdf)
https://www.mdpi.com/2227-7390/9/22/2869/ (text/html)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:gam:jmathe:v:9:y:2021:i:22:p:2869-:d:676988

Access Statistics for this article

Mathematics is currently edited by Ms. Emma He

More articles in Mathematics from MDPI
Bibliographic data for series maintained by MDPI Indexing Manager ().