徐殿祥

作品数：23被引量：76H指数：5
导出分析报告
供职机构：南京大学计算机科学与技术系更多>>
发文主题：人工智能AGENT逻辑程序设计软件工程软件AGENT更多>>
发文领域：自动化与计算机技术天文地球经济管理更多>>
发文期刊：《能源研究与利用》《南京大学学报（自然科学版）》《计算机工程与应用》《计算机应用与软件》更多>>
所获基金：国家高技术研究发展计划国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一个基于信息网络的软件Agent系统的设计被引量：1
《计算机应用与软件》2001年第7期49-53,共5页樊晓聪 徐殿祥 郑国梁 
国家863高技术研究和开发基金资助(编号:863-02-2T02-01-4)
本文介绍了一个基于信息网络的软件Agent系统(SAFIN)的设计。SAFIN系统以Internet/Intranet为背景,将面向Agent程序设计、Agent通信语言KQML和移动Agent的某些技术集成起来,旨在建立一个实用的Agent框架,方便信息网络中软件Agent系统的...
关键词：KQML 信息网络 软件Agent系统 INTERNET 人工智能 
软件Agent的分析与建模方法被引量：5
《南京大学学报（自然科学版）》2000年第2期155-162,共8页樊晓聪 徐殿祥 侯建民 郑国梁 
国家 8 6 3高科技基金!(No :86 3 30 6 0 2 0 6 4)资助项目
为保证Agent软件系统的质量 ,提高系统的可靠性、正确性、可维护性和可扩展性 ,需要为Agent软件系统提供设计方法学的支持 .以处于分布、开放环境的信息Agent为研究对象 ,以同一应用域分析结果的复用为前提 ,提出了一种面向Agent的分析...
关键词：软件AGENT 可靠性 可维护性 建模 AGENT系统 
软件Agent的继承性研究被引量：3
《软件学报》1999年第11期1132-1137,共6页樊晓聪 徐殿祥 侯建民 郑国梁 
国家自然科学基金;国家863高科技项目
Agent作为一种受限的智能对象，对Agent的继承权性进行深入研究并将继承机制嵌入到AOP（agent－orientedprogramming）中则具有重要意义．文章基于BDIAgent模型，对软件Agent的继承性和复制行为进行了研究。从单继承和多继承两个方面给...
关键词：软件 人工智能 继承性 BDI模型 
Agent规范与编程语言SPLAW的语法和语义被引量：4
《计算机学报》1998年第8期682-693,共12页樊晓聪 徐殿祥 候建民 郑国梁 
国家863高科技基金;国家自然科学基金
本文描述了Agent规范与编程语言SPLAW的语法，为SPLAW中的各种语言成分提供了操作语义，并基于标记转换系统给出Agent性质的证明规则．由于SPLAW的通信部分采用不依赖于具体应用的Agent交互语言KQML，使遵循同一标准的Agent之间能进行...
关键词：AOP Agent规范 SPLAW语言 编程语言 
Agent的通信语言——KQML被引量：16
《计算机科学》1998年第6期35-39,18,共6页陈冠岭 樊晓聪 徐殿祥 郑国梁 
KQML(Knowledge Query and ManipulationLanguag。)是一种用于交换信息和知识的语言和协议,为表达消息和处理消息提供了标准的格式,用于支持agent之间的实时知识共享。KQML可以用于应用程序和智能系统之间的交互。
关键词：人工智能 AGENT 通信语言 智能系统 KQML 
Z应用于通信协议形式化描述的研究
《计算机工程与应用》1998年第11期26-28,共3页袁晓东 徐殿祥 郑国梁 
Ｚ语言是一被广泛使用的形式化规格说明语言，该文在其上扩充了时间描述机制Ｔｉｍｅ模式，使之适应于对通信协议的形式化描述，并以流行的ＹＭＯＤＥＭ通信协议为例详细介绍了如何用Ｚ对通信协议进行形式化描述以及在此基础上协议的具...
关键词：Z规格说明 形式 通信协议 YMODEM协议 
面向Agent软件工程(Ⅱ):规范、实现与验证被引量：3
《计算机科学》1998年第4期1-7,共7页樊晓聪 徐殿祥 侯建民 陈冠岭 郑国梁 
AOP[1,2〕的主要思想是在计算中采用“人格化”这一抽象工具,来解释、理解并编制计算机系统.AOP的优点在于:l)便于agent描述:能用熟悉、非技术性的语言来定义agent;2)嵌套式表示:能够方便地表示包含其它系统描述的系统;3)AOP是一种超描...
关键词：软件工程 AGENT 人工智能 AOP 
面向对象逻辑语言LKO的类型系统被引量：1
《计算机研究与发展》1998年第3期246-250,共5页徐殿祥 郑国梁 
"863"高科技计划;国家自然科学基金
文中主要介绍面向对象逻辑语言ＬＫＯ中基于声明和推理的有序类型系统．在谓词声明中，类型由有序的构子构造而成．子句中变量类型由类型推理决定．对象类型由方法声明决定，独立于继承，便于代码复用．它可作为基类型参与项类型构造．
关键词：面向对象 程序设计 类型 逻辑语言 LKO语言 
面向Agent软件工程(Ⅰ):Agent计算、编程风范与语言设计被引量：10
《计算机科学》1998年第3期1-7,共7页樊晓聪 徐殿祥 侯建民 陈冠岭 郑国梁 
Agent技术源于人工智能,现已融入主流计算机的各个领域。
关键词：软件工程 人工智能 AGENT 计算 编程风范 
Agent的行为自信度及其修改规则被引量：6
《计算机学报》1998年第1期40-46,共7页樊晓聪 徐殿祥 郑国梁 
国家863高科技基金;国家自然科学基金
在多Agent系统中，个体Agent除了具有自治性、应激性、主动性外，还应当具有社会性以完成只有协作才能解决的问题．这种社会性要求Agent能及时响应其它Agent的服务请求，对自己的行为作出承诺．但是，有能力和意图并不一定有信心．本文...
关键词：多AGENT系统 行为自信度 动作集 人工智能 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部