带时间参数的面向agent的程序语言AOPLID

对面向ａｇｅｎｔ的程序设计语言ＡＯＰＬＩＤ进行时态扩充，使之能表达并处理带时间参数的并发行动。对经典情境演算进行适当改造，使之能描述含时间变元的行动，因为持续行动一般可认为是具有瞬时开始行动和瞬时终止行动的过程，因此可以将一个持续动作分解为两个时间上互不相交的瞬时动作，再引入一个新的关系流刻画这两个瞬时动作的执行情况，从而可在扩充后的情境演算中表达带时间参数的并发行动；对已有的ＡＯＰＬＩＤ离线解释器进行了适当改造与扩充，使之能执行带时间变元的ＡＯＰＬＩＤ程序；通过实例说明了该方法以及扩充后的一些语言特色。

Agent-Oriented Programming Language with Time Quantities AOPLID

Aims to give a temporal extension of the agent oriented programming language AOPLID so as to represent and process concurrent actions with the time arguments. Firstly, the classical situation calculus is extended to the temporal situation calculus to enable a treatment of actions with explicit time. Because the actions with duration can be viewed as processes that initiate and terminate by instantaneous actions, a duration action can be decomposed into two instantaneous actions that do not interlap with each other. A new relational flow is also introduced to describe the executive account of the two instantaneous actions, so that concurrent processes with explicit time can be represented in the extended situation calculus. Secondly, the existed off line interpreter for AOPLID is modified and expanded in order to execute an AOPLID program with the time arguments. Finally, the examples are given to demonstrate the methods and the features of the extended language.