作者: Zhisheng Huang , Anton Eliëns , Cees Visser
DOI: 10.1007/978-3-662-08373-4_5
关键词: Programming language 、 Dynamic logic (digital electronics) 、 Computer science 、 Scripting language 、 Formal semantics (linguistics) 、 Embodied cognition 、 Virtual world 、 Distributed logic 、 Gesture
摘要: In this chapter we propose a scripting language, called STEP, for embodied agents, in particular their communicative acts like gestures and postures. Based on the formal semantics of dynamic logic, STEP has solid semantic foundation, spite rich number variants compositional operators interaction facilities worlds. been implemented distributed logic programming language DLP, tool implementation 3D web agents. chapter, discuss principles design agents several aspects application STEP.