时序Agent程序设计语言TAOPLID的离线解释器  

Off-line Interpreter of Temporal Agent Programming Language TAOPLID

作　　者：李斌[1] 唐小燕[1] 吴梅丽[1] 张东摩[2] 吕建[2] 

机构地区：[1]扬州大学计算机科学与工程系,扬州225009 [2]南京大学计算机软件新技术国家重点实验室,南京210093

出　　处：《计算机科学》2005年第5期144-146,154,共4页Computer Science

基　　金：国家重点基础研究发展规划973(No.2002CB312002);江协省自然科学基金

摘　　要：AOPLID是一种面向agent程序设计语言。本文旨在对AOPLID语言进行时序扩充,使之能表达并处理带时间参数的并发行动,基于离线方式下AOPLID程序的语义,用Prolog语言实现时序AOPLID语言(TAOPLID)的离线解释器。首先,我们对经典情境演算进行适当改造,使之能描述含时间变元的行动,因为持续行动一般可认为是具有瞬时开始行动和瞬时终止行动的过程,所以可以将一个持续动作分解为两个时间上互不相交的瞬时动作,再引入一个新的关系流刻画这两个瞬时动作的执行情况,从而可在扩充后的情境演算中表达带时间参数的并发行动。其次,为使TAOPLID离线解释器方便处理以集合方式表示的TAOPLID程序,设计并实现了TAOPLID预处理器,它将TAO-PLID程序的集合形式转换成Prolog子句形式,然后通过TAPOLID离线解释器对其解释生成一可执行的原子行动序列。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.

关 键 词：程序设计语言 AGENT 离线 时序 AOPLID语言 解释器 Prolog语言 面向agent 时间参数 情境演算 执行情况 形式转换 瞬时 不相交 再引入 预处理 TAO 扩充 发行 表达 集合 子句 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论] TP18[自动化与计算机技术—计算机科学与技术]