【摘 要】
：
本文描述了Agent规范与编程语言SPLAW的语法,为SPLAW中的各种语言成分提供了操作语义,并基于标记转换系统给出Agent性质的证明规则.由于SPLAW的通信部分采用不依赖于具体应用
【机 构】
：
南京大学计算机软件新技术国家重点实验室,南京大学计算机科学与技术系
论文部分内容阅读
本文描述了Agent规范与编程语言SPLAW的语法,为SPLAW中的各种语言成分提供了操作语义,并基于标记转换系统给出Agent性质的证明规则.由于SPLAW的通信部分采用不依赖于具体应用的Agent交互语言KQML,使遵循同一标准的Agent之间能进行协作问题求解.SPLAW首次为Agent提供继承支持,使其可以实现具有面向对象特征的多线程系统.SPLAW屏弃了为语言引入内部模态词的缺陷,试图从外部为Agent赋予信念、愿望、意念等心智状态,有助于统一Agent的理论研究和实际系统设计.
其他文献
多囊卵巢综合征(PCOS )是不排卵性不孕症的主要病因,主要表现为持续排卵障碍、高雄激素血症及胰岛素抵抗.育龄妇女PCOS患病率为5%～10%,但具体机制未明.近年来,随着各种研究手
目的:比较文拉法辛与氟西汀治疗抑郁症的临床疗效和安全性.方法:将76例抑郁症随机分为文拉法辛组(38例)和氟西汀组(38例),治疗6周.采用汉密尔顿抑郁量表17项(HAMD)评定疗效,
目的研究血浆N端B型钠尿肽前体（NT—proBNP）水平对老年患者急性呼吸困难鉴别诊断意义。方法对焦作市人民医院门诊或住院治疗的老年急性呼吸困难患者，检测血浆NT—proBNP含量，并进
曲菌病(aspergillosis)是曲菌属菌引起的感染性疾病,肺曲菌球是其中的特殊类型,多发生于肺结核、慢性支气管炎、支气管扩张、肺癌等,特别是多发于上述疾病又伴有空洞性病变者
目的:观察阿维A治疗2例重症板层状鱼鳞病的疗效和安全性.方法:通过对比服药前后皮损情况分析阿维A治疗重症板层状鱼鳞病的疗效、剂量及其副作用.结果:2例重症板层状鱼鳞病患
目的 观察茵陈蒿汤防治母儿ABO血型不合的临床疗效。方法 将80例血型免疫抗体IgG抗A(B)≥128的孕妇随机分为2组,治疗组62例,给予茵陈汤治疗。对照组18例,口服维生素C、E和吸
对影响风机运行周期的原因进行了综合分析，从设备、工艺和维护几方面分析了可能导致风机运行时间短的因素，提出多种措施，改善了风机作业状况、工作环境，延长了风机运行寿命。
将键级守恒-Morse势方法应用于合金体系,作了部分修正.通过与Ni(100),Cu(100)比较,研究了NiCu(100)上合成气甲烷化反应活性.表明,因Cu的加入,NiCu上甲烷化反应活性较Ni上显著
在数据库系统中连接操作是一个开销相当大的操作,因此人们对连接算法进行了大量的研究工作,包括连接过滤器技术的研究.本文提出了一种新的连接过滤器技术,即签名过滤器,以进
增量式IHMCAP算法采用适合于混合型学习的FTART神经网络，成功解决了符号学习与神经网络学习精度之间的均衡性问题．该算法还具有较强的增量学习能力，在给系统增加新的示例时，不用