A Formal Model for Agent Active Goals
Jun Wu, Chongjun Wang, Luo Bin, Shifu Chen · 2014
Abstract: In agent architecture, an active goal is a functionally self-contained entity with independent control flow. The related syntax of active goal and the operational semantics of active goal execution are presented. Furthermore, the BDI agent architecture driven by active goals is formally specified. Different from some former BDI agent architectures, goals are explicitly represented in the agent architecture as active entities. Parallel goals are supported in the architecture level by a very natural fashion, which is considered to be an important aspect of the rational behavior of agent. What’s more, the explicit definition of goals provides convenience to the reconsideration of commitments for agents situated in dynamic environments. Key words: intelligent agent; agent architecture; agent programming language; BDI model; goal 摘 要: 在 agent 结构中,主动目标是一个功能上自含且有自己独立控制流的实体.给出了主动目标相关的语法定 义以及主动目标运行的操作语义,而且主动目标驱动下 的 BDI agent 结构也被形式化地定义出来.区别于以往的一 些 BDI agent结构,目标不是隐含地表示而是作为实体显式地表示 在 agent结构中, 使 agent结构很自然地支持并行