Knowledge Dynamics and Behavioural Equivalences in Multi-Agent Systems

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 s...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Bogdan Aman, Gabriel Ciobanu
Formato:	article
Lenguaje:	EN
Publicado:	MDPI AG 2021
Materias:	mobile agents timeouts knowledge as set of trees behavioural equivalences Mathematics QA1-939
Acceso en línea:	https://doaj.org/article/16f1aa9a2ed44df98cb755db5f941b93
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

id	oai:doaj.org-article:16f1aa9a2ed44df98cb755db5f941b93
record_format	dspace
spelling	oai:doaj.org-article:16f1aa9a2ed44df98cb755db5f941b932021-11-25T18:16:44ZKnowledge Dynamics and Behavioural Equivalences in Multi-Agent Systems10.3390/math92228692227-7390https://doaj.org/article/16f1aa9a2ed44df98cb755db5f941b932021-11-01T00:00:00Zhttps://www.mdpi.com/2227-7390/9/22/2869https://doaj.org/toc/2227-7390We 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.Bogdan AmanGabriel CiobanuMDPI AGarticlemobile agentstimeoutsknowledge as set of treesbehavioural equivalencesMathematicsQA1-939ENMathematics, Vol 9, Iss 2869, p 2869 (2021)
institution	DOAJ
collection	DOAJ
language	EN
topic	mobile agents timeouts knowledge as set of trees behavioural equivalences Mathematics QA1-939
spellingShingle	mobile agents timeouts knowledge as set of trees behavioural equivalences Mathematics QA1-939 Bogdan Aman Gabriel Ciobanu Knowledge Dynamics and Behavioural Equivalences in Multi-Agent Systems
description	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.
format	article
author	Bogdan Aman Gabriel Ciobanu
author_facet	Bogdan Aman Gabriel Ciobanu
author_sort	Bogdan Aman
title	Knowledge Dynamics and Behavioural Equivalences in Multi-Agent Systems
title_short	Knowledge Dynamics and Behavioural Equivalences in Multi-Agent Systems
title_full	Knowledge Dynamics and Behavioural Equivalences in Multi-Agent Systems
title_fullStr	Knowledge Dynamics and Behavioural Equivalences in Multi-Agent Systems
title_full_unstemmed	Knowledge Dynamics and Behavioural Equivalences in Multi-Agent Systems
title_sort	knowledge dynamics and behavioural equivalences in multi-agent systems
publisher	MDPI AG
publishDate	2021
url	https://doaj.org/article/16f1aa9a2ed44df98cb755db5f941b93
work_keys_str_mv	AT bogdanaman knowledgedynamicsandbehaviouralequivalencesinmultiagentsystems AT gabrielciobanu knowledgedynamicsandbehaviouralequivalencesinmultiagentsystems
_version_	1718411364989403136

Knowledge Dynamics and Behavioural Equivalences in Multi-Agent Systems

Ejemplares similares