XSTEP: a markup language for embodied agents

In this paper we propose an XML-based markup language. called XSTEP for embodied agents, based on the scripting language STEP. XSTEP is the XML-based successor of STEP. The scripting language STEP incorporates the formal semantics of dynamic logic, and has been implemented in the distributed logic programming language DLP, a tool for the implementation of 3D Web agents. In this paper we discuss the issues of markup language design for embodied agents and several aspects of the implementation and application of XSTEP.