A Multi-facet Approach to Dynamic Agent Systems

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.

• Type: Journal
• Year: 2008
• Where: FUIN
• Authors: Marek A. Bednarczyk, Wieslaw Pawlowski, Luca Bernardinello, Lucia Pomello, Tomasz Borzyszkowski
• Keywords: Agent Aware Systems, Discrete System, FUIN 2008, Modular Way