【摘 要】
:
AOPLID是一种面向agent程序设计语言.本文旨在对AOPLID语言进行时序扩充,使之能表达并处理带时间参数的并发行动,基于离线方式下AOPLID程序的语义,用Prolog语言实现时序AOPLI
【机 构】
:
扬州大学计算机科学与工程系,扬州大学计算机科学与工程系,南京大学计算机软件新技术国家重点实验室
【基金项目】
:
国家重点基础研究发展规划973(No.2002CB312002);江协省自然科学基金
论文部分内容阅读
AOPLID是一种面向agent程序设计语言.本文旨在对AOPLID语言进行时序扩充,使之能表达并处理带时间参数的并发行动,基于离线方式下AOPLID程序的语义,用Prolog语言实现时序AOPLID语言(TAOPLID)的离线解释器.首先,我们对经典情境演算进行适当改造,使之能描述含时间变元的行动,因为持续行动一般可认为是具有瞬时开始行动和瞬时终止行动的过程,所以可以将一个持续动作分解为两个时间上互不相交的瞬时动作,再引入一个新的关系流刻画这两个瞬时动作的执行情况,从而可在扩充后的情境演算中表达带时间参
其他文献
目的获得军事飞行员双温试验的检测方法及参考常值,为飞行员水平半规管功能评价提供参考依据。方法选取95名现役歼击机健康飞行员作为受试者。均为男性,年龄22~49岁,平均(30.
针对电力信息通信系统运转中出现的组件类目复杂、数据拓扑结构多样的问题,考虑引起故障预警的原因具有各式各样的特征,提出一种电力信息通信故障智能诊断方法,利用建立故障
面对突如其来的楼市变局,一些风格较为稳健的房企已经开始为可能到来的困难做准备。$$ “今年的策略是‘多卖楼、少买地、现金为王’。”旭辉控股集团(00884.HK,下称“旭
目的探讨贝那普利联合丹参川芎嗪注射液治疗糖尿病肾病(DN)的临床疗效。方法 136例DN患者根据就诊单双数编号分为观察组和对照组,每组各68例。对照组实施常规治疗+贝那普利治疗;
第一讲:多媒体、超文本和超媒体的教育应用及其发展趋势华南师范大学电教系黄晓地(510631广东广州)多媒体技术是当前计算机界的一大热点,有人预言,21世纪将是多媒体的世纪,多媒体计算机将冲
针对高速铁路路基接触网基础施工过程中,经常存在因质量控制不到位而造成大量返工现象,通过对其各工序的卡控,合理选用机械以及自制的模具卡具等设备,增加了施工速度和精度,
随着电脑和多媒体技术的发展,自主学习在大学英语教学中起到越来越重要的作用.提高学生自主学习的能力是提高英语学习效率的关键.因此,对学生进行自主学习策略训练是十分必要
【目的】梳理目前作物资料蛋白质含量遥感监测预报研究进展,掌握最新该方面的研究方法、技术等。为发展优质专用谷物并依据以蛋白质含量为主导的不同类型谷物分类收获和加工