Katia Santacà (@UniVR), Matteo Cristani (@UniVR), Marco Rocchetto (@SnT@Uni.lu), Luca Viganò (@KCL)
We propose a topological categorization of agents that makes use of the multiple-channel logic (MCL) framework, a recently developed model of reasoning about agents. We firstly introduce a complete formalization of prejudices on agents’ attitudes and propose an extension of the rules of the MCL framework. We then use RCC5 (the Region Connection Calculus) to categorize different agents in Multi-Agent Systems (MAS) based on the collaboration, competence, and honesty of agents. We discuss the possibility of using RCC3 and RCC8 and generalize our results to define an upper bound on the number of different types of agents in MAS. Finally, we apply our topological categorization to a specific MAS that describes a Cyber-Physical System, for which we define, categorize and discuss the resulting attack states.
@inproceedings{Santaca2016ABF,
author = {Katia Santac{\`{a}} and
Matteo Cristani and
Marco Rocchetto and
Luca Vigan{\`{o}}},
title = {A Topological Categorization of Agents for the Definition of Attack
States in Multi-agent Systems},
booktitle = {In Proceedings of the EUropean conference on Multi-Agent Systems
and Agreement Technologies {EUMAS}},
pages = {261--276},
year = {2016},
crossref = {DBLP:conf/eumas/2016},
url = {https://doi.org/10.1007/978-3-319-59294-7\_21},
doi = {10.1007/978-3-319-59294-7\_21},
timestamp = {Tue, 14 May 2019 10:00:50 +0200}
}