基于情境演算的时序Agent语言TAOPLID的语义  

The Semantics of Temporal Agent Programming Language TAOPLID Based on Situation Calculus

作　　者：李斌[1,2] 张东摩[3] 吕建[3] 

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

出　　处：《微电子学与计算机》2005年第2期46-50,54,共6页Microelectronics & Computer

基　　金：国家973重点基础研究发展规划(2002CB312002);江苏省自然科学基金(BK2004052)的资助

摘　　要：文章对经典情境演算进行适当改造,使之能描述含时间变元的行动。在此基础上,对意向驱动式面向a鄄gent程序设计语言AOPLID进行时序扩充,使之能表达并处理带时间参数的并发行动。最后。In this paper, the classical situation calculus is extended to the temporal situation calculus so as to enable a treatment of actions with explicit time. Then, a temporal extension of an agent-oriented programming language with intention driver which is called AOPLID, is given so as to represent and process concurrent actions with the time arguments. Based on situation calculus, off-line temporal AOPLID program semantics is presented. An example program of temporal AOPLID is given.

关 键 词：面向agent程序设计语言 情境演算 并发行动 语义 

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