KQML as an agent communication language
CIKM '94 Proceedings of the third international conference on Information and knowledge management
Component software: beyond object-oriented programming
Component software: beyond object-oriented programming
Behavior Protocols for Software Components
IEEE Transactions on Software Engineering
Proving BDI Properties of Agent-Oriented Programming Languages
Annals of Mathematics and Artificial Intelligence
Lucx: lucid enriched with context
Lucx: lucid enriched with context
An intensional programming approach to multi-agent coordination in a distributed network of agents
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
A software architecture for multi-agent systems
CIS'05 Proceedings of the 2005 international conference on Computational Intelligence and Security - Volume Part I
Towards a formal methodology for designing multi-agent applications
MATES'05 Proceedings of the Third German conference on Multiagent System Technologies
LEADSTO: a language and environment for analysis of dynamics by simulation
MATES'05 Proceedings of the Third German conference on Multiagent System Technologies
| Hi-index | 0.00 |
A Multi-agent system (MAS) is an open distributed system of agents. The agents in a MAS may form certain specific groups, where agents in each group jointly engage in solving a specific problem. Since problem solving in a specific domain requires agents to have the BDI set that is specific to that application domain, and several groups of agents with each group inheriting one set of BDI, may exist in a large system, the MAS is not only heterogeneous but also has a heavy overhead on the system execution. This complexity must be resolved at the architecture level so that in an implementation the complexity does not arise. In this paper we introduce a formal multi-layered component-based architecture towards developing a dependable MAS. Agent communication and configurations are also discussed. To illustrate our approach, we discuss a solution to a travel planning example using the techniques presented in this paper.