Summary
In this chapter we propose a scripting language, called STEP, for embodied agents, in particular for their communicative acts like gestures and postures. Based on the formal semantics of dynamic logic, STEP has a solid semantic foundation, in spite of a rich number of variants of the compositional operators and interaction facilities on worlds. STEP has been implemented in the distributed logic programming language DLP, a tool for the implementation of 3D web agents. In this chapter, we discuss principles of scripting language design for embodied agents and several aspects of the application of STEP.