Abstract
MALLET is a team-oriented agent specification and programming language. In this paper, we define an operational semantics for MALLET in terms of a transition system. The semantics can be used to guide the implementation of MALLET interpreters, and to formally study the properties of team-based agents specified in MALLET.
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
Cohen, P.R., Levesque, H.J.: Teamwork. Nous 25, 487–512 (1991)
Cohen, P.R., Levesque, H.J., Smith, I.A.: On team formation. In: Hintikka, J., Tuomela, R. (eds.) Contemporary Action Theory (1997)
Jennings, N.R.: Controlling cooperative problem solving in industrial multi-agent systems using joint intentions. Artificial Intelligence 75, 195–240 (1995)
Grosz, B., Kraus, S.: Collaborative plans for complex group actions. Artificial Intelligence 86, 269–358 (1996)
Tambe, M.: Towards flexible teamwork. Journal of AI Research 7, 83–124 (1997)
Rich, C., Sidner, C.: Collagen: When agents collaborate with people. In: Proceedings of the International Conference on Autonomous Agents (Agents 1997), pp. 284–291 (1997)
Giampapa, J., Sycara, K.: Team-oriented agent coordination in the RETSINA multi-agent system. Technical Report CMU-RI-TR-02-34, CMU (2002)
Yen, J., Yin, J., Ioerger, T., Miller, M., Xu, D., Volz, R.: CAST: Collaborative agents for simulating teamworks. In: Proceedings of IJCAI 2001, pp. 1135–1142 (2001)
Tidhar, G.: Team oriented programming: Preliminary report. In: Technical Report 41, AAII, Australia (1993)
Pynadath, D.V., Tambe, M., Chauvat, N., Cavedon, L.: Toward team-oriented programming. In: Agent Theories, Architectures, and Languages, pp. 233–247 (1999)
Scerri, P., Pynadath, D.V., Schurr, N., Farinelli, A.: Team oriented programming and proxy agents: the next generation. In: Proc. of the 1st Inter. Workshop on Prog. MAS at AAMAS 2003, pp. 131–138 (2003)
Rao, A.S., Georgeff, M.P., Sonenberg, E.A.: Social plans: A preliminary report. In: Werner, E., Demazeau, Y. (eds.) Decentralized AI 3 –Proceedings of MAAMAW 1991, pp. 57–76. Elsevier Science B.V., Amsterdam (1992)
Kinny, D., Ljungberg, M., Rao, A.S., Sonenberg, E., Tidhar, G., Werner, E.: Planned team activity. In: Castelfranchi, C., Werner, E. (eds.) MAAMAW 1992. LNCS (LNAI), vol. 830, pp. 226–256. Springer, Heidelberg (1994)
Tidhar, G., Rao, A., Sonenberg, E.: Guided team selection. In: Proceedings of the 2nd International Conference on Multi-agent Systems (ICMAS 1996) (1996)
Rao, A.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Perram, J., Van de Velde, W. (eds.) MAAMAW 1996. LNCS (LNAI), vol. 1038, pp. 42–55. Springer, Heidelberg (1996)
Pozos-Parra, P., Nayak, A., Demolombe, R.: Theories of intentions in the framework of situation calculus. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol. 3476, pp. 19–34. Springer, Heidelberg (2005)
Bordini, R., Fisher, M., Pardavila, C., Wooldridge, M.: Model checking agentspeak. In: Proceedings of AAMAS 2003, pp. 409–416 (2003)
Wooldridge, M., Fisher, M., Huget, M., Parsons, S.: Model checking multiagent systems with MABLE. In: Proceedings of AAMAS 2002, pp. 952–959 (2002)
Dastani, M., van Riemsdijk, B., Dignum, F., Meyer, J.J.C.: A programming language for cognitive agents: Goal directed 3APL. In: Proc. of the 1st Inter. Workshop on Prog. MAS at AAMAS 2003, pp. 111–130 (2003)
Giacomo, G.D., Lesperance, Y., Levesque, H.J.: ConGolog, a concurrent programming language based on the situation calculus. AI 121, 109–169 (2000)
van Riemsdijk, M.B., Dastani, M., Dignum, F., Meyer, J.J.C.: Dynamics of declarative goals in agent programming. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol. 3476, pp. 1–18. Springer, Heidelberg (2005)
Robertson, D.: A lightweight coordination calculus for agent systems. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol. 3476, pp. 183–197. Springer, Heidelberg (2005)
Winikoff, M., Liu, W., Harland, J.: Enhancing commitment machines. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol. 3476, pp. 198–220. Springer, Heidelberg (2005)
Yen, J., Fan, X., Sun, S., Hanratty, T., Dumer, J.: Agents with shared mental models for enhancing team decision-makings. Decision Support Systems, Special issue on Intelligence and Security Informatics (2004) (in press)
Yen, J., et al.: CAST manual. Technical report, IST, The Pennsylvania State University (2004)
JACK Teams Manual (2004), http://www.agent-software.com/shared/demosNdocs/JACK-Teams-Manual.pdf
OWL-S (2003), http://www.daml.org/services/owl-s/1.0/owl-s.html
McDermott, D.: The formal semantics of processes in PDDL. In: Proc. ICAPS Workshop on PDDL (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fan, X., Yen, J., Miller, M.S., Volz, R.A. (2005). The Semantics of MALLET–An Agent Teamwork Encoding Language. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds) Declarative Agent Languages and Technologies II. DALT 2004. Lecture Notes in Computer Science(), vol 3476. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11493402_5
Download citation
DOI: https://doi.org/10.1007/11493402_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-26172-8
Online ISBN: 978-3-540-31927-6
eBook Packages: Computer ScienceComputer Science (R0)