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

作     者：李斌 唐小燕 吴梅丽 张东摩 吕建 LI Bin;TANG Xiao-Yan;WU Mei-Li;ZHANG Dong-mo;LV Jian

作者机构：扬州大学计算机科学与工程系扬州225009 南京大学计算机软件新技术国家重点实验室南京210093 

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

出 版 物：《计算机科学》 (Computer Science)

年 卷 期：2005年第32卷第5期

页      码：144-146,154页

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

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

学科分类：12[管理学] 1201[管理学-管理科学与工程类] 08[工学] 081104[081104] 0835[0835] 0811[工学-水利类] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1002-137X.2005.05.040

馆 藏 号：203501140...