排序方式: 共有26条查询结果,搜索用时 15 毫秒
1.
2.
LKo是一个将面向对象和逻辑范型相结合,用于基于知识系统的形式化开发模型,其中逻辑对象是集状态、约束、行为、继承于一体的抽象实体.它支持框架、规则、语义网络、黑板等多种知识表示,因而可用来形式地描述基于知识系统的需求规范.在知识获取过程中通过对形式规范反复地修改、验证及确认而形成软件原型. 相似文献
3.
一、引言决策支持系统(Decision Support System:DSS)和人工智能(Artificial Intelligence:AI)70年代初几乎是沿着独立的路径并行发展的,80年代后AI技术的蓬勃发展为DSS注入了新的血液,将AI技术用于管理决策势在必然。 DSS和AI的结合可以提高DSS的质量和效率。智能决策支持系统是DSS和AI发展的必然结果。 IDSS系统自80年代以来不断地涌现,逐渐走向成熟。目前国外已将它应用于制造、市 相似文献
4.
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
Agent作为一种受限的智能对象,对Agent的继承特性进行深入研究并将继承机制嵌入到AOP(agent-oriented programming)中则具有重要意义.文章基于BDI Agent模型,对软件Agent的继承性和复制行为进行了研究.从单继承和多继承两个方面给出了Agent继承的语义,将Agent实例的动态复制机制形式地划分为功能分割、逻辑分割、择优分割和返祖分割这4类,分析了每类分割方式的作用,并基于电子市场系统应用背景给出了相应的实例. 相似文献
7.
8.
9.
本文介绍类型化面向对象逻辑语言LKO的元级解释技术,主要包括对象约束、状态、方法的继承算法,以及子句解释、类型推理和检查的多种合一算法。 相似文献
10.
Z语言是一被广泛使用的形式化规格说明语言,该文在其上扩充了时间描述机制Time模式,使之适应于对通信协议的形式化描述,并以流行的YMODEM通信协议为例详细介绍了如何用Z对通信协议进行形式化描述以及在此基础上协议的具体实现方法。 相似文献