首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   17篇
  免费   3篇
  国内免费   6篇
能源动力   1篇
一般工业技术   1篇
自动化技术   24篇
  2009年   1篇
  2003年   1篇
  2001年   1篇
  1999年   2篇
  1998年   7篇
  1997年   1篇
  1996年   2篇
  1995年   3篇
  1994年   2篇
  1993年   1篇
  1992年   4篇
  1985年   1篇
排序方式: 共有26条查询结果,搜索用时 15 毫秒
1.
决策支持系统和人工智能   总被引:1,自引:0,他引:1  
  相似文献   
2.
徐殿祥  郑国梁 《软件学报》1995,6(Z1):266-273
LKo是一个将面向对象和逻辑范型相结合,用于基于知识系统的形式化开发模型,其中逻辑对象是集状态、约束、行为、继承于一体的抽象实体.它支持框架、规则、语义网络、黑板等多种知识表示,因而可用来形式地描述基于知识系统的需求规范.在知识获取过程中通过对形式规范反复地修改、验证及确认而形成软件原型.  相似文献   
3.
一、引言决策支持系统(Decision Support System:DSS)和人工智能(Artificial Intelligence:AI)70年代初几乎是沿着独立的路径并行发展的,80年代后AI技术的蓬勃发展为DSS注入了新的血液,将AI技术用于管理决策势在必然。 DSS和AI的结合可以提高DSS的质量和效率。智能决策支持系统是DSS和AI发展的必然结果。 IDSS系统自80年代以来不断地涌现,逐渐走向成熟。目前国外已将它应用于制造、市  相似文献   
4.
Agent规范与编程语言SPLAW的语法和语义   总被引:2,自引:0,他引:2  
本文描述了Agent规范与编程语言SPLAW的语法,为SPLAW中的各种语言成分提供了操作语义,并基于标记转换系统给出Agent性质的证明规则。由于SPLAW的通信部分采用不依赖于具体应用的Agent交互语言KQML,使遵循同一标准的Agent之间能进行协作问题求解。SPLAW首次为Agent提供继承支持,使其可以实现具有面向对象特征的多线程系统。SPLAW屏了为语言引入内部模态词的缺陷,试图从外  相似文献   
5.
多Agent Teamwork研究综述   总被引:10,自引:0,他引:10  
Teamwork在许多动态、复杂的多Agent环境中占据越来越重要的地位,是目前人工智能界研究的热点之一,通过对多Agent Teamwork的研究现状、关键技术和发展趋势进行综述和讨论,试图勾画出目前Teamwork研究的脉络、重点及其发展趋向。主要内容包括:(1)Teamwork研究的背景;(2)Teamwork的研究方法以及典型的Teamwork模型;(3)Teamwork模型的特点以及关键技术;(4)Teamwork的应用领域以及进一步研究的方向。  相似文献   
6.
软件Agent的继承性研究   总被引:3,自引:0,他引:3  
樊晓聪  徐殿祥  侯建民  郑国梁 《软件学报》1999,10(11):1132-1137
Agent作为一种受限的智能对象,对Agent的继承特性进行深入研究并将继承机制嵌入到AOP(agent-oriented programming)中则具有重要意义.文章基于BDI Agent模型,对软件Agent的继承性和复制行为进行了研究.从单继承和多继承两个方面给出了Agent继承的语义,将Agent实例的动态复制机制形式地划分为功能分割、逻辑分割、择优分割和返祖分割这4类,分析了每类分割方式的作用,并基于电子市场系统应用背景给出了相应的实例.  相似文献   
7.
模型描述语言NUMDL的设计与实现   总被引:2,自引:0,他引:2  
模型描述语言NUMDL是智能决策系统JSEIDSS的一个重要组成部分,它为系统模型的建立和管理提供了很好的工具。NUMDL语言功能强,描述概念和数学公式简明,易写易读,且有一定的特色,本文介绍它的设计与实现。  相似文献   
8.
一种缺省推理方法及其应用   总被引:1,自引:0,他引:1  
DFSES系统采用了一种缺省推理方法,大大地提高了该系统的决策能力,本文介绍了DFSES系统中的缺省理论及其扩张,并阐述了基于这些思想和类树形知识结构的特点缺省推理的实现。  相似文献   
9.
本文介绍类型化面向对象逻辑语言LKO的元级解释技术,主要包括对象约束、状态、方法的继承算法,以及子句解释、类型推理和检查的多种合一算法。  相似文献   
10.
Z语言是一被广泛使用的形式化规格说明语言,该文在其上扩充了时间描述机制Time模式,使之适应于对通信协议的形式化描述,并以流行的YMODEM通信协议为例详细介绍了如何用Z对通信协议进行形式化描述以及在此基础上协议的具体实现方法。  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号