董明楷
- 作品数：23 被引量：500H指数：8
- 供职机构：中国科学院计算技术研究所更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金北京市自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学经济管理理学更多>>
- 面向智能主体的软件工程研究
- 田启家史忠植郑金华董明楷赵志崑盛秋戬蒋运承吴斌宫秀军刘少辉王泊张海俊程勇
- 项目在面向主体的软件需求工程、面向主体的软件协同模式、面向主体的软件系统开发方法、基于主体的知识管理四个方面作了研究开发；以XML为基础，以Web服务为核心，建立基于主体的知识管理系统，突破传统软件方法中系统目标和结构确...
- 关键词：
- 关键词：智能主体软件工程
- 基于动态描述逻辑的主体模型被引量：24
- 2004年
- 在动态描述逻辑的基础上 ,提出了一种智能主体的心智状态模型 它充分利用了动态描述逻辑统一的形式化框架 ,同时从静态的知识表示与推理和动态的运行与变化两个方面来刻画主体的心智状态 探讨了主体信念、行为能力、目标和规划等心智要素的表示、推理与修改等基本问题 该主体模型将理论和实践有机地结合起来 ,表达能力强 ,能够充分体现智能主体的本质特征与运行机制 。
- 董明楷张海俊史忠植
- 关键词：智能主体动态描述逻辑
- 计算机教学略论
- 本文首先分析归纳了计算机科学的基本特征和性质,依据教学的基本规律和人类学习的基本规律,提出了计算机课程教学的几种典型的教学方法,即举例法、引导法、类比法、直观法和实验法等。并就计算机教学中各类课程的教学提出了一些见解,列...
- 董明楷李艳燕
- 关键词：计算机教学引导法直观法
- 文献传递
- 基于MAGE平台的电子商务系统被引量：8
- 2003年
- 主体拥有个性化、长寿性和自治性等特点,使它可以通过模仿人类在电子商务中的行为,应用于信息丰富和流程复杂的电子商务环境。在多主体平台(MAGE)的基础上,构建了个性化的电子商务系统,同时开发了应用于电子商务系统的各类主体。介绍了系统的总体框架、相关功能模块以及工作流程。
- 王嘉董明楷史忠植
- 关键词：电子商务系统INTERNET网上购物
- 基于类比的记忆模型被引量：1
- 2001年
- 首先讨论了几种基本的记忆模型 ,分析了人脑记忆的层次结构和网络结构 ,进而建立了基于类比的记忆模型 ,并提出了概念的二级存储结构 ,应用此二级存储结构分析说明了形象思维和抽象思维的机理 .该模型概括了人类思维和记忆活动的主过程 。
- 李艳燕董明楷邱玉辉
- 关键词：记忆模型网络结构形象思维人工智能抽象思维
- 网络信息搜集的多主体模型及实现
- 网络信息搜集是网络时代获取信息的主要手段,也是搜索引擎、信息服务、Web数据挖掘等网络应用的重要组成部分.基于主体的理论和技术,在多主体环境MAGE的基础上,提出了一种新的网络信息搜集的多主体模型.这种模型是基于知识的,...
- 董明楷刘少辉张海俊史忠植
- 关键词：智能主体多主体搜索引擎
- 文献传递
- 语义类比:AI的一个重要发展方向
- 1996年
- 类比在东西方文化中都具有十分悠久的历史.近几个世纪以来,其地位变得越来越重要,以至于被人们当作是人类墓本的认识过程。穆勒曾说:'没有哪一个词比类比这个词用得更频繁,更富有含义'。
- 董明楷张明义
- 关键词：人工智能
- 智能互联网被引量：17
- 2003年
- 1引言
互联网最早出现在20世纪60年代,但是直到90年代中期才真正引起公众注意并迅速普及.1994年,全世界仅有1300万人使用互联网,但今天这一数字已超过3.5亿.互联网从诞生到现在短短几十年的时间,其爆炸式的技术发展速度远远超过了人类历史上任何一次技术革命.然而,从长远发展趋势来看,现在的互联网尚处于发展的初级阶段,互联网技术存在很大的发展空间和发展潜力.
- 史忠植董明楷蒋运承盛秋戬张海俊
- 关键词：智能互联网网格计算互联网计算机网络网站网络资源
- 高校WEB数据库管理模型
- 本文针对现有高校管理系统的不足,依据信息化、网络化建设的要求,以学生管理为例,构建了高校WEB数据库模型。该模型采用了客户机/服务器体系结构,提供专门的网关服务器和数据库服务器,使用WEB数据库管理方式,所有的操作都可以...
- 董明楷童小平
- 关键词：ODBCWEB数据库SQLASP
- 文献传递
- 子句型缺省理论的推理算法
- 2001年
- 1 引言
缺省理论自1980年Reiter提出之后,已成为非单调推理的热点.在缺省逻辑中,扩张的概念至为重要.Reiter对特殊的缺省理论--正规缺省理论做了许多研究,并得出了一些漂亮的结果[1].Etherington给出了生成任意有穷有序半正规缺省理论的扩张的程序[7].张明义提出缺省的一种子类--自相容缺省理论,给出了相容缺省理论和自相容缺省理论的特征,并给出了一般缺省理论的扩张及主要推理问题的算法[3].
- 董明楷张明义
- 关键词：人工智能
