The Semantics of MALLET-An Agent Teamwork Encoding Language

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.

• Type: Conference
• Year: 2004
• Where: DALT
• Authors: Xiaocong Fan, John Yen, Michael S. Miller, Richard A. Volz
• Keywords: DALT 2004, MALLET, MALLET Interpreters, Team-oriented Agent Specification