摘要： AOPLID是一种面向agent程序设计语言。本文旨在对AOPLID语言进行时序扩充，使之能表达并处理带时间参数的并发行动，基于离线方式下AOPLID程序的语义，用Prolog语言实现时序AOPLID语言(TAOPLID)的离线解释嚣。首先，我们对经典情境演算进行适当改造，使之能描述合时间变元的行动，因为持续行动一般可认为是具有瞬时开始行动和瞬时终止行动的过程，所以可以将一个持续动作分解为两个时间上互不相交的瞬时动作，再引入一个新的关系流刻画这两个瞬时动作的执行情况，从而可在扩充后的情境演算中表达带时间参

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