知识库查询的固有低效性

来源 :计算机科学 | 被引量 : 0次 | 上传用户:jhq0327
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
<正>1.引言 知识库研究的重要内容之一是查询优化技术的研究。从七十年代后期开始,经过八十年代,到目前为止,知识库查询优化方面已经取得了大量研究成果,开发了许多有效的查询优化算法。例如:Semi-Naive求值[1]、Magic-Set重写技术和Counting方法[2,3]等等。这些技术的应用,大大提高了知识库的查询效率。尽管如此,知识库的查询效率仍不能令人满意,这是知识库系统不能实用的主要原因之一。
其他文献
数据库互操作性所研究的是如何提供对计算机网络环境中的异种多数据库进行透明访问的方法。本文介绍了数据库互操作性的概念和特征,并与其它数据库访问机制进行了比较。文中还
<正>一、引言 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
<正>引言 Prolog作为一个良好的Al语言已经得到广泛接受,市场上已经有多种Prolog产品(包括Prolog机).但是,Prolog不能有效地管理持久数据且“每次一个元组”的求值方式不适用
<正>搜索控制问题是大多数人工智能问题求解面临的一个根本间题,而约束满足是解决这一问题的常用方法之一它源于机器视觉领域中的情景标识任务,如今在人工智能的众多领域(如
本文讨论软件体系研究的基本问题,首先通过和其他体系结构的类比,给出有关软件体系结构的直觉认识,再以此给出其模型,最后介绍两个实例。
计算机集成制造(CIM)技术研究的难点之一是信息的集成。从技术发展看,CIM信息的集成两个层次,其一是(:IM系统中各“孤岛”之间信息的自动转换,其二是基于并行工程思想的信息共。由于历史原因,CAD、CAPP、IQS、CAM系统各自独立发