TY - GEN
T1 - Compositional formal specification of multi-agent systems
AU - Dunin-Keplicz, B.M.
AU - Treur, J.
PY - 1995
Y1 - 1995
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/citedby.url?scp=84949471398&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84949471398&partnerID=8YFLogxK
U2 - 10.1007/3-540-58855-8_6
DO - 10.1007/3-540-58855-8_6
M3 - Conference contribution
SN - 3540588558
SN - 9783540588559
VL - 890
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 102
EP - 117
BT - Intelligent Agents - ECAI 1994 Workshop on Agent Theories, Architectures, and Languages, Proceedings
A2 - Wooldridge, M.
PB - Springer/Verlag
T2 - 1st Workshop on Agent Theories, Architectures, and Languages, ECAI 1994
Y2 - 8 August 1994 through 9 August 1994
ER -