This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
MALLET-A Multi-Agent Logic Language for Encoding Teamwork
January 2006 (vol. 18 no. 1)
pp. 123-138
MALLET, a Multi-Agent Logic Language for Encoding Teamwork, is intended to enable expression of teamwork emulating human teamwork, allowing experimentation with different levels and forms of inferred team intelligence. A consequence of this goal is that the actual teamwork behavior is determined by the level of intelligence built into the underlying system as well as the semantics of the language. In this paper, we give the design objectives, the syntax, and an operational semantics for MALLET in terms of a transition system. We show how the semantics can be used to reason about the behaviors of team-based agents. The semantics can also be used to guide the implementation of various MALLET interpreters emulating different forms of team intelligence, as well as formally study the properties of team-based agents specified in MALLET. We have explored various forms of proactive information exchange behavior embodied in human teamwork using the CAST system, which implements a built-in MALLET interpreter.

[1] X. Fan, J. Yen, M. Miller, and R.A. Volz, “The Semantics of MALLET— An Agent Teamwork Encoding Language,” Declarative Agent Languages and Technologies II: Proc. Second Int'l Workshop (DALT 2004), J. Leite, A. Omicini, and P. Torroni, eds., pp. 69-91, 2005.
[2] P.R. Cohen and H.J. Levesque, “Teamwork,” Nous, vol. 25, no. 4, pp. 487-512, 1991.
[3] P.R. Cohen, H.J. Levesque, and I.A. Smith, “On Team Formation,” Contemporary Action Theory, J. Hintikka and R. Tuomela, eds., 1997.
[4] N.R. Jennings, “Controlling Cooperative Problem Solving in Industrial Multi-Agent Systems Using Joint Intentions,” Artificial Intelligence, vol. 75, no. 2, pp. 195-240, 1995.
[5] B. Grosz and S. Kraus, “Collaborative Plans for Complex Group Actions,” Artificial Intelligence, vol. 86, pp. 269-358, 1996.
[6] M. Tambe, “Towards Flexible Teamwork,” J. AI Research, vol. 7, pp. 83-124, 1997.
[7] C. Rich and C.L. Sidner, “COLLAGEN: When Agents Collaborate with People,” AGENTS '97: Proc. First Int'l Conf. Autonomous Agents, pp. 284-291, 1997.
[8] J. Giampapa and K. Sycara, “Team-Oriented Agent Coordination in the RETSINA Multi-Agent System,” Technical Report CMU-RI-TR-02-34, Robotics Inst., Carnegie Mellon Univ., 2002.
[9] J. Yen, J. Yin, T. Ioerger, M. Miller, D. Xu, and R. Volz, “CAST: Collaborative Agents for Simulating Teamworks,” Proc. Int'l Joint Confs. Artificial Intelligence (IJCAI 2001), pp. 1135-1142, 2001.
[10] G. Tidhar, “Team Oriented Programming: Preliminary Report,” Technical Report 41, AAII, Australia, 1993.
[11] D.V. Pynadath, M. Tambe, N. Chauvat, and L. Cavedon, “Toward Team-Oriented Programming,” Agent Theories, Architectures, and Languages, pp. 233-247, 1999.
[12] P. Scerri, D.V. Pynadath, N. Schurr, and A. Farinelli, “Team Oriented Programming and Proxy Agents: The Next Generation,” Proc. First Int'l Workshop Programming MAS at AAMAS '03, 2003.
[13] J. Yin, M.S. Miller, T.R. Ioerger, J. Yen, and R.A. Volz, “A Knowledge-Based Approach for Designing Intelligent Team Training Systems,” AGENTS '00: Proc. Fourth Int'l Conf. Autonomous Agents, pp. 427-434, 2000.
[14] J. Yen, X. Fan, S. Sun, T. Hanratty, and J. Dumer, “Agents with Shared Mental Models for Enhancing Team Decision-Makings,” Decision Support Systems, special issue on intelligence and security informatics, 2005.
[15] J. Laird, A. Newell, and P. Rosenbloom, “SOAR: An Architecture for General Intelligence,” AI, vol. 33, no. 1, pp. 1-64, 1987.
[16] K. Sycara, K. Decker, A. Pannu, M. Williamson, and D. Zeng, “Distributed Intelligent Agents,” IEEE Expert, Intelligent Systems and Their Applications, vol. 11, no. 6, pp. 36-45, 1996.
[17] “JACK Teams Manual,” http://www.agent-software.com/shared/demosNdocs JACK-Teams-Manual.pdf, 2003.
[18] X. Fan and J. Yen, “Modeling and Simulating Human Teamwork Behaviors Using Intelligent Agents,” Physics of Life Rev., vol. 1, no. 3, pp. 173-201, 2004.
[19] P. Scerri, D. Pynadath, L. Johnson, P. Rosenbloom, M. Si, N. Schurr, and M. Tambe, “A Prototype Infrastructure for Distributed Robot-Agent-Person Teams,” AAMAS '03: Proc. Second Int'l Joint Conf. Autonomous Agents and Multiagent Systems, pp. 433-440, 2003.
[20] E. Davis, “Knowledge Preconditions for Plans,” J. Logic and Computation, vol. 4, no. 5, pp. 721-766, 1994.
[21] N. Jennings, P. Faratin, M. Johnson, T. Norman, P. O'Brien, and M. Wiegand, “Agent-Based Business Process Management,” Int'l J. Cooperative Information Systems, vol. 5, nos. 2-3, pp. 105-130, 1996.
[22] R. Tuomela and K. Miller, “We-Intentions,” Philosophical Studies, vol. 53, nos. 2-3, pp. 367-389, 1988.
[23] X. Fan, J. Yen, and R.A. Volz, “A Theoretical Framework on Proactive Information Exchange in Agent Teamwork,” Artificial Intelligence, vol. 169, no. 1, pp. 23-97, 2005.
[24] J.R. Anderson and C. ALebiere, The Atomic Components of Thought. Hillsdale, N.J.: Lawrence Erlbaum Assoc., 1998.
[25] G. Tidhar, A. Rao, and E. Sonenberg, “Guided Team Selection,” Proc. Second Int'l Conf. Multi-Agent Systems (ICMAS-96), 1996.
[26] P. Kogut, J. Yen, Y. Leung, S. Sun, R. Wang, T. Mielczarek, and B. Hellar, “Proactive Information Gathering for Homeland Security Teams,” Comm. ACM, vol. 47, no. 3, pp. 48-50, 2004.
[27] P.R. Cohen and H.J. Levesque, “Intention Is Choice with Commitment,” Artificial Intelligence, vol. 42, pp. 213-261, 1990.
[28] A. Rao, “AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language,” Proc. Modelling Autonomous Agents in a Multi-Agent World (MAAMAW '96,), pp. 42-55, 1996.
[29] R. Bordini, M. Fisher, C. Pardavila, and M. Wooldridge, “Model Checking AgentSpeak,” Proc. Int'l Joint Conf. Autonomous Agents and Multi-Agent Systems (AAMAS-2003), pp. 409-416, 2003.
[30] X. Fan, S. Sun, M. McNeese, and J. Yen, “Extending the Recognition-Primed Decision Model to Support Human-Agent Collaboration,” Proc. Fourth Int'l Joint Conf. Autonomous Agents and Multi-Agent Systems, pp. 945-952, 2005.
[31] M. Wooldridge, M. Fisher, M.-P. Huget, and S. Parsons, “Model Checking Multi-Agent Systems with MABLE,” AAMAS '02: Proc. First Int'l Joint Conf. Autonomous Agents and Multi-Agent Systems, pp. 952-959, 2002.
[32] M. Dastani, B. van Riemsdijk, F. Dignum, and J.-J.C. Meyer, “A Programming Language for Cognitive Agents: Goal Directed 3APL,” Proc. First Int'l Workshop Programming Multi-Agent Systems at AAMAS '03, 2003.
[33] G.D. Giacomo, Y. Lesperance, and H.J. Levesque, “ConGolog, a Concurrent Programming Language Based on the Situation Calculus,” AI, vol. 121, nos. 1-2, pp. 109-169, 2000.
[34] G.J. Holzmann, “The Model Checker SPIN,” IEEE Trans. Software Eng. , vol. 23, no. 5, pp. 279-295, May 1997.

Index Terms:
Index Terms- Artificial intelligence, distributed artificial intelligence, languages and structures.
Citation:
Xiaocong Fan, John Yen, Michael Miller, Thomas R. Ioerger, Richard Volz, "MALLET-A Multi-Agent Logic Language for Encoding Teamwork," IEEE Transactions on Knowledge and Data Engineering, vol. 18, no. 1, pp. 123-138, Jan. 2006, doi:10.1109/TKDE.2006.13
Usage of this product signifies your acceptance of the Terms of Use.