论文部分内容阅读
文章对经典情境演算进行适当改造,使之能描述含时间变元的行动.在此基础上,对意向驱动式面向agent程序设计语言AOPLID进行时序扩充,使之能表达并处理带时间参数的并发行动.最后,给出了基于情景演算理论的离线方式下的时序AOPLID程序语义以及时序AOPLID程序实例.
基于情境演算的时序Agent语言TAOPLID的语义
【摘 要】
：
文章对经典情境演算进行适当改造,使之能描述含时间变元的行动.在此基础上,对意向驱动式面向agent程序设计语言AOPLID进行时序扩充,使之能表达并处理带时间参数的并发行动.最
【机 构】
：
扬州大学计算机科学与工程系,南京大学计算机软件新技术国家重点实验室
【出 处】
：
微电子学与计算机
【发表日期】
：
2005年2期
【基金项目】
：
国家重点基础研究发展计划(973计划)，江苏省自然科学基金
其他文献
对于加工高酸原油的炼油厂,其常减压装置减压塔高温部位通常会受到环烷酸的腐蚀。以某厂减压塔减三线部位发生的严重腐蚀为例,通过对油品、温度、材料、流体物理状态、高温缓
目的：观察吉西他滨联合奈达铂治疗老年晚期食管癌的疗效及不良反应。方法：45例经病理学确诊为食管癌的患者,年龄均大于65岁,给予吉西他滨联合奈达铂化疗,21天为一周期,连用两周
胰十二指肠合并伤是一种比较严重的损伤,诊断困难,术后并发症多,病死率高.作者总结了用十二指肠憩室化治疗8例胰十二指肠合并伤的临床资料,现报告如下:1 临床资料1.1 一般资
本文采用实证加规范的方式将ADR制度置入我国转型时期的市场经济中，论述了ADR制度在我国存在的必要性和可行性，并相应提出了一些设想和建议。
软件狗是当前保护软件的一个重要手段,文章针对目前软件破解技术发展现状提出了一种基于AT-tiny12的软件系统加密方法。设计出来的软件狗采用了五种综合的加密手段,经实践检
本文针对虚拟企业共享技术与信息的特点,提出了一种基于多Agent的虚拟企业工作流解决方案.重点讨论了虚拟企业工作流体系结构及系统中支持个性化学习的群Agent技术,包括:多Ag
由于IEEE802．11MAC协议采用了简单的干扰模型，因此产生了隐藏终端和暴露终端这两个严重影响无线自组织网络性能的问题。文章提出了一种新的基于干扰图（Conflict Graph）的MAC协议
回顾介绍改革开放前对社会主义政治经济学研究对象的认识,揭示对社会主义政治经济学研究对象认识中存在的局限性,对改革开放以来围绕社会主义政治经济学研究对象的不同观点进
西北革命根据地的新闻事业由陕甘边根据地的新闻事业和中央红军创办的新闻事业两部分组成，即：《红色西北》、《布尔什维克的生活》、《陕甘宁省委通讯》和《红色中华》、红色中
我国较长时间较大数额的双顺差，不利于经济持续、快速、健康发展，同时也引起了严重的贸易摩擦。笔者拟将经常项目与国外净资产联系起来，研究处于经常项目顺差地位的国家实现国际