Abstract
The compositional multi-agent design method DESIRE (DEsign and Specification of Interacting REasoning components) supports the design of autonomous interacting agents. Both the intra-agent functionality (i.e., the expertise required to perform the tasks for which an agent is responsible in terms of the knowledge, and reasoning and acting capabilities) and the inter-agent functionality (i.e., the expertise required to perform and guide co-ordination, co-operation and other forms of social interaction in terms of knowledge, and reasoning and acting capablities) are explicitly modelled. DESIRE views both the individual agents and the overall system as compositional structures—hence all functionality is designed in terms of interacting, compositionally structured components. Complex distributed processes are the result of tasks performed by agents in interaction with their environment.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Bibliography
C. Alexander. A Pattern Language. Oxford University Press, 1997.
Y. Aridor and D.B. Lange. Agent Design Patterns: Elements of Agent Application Design. Proc. of the Second Annual Conference on Autonomous Agents, Agents98, ACM Press, 108–115, 1998.
Barringer et al.,1996] H. Barringer, M. Fisher, D. Gabbay, R. Owens, and M. Reynolds, (eds.). The Imperative Future: Principles of Executable Temporal Logics Research Studies Press, Chichester, United Kingdom, 1996.
G. Booch. Object-Oriented Analysis and Design (2nd ed.). Addison-Wesley, 1994.
Brazier et al.,1995] F.M.T. Brazier, B.M. Dunin-Keplicz, N.R. Jennings and J. Treur. Formal specificadon of Multi-Agent Systems: a Real-World Case In V. Lesser (ed.), Proc. of the First International Conference on Multi-Agent Systems, ICMAS95,MIT Press, Cambridge, MA, 25–32. Extended version in: International Journal of Cooperative Information Systems,M. Huhns, M. Singh, (eds.), special issue on Formal Methods in Cooperative Information Systems: Multi-Agent Systems, 6, 67–94, 1997.
Brazier et al.,1996] F.M.T. Brazier, C.M. Jonker and J. Treur. Modelling Project Coordination in a Multi-Agent Framework. In: Proceedings of the Fifth Workshops on Enabling Technology for Collaborative Enterprises, WET ICE’96,IEEE Computer Society Press, 148–155, 1996. Extended version in Int. Journal of Cooperative Information Systems,9 171–207, 2000.
Brazier et al.,1998a] F.M.T. Brazier, E Cornelissen, R. Gustaysson, C.M. Jonker, O. Lindeberg, B. Polak and J. Treur. Agents Negotiating for Load Balancing of Electricity Use. In: M.P. Papazoglou, M. Takizawa, B. Krämer, S. Chanson (eds.), Proceedings of the 18th International Conference on Distributed Computing Systems, ICDCS’98,IEEE Computer Society Press, 622–629, 1998.
Brazier et al.,1998b] F.M.T. Brazier, C.M. Jonker, F.J. Jungen and J. Treur. Distributed Scheduling to Support a Call Centre: a Co-operative Multi-Agent Approach. In: Proceedings of the Third International Conference on the Application of Intelligent Agents and Multi-Agent Technology,H.S. Nwana and D.T. Ndumu (eds.), The Practical Application Company, Blackpool, 555–576, 1998. Also in: Applied Artificial Intelligence Journal,13 65–90, 1999. Special Issue with selected papers from PAAM98.
Brazier et al.,1998c] F.M.T. Brazier, C.M. Jonker and J. Treur. Principles of Compositional Multi-agent System Development. In: J. Cuena (ed.), Proceedings of the 15th IFIP World Computer Congress, WCC’98,Conference on Information Technology and Knowledge Systems, ITandKNOWS’98, 347360, 1998.
Brazier et al.,2000] F.M.T. Brazier, C.M. Jonker, J. Treur and N.J.E. Wijngaards. On the Use of Shared Task Models in Knowledge Acquisition, Strategic User Interaction and Clarification Agents. International Journal of Human-Computer Studies,52 77–110, 2000.
Coleman et al.,1994] D. Coleman, P. Arnold, S. Bodoff, C. Dollin, H. Gilchrist, F. Hayes and P. Jere-macs. Object-Oriented Development: the FUSION method. Prentice Hall International: Hempel Hempstead, England, 1994.
M. Fowler. Analysis Patterns: Reusable Object Models. Addison Wesley, 1997.
Gamma et al.,1995] E.R. Gamma, R. Helm, R. Johnson and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995.
M. Grand. Patterns in Java: Volume 1. John Wiley and Sons, 1998.
Hoek et al.,1994] W. van der Hoek, J.-J. Meyer and J. Treur. Formal semantics of temporal epistemic reflection, In: L. Fribourg and E Ttrrini (eds.), Logic Program Synthesis and Transformation-MetaProgramming in Logic, Proc. Fourth Int. Workshop on Meta-programming in Logic, META’94. Lecture Notes in Computer Science,883 Springer Verlag, 332–352, 1994.
N.R. Jennings and M. Wooldridge. Applications of Intelligent Agents. In: Jennings and Wooldridge, 3–28, 1998.
N.R. Jennings and M. Wooldridge (eds.), Agent Technology: Foundations, Applications, and Markets. Springer Verlag, 1998.
Jonker and Treur, 1998] C.M. Jonker and J. Treur. Compositional Verification of Multi-Agent Systems: a Formal Analysis of Pro-activeness and Reactiveness. In: W.P. de Roever, A. Pnueli et al. (eds.), Proceedings of the International Workshop on Compositionality, COMPOS97,Springer Verlag, 1998. Extended version in Int. Journal of Cooperative Information Systems,in press, 2001.
E.A. Kendall, P.V. Murali Krisna, C.V. Pathak and C.B. Suresh. Proc. of the Second Annual Conference on Autonomous Agents, Agents98. ACM press, 1998.
Kinny et al.,1996] D. Kinny, M.P. Georgeff and A.S. Rao. A Methodology and Technique for Systems of BDI Agents. In: W. van der Velde, J.W. Perram (eds.), Agents Breaking Away, Proc. 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW’96,Lecture Notes in AI, 1038 Springer Verlag, 56–71, 1996.
M. Luck and M. dlnverno. A formal framework for agency and autonomy. In: V. Lesser (ed.) Proc. of The first International Conference on Multi-Agent Systems, ICMAS95, AAAI Press, 254–260, 1995.
Rumbaugh et al.,1991] J. Rumbaugh, M. Blaha, W. Pelerlani, F. Eddy and W. Lorensen. Object-Oriented Modelling and Design,Prentice Hall, Eaglewoods Clifs, NJ, 1991.
J. Treur. On the use of reflection principles in modelling complex reasoning. International Journal of Intelligent Systems, 6, 277–294, 1991.
J. Treur Interaction types and chemistry of generic task models. In: M. Linster and B. Gaines (eds.). Proc. of the Fifth European Knowledge Acquisition Workshop, EKAW91. GMD Studien, 211, 390–414, 1992.
J. Treur. Heuristic reasoning and relative incompleteness. International Journal ofApproximate Reasoning, 8, 51–87, 1993.
J. Treur Temporal Semantics of Meta-Level Architectures for Dynamic Control of Reasoning. In: L. Fribourg and F. Turin (eds.), Logic Program Synthesis and Transformation-MetaProgramming in Logic, Proceedings of the Fourth International Workshop on Meta-Programming in Logic, META’94, Springer Verlag. Lecture Notes in Computer Science, 883, 353–376, 1994.
J. Treur and M. Willems A logical foundation for verification. In: A.G. Cohn (ed.), Proc. of The 11th European Conference on Artificial Intelligence, ECAI’94. John Wiley and Sons, Chichester, 745–749, 1994.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Brazier, F.M.T., Jonker, C.M., Treur, J. (2002). Compositional Design of Multi-Agent Systems: Modelling Dynamics and Control. In: Meyer, JJ.C., Treur, J. (eds) Agent-Based Defeasible Control in Dynamic Environments. Handbook of Defeasible Reasoning and Uncertainty Management Systems, vol 7. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-1741-0_3
Download citation
DOI: https://doi.org/10.1007/978-94-017-1741-0_3
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-6109-6
Online ISBN: 978-94-017-1741-0
eBook Packages: Springer Book Archive