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 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.
|Name||Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|
|Workshop||1st Workshop on Agent Theories, Architectures, and Languages, ECAI 1994|
|Period||8/08/94 → 9/08/94|