We are concerned with the problem of defining a complex, hybrid, agent based discrete system in a modular way. The modularity results from looking at the system from a number of different perspectives, each dealing with a specific aspect of the system. As a solution a synchronization operator is proposed which glues agent aware systems on shared agents and transitions. The construction turns out to be a categorical product. We also show that a logic to talk about the temporal and the structural properties of the product can be obtained by gluing suitable logical frameworks from the components.
Bednarczyk, M., Pawlowski, W., Bernardinello, L., POMELLO CHINAGLIA POMELLO, L., Borzyszkowski, T. (2008). A Multi-facet Approach to Dynamic Agent Systems. FUNDAMENTA INFORMATICAE, 85(1-4), 19-33.
A Multi-facet Approach to Dynamic Agent Systems
BERNARDINELLO, LUCA;POMELLO CHINAGLIA POMELLO, LUCIA;
2008
Abstract
We are concerned with the problem of defining a complex, hybrid, agent based discrete system in a modular way. The modularity results from looking at the system from a number of different perspectives, each dealing with a specific aspect of the system. As a solution a synchronization operator is proposed which glues agent aware systems on shared agents and transitions. The construction turns out to be a categorical product. We also show that a logic to talk about the temporal and the structural properties of the product can be obtained by gluing suitable logical frameworks from the components.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
