Abstract

In this paper it is investigated how multi-agent systems with complex agents can be designed and formally specified based on the notion of a compositional architecture. After identifying the types of knowledge required for an agent we formally define a general multi-agent system. Moreover, a specific type of agent with various capabilities of reasoning and acting is given. Some essential patterns of integrated reasoning, communication and interaction with the material world are described. Finally, we present an overview of formal semantics for our approach. 1

Citations