%0 Journal Article
%T Off-line Interpreter of Temporal Agent Programming Language TAOPLID<br>时序Agent程序设计语言TAOPLID的离线解释器
%A LI Bin
%A TANG Xiao-Yan
%A WU Mei-Li
%A ZHANG Dong-mo
%A LV Jian
%A <br>李斌
%A 唐小燕
%A 吴梅丽
%A 张东摩
%A 吕建
%J 计算机科学
%D 2005
%I 
%X 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.
%K Agent-priented programming
%K Mental states
%K Situation calculus
%K Interpreter
%K Concurrent action<br>程序设计语言
%K Agent
%K 离线
%K 时序
%K AOPLID语言
%K 解释器
%K Prolog语言
%K 面向agent
%K 时间参数
%K 情境演算
%K 执行情况
%K 形式转换
%K 瞬时
%K 不相交
%K 再引入
%K 预处理
%K TAO
%K 扩充
%K 发行
%K 表达
%K 集合
%K 子句
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=C9A8D63198560A32&yid=2DD7160C83D0ACED&vid=9971A5E270697F23&iid=94C357A881DFC066&sid=3986B25773CB6C30&eid=A020552C37306588&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=10