知识库系统和语言的演变

来源 :计算机科学 | 被引量 : 0次 | 上传用户:zgys200901
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
<正>引言 Prolog作为一个良好的Al语言已经得到广泛接受,市场上已经有多种Prolog产品(包括Prolog机).但是,Prolog不能有效地管理持久数据且“每次一个元组”的求值方式不适用于数据密集型应用(如:CAx、CIMS、专家系统、……)。另一方面,数据库管理系统(DBMs)能够有效安全地管理大容量数据.但不能处理递归,而递归是上述基于知识系统的基本能力。因此,研制同时具有Prolog和DBMS能力的新型数据系统就成为必要。
其他文献
<正> 进入九十年代以来,人们越来越意识到,站在下世纪初各种信息管理的应用的立场来看,我们对支持这些应用的数据库原理和技术的理解还很肤浅。制造科学、科学形象化、机器人
本文从软件可靠性的需求出发,讨论了软件可靠性建模发展史,建模新发展和当前存在的主要问题。
需求分析中的可跟踪性问题和系统开发中的各阶段之间的平滑过渡问题是一个一致的问题。本文首先讨论保证需求可跟踪性的五个要素,分析了功能分解方法和Yourdon结构化方法在可跟踪性问
<正> 一、精确逻辑及其局限性在远古时期,人类根本就不懂得什么是精确思维,随着数和形等概念的产生,人们才逐渐学会使用精确方法进行数学计算和逻辑推理,这是人类认识能力的
<正> 一、类比推理的必要性近年来,类比推理受到认知科学、人工智能、哲学、语言学研究者越来越多的重视。认知科学的研究已注意到除使用一般知识(如带全称变量的规则)外,人
数据库互操作性所研究的是如何提供对计算机网络环境中的异种多数据库进行透明访问的方法。本文介绍了数据库互操作性的概念和特征,并与其它数据库访问机制进行了比较。文中还
<正>一、引言 1986年,Baldwin在支持逻辑程序设计(SLP)&#183;中引人基于区间估计和不确定推模型~[l],但这个模型缺乏良好的理论基础,也未经大量实践检验,文[2]从经过大量
<正>一、概述 面向对象系统中的共享机制是面向对象技术的核心之一,目前在面向对象技术域,存在着多神不同的共享机制,这些不同的共享机制具有不同的能力和优缺点,有不同的
The future trends of mechanical CAD is directed towards using artificial intelligence (AI)and knowledge engineering ideas.The paper is intended to given overview of concepts and methods which are rele
根据类公式化OODB中的查询,可检索某些满足类属性谓词的实例。OO数据模型的类层次概念允许依据类和实例,隐式地表达具有不同抽象级的查询结果。Shum和Muntz[SM88]提出了基于D