Off-line Interpreter of Temporal Agent Programming Language TAOPLID
时序Agent程序设计语言TAOPLID的离线解释器

AOPLID is a novel agent-oriented programming language. In this paper,TAOPLID, a temporal extension of AOPLID, is given so as to represent and process concurrent actions with the time arguments. Based on off-line AOPLID program semantics, off-line TAOPLID interpreter is implemented in Prolog. First, the classical situation calculus is extended to the temporal situation calculus so as to enable a treatment of actions with explicit time, there- fore, concurrent processes with explicit time can be represented in the extended situation calculus. Next,off-line inter- preter of TAOPLID is implemented in order to execute an TAOPLID program with the time arguments. Because TAOPLID program is represented with set manner,it is difficult to be interpreted by TAOPLID interpreter, so TAO- PLID pre-processing program is designed and implemented. Pre-processing program can translate TAOPLID program into Prolog sub-clause which can be interpreted and a executable primitive action sequence can be achieved.