Abstract
This paper deals with the design of multi-agent systems. We demonstrate the goal-oriented agent model called Goal Decomposition Tree on an already studied multi-agent example, that of robots which must clean pieces of garbage on Mars. As we show, the model allows to prove that the agents’ behaviour indeed achieves their goal. We then compare our approach to other ones.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alechina, N., Logan, B., Whitsey, M.: A complete and decidable logic for resource-bounded agents. In: Kudenko, D., Kazakov, D., Alonso, E. (eds.) AAMAS 2004. LNCS (LNAI), vol. 3394, Springer, Heidelberg (2005)
Wooldridge, M.J., Visser, W., Bordini, R.H., Fisher, M.: Verifiable Multi-agent Programs. In: Dastani, M., Dix, J., El Fallah-Seghrouchni, A. (eds.) PROMAS 2003. LNCS (LNAI), vol. 3067, pp. 72–89. Springer, Heidelberg (2004)
Bracciali, A., Endriss, U., Demetriou, N., Kakas, T., Lu, W., Stathis, K.: Crafting the mind of prosocs agents. In: Best of ’From Agent Theory to Agent Implementation 4’ (to appear, 2004)
Brazier, F.M.T., van Eck, P.A.T., Treur, J.: Modelling a Society of Simple Agents: from Conceptual Specification to Experimentation. In: Simulating Social Phenomena, Lecture Notes in Economics and Mathematical Systems, vol 456., pp. 103–109 (1997)
Clear-Sy. B for free, http://www.b4free.com/public/resources.php
Deloach, S.A., Sparkman, C.H., Self, A.L.: Automated derivation of complex agent architectures from analysis specifications. In: Wooldridge, M.J., Weiß, G., Ciancarini, P. (eds.) AOSE 2001. LNCS, vol. 2222, Springer, Heidelberg (2002)
Dastani, M., de Boer, F., Dignum, F., Meyer, J.-J.: Programming agent deliberation: An approach illustrated using the 3apl language. In: Proceedings of the Second International Conference on Autonomous Agents and MultiAgent Systems (AAMAS 2003) (2003)
de Boer, F.S., Hindriks, K.V., van der Hoek, W., Meyer, J.-J.C.: Agent programming with declarative goals. In: 7th International Workshop on Intelligent Agents. Agent Theories Architectures and Language, pp. 228–243 (2000)
Fisher, M.: A survey of concurrent METATEM – the language and its applications. In: Gabbay, D.M., Ohlbach, H.J. (eds.) ICTL 1994. LNCS, vol. 827, pp. 480–505. Springer, Heidelberg (1994)
De Giacomo, G., Lesperance, Y., Levesque, H.J.: Congolog, a concurrent programming language based on the situation calculus. Artificial Intelligence 121(1-2), 109–169 (2000)
Kacprzak, M., Lomuscio, A., Penczek, W.: Verification of multiagent systems via unbounded model checking. In: Kudenko, D., Kazakov, D., Alonso, E. (eds.) AAMAS 2004. LNCS (LNAI), vol. 3394, Springer, Heidelberg (2005)
Khallouf, J., Winikoff, M.: Towards goal-oriented design of agent systems. In: Proceedings of ISEAT 2005 (2005)
Mermet, B., Fournier, D., Simon, G.: An agent compositional proof system. In: From Agent Theory to Agent Implementation (AT2AI 2006) (2006)
Mermet, B., Simon, G., Saval, A., Zanuttini, B.: GDTs and Proofs for Robots on Mars. Technical report, GREYC (2006), http://scott.univ-lehavre.fr/~mermet/GDT/applications/proofRoM.pdf
Raimondi, F., Lomuscio, A.: Verification of multiagent systems via orderd binary decision diagrams: an algorithm and its implementation. In: Kudenko, D., Kazakov, D., Alonso, E. (eds.) AAMAS 2004. LNCS (LNAI), vol. 3394, Springer, Heidelberg (2005)
Rao, A.S.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Perram, J., Van de Velde, W. (eds.) MAAMAW 1996. LNCS, vol. 1038, Springer, Heidelberg (1996)
Saval, A.: Robots on mars: implementation (2006), http://arnaud.saval.free.fr/backup/applet/page.html
Simon, G., Flouret, M.: Implementing Validated Agents Behaviours with Automata Based on Goal Decomposition Trees. In: Müller, J.P., Zambonelli, F. (eds.) AOSE 2005. LNCS, vol. 3950, pp. 124–138. Springer, Heidelberg (2006)
Simon, G., Mermet, B., Fournier, D.: Goal decomposition tree: An agent model to generate a validated agent behaviour. In: Baldoni, M., Endriss, U., Omicini, A., Torroni, P. (eds.) DALT 2005. LNCS (LNAI), vol. 3904, pp. 124–140. Springer, Heidelberg (2006)
van Riemsdijk, M.B., Dastani, M., Dignum, F., Meyer, J.-J.C.: Dynamics of declarative goals in agent programming. In: Leite, J.A., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol. 3476, pp. 1–18. Springer, Heidelberg (2005)
Winikoff, M., Padgham, L., Harland, J., Thangarajah, J.: Declarative & procedural goals in intelligent agent systems. In: 8th International Conference on Principles of Knowledge Representation and Reasoning (KR 2002) (2003)
Wooldridge, M., Jennings, N.R., Kinny, D.: The gaia methodology for agent-oriented analysis and design. Journal of Autonomous Agents and Multi-Agent Systems 3(3), 285–312 (2000)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mermet, B., Simon, G., Zanuttini, B., Saval, A. (2008). Specifying and Verifying a MAS:The Robots on Mars Case Study. In: Dastani, M., El Fallah Seghrouchni, A., Ricci, A., Winikoff, M. (eds) Programming Multi-Agent Systems. ProMAS 2007. Lecture Notes in Computer Science(), vol 4908. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-79043-3_11
Download citation
DOI: https://doi.org/10.1007/978-3-540-79043-3_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-79042-6
Online ISBN: 978-3-540-79043-3
eBook Packages: Computer ScienceComputer Science (R0)