论文部分内容阅读
限制推理及其应用
【出 处】
：
计算机科学
【发表日期】
：
1990年6期
其他文献
<正>人工神经网络(Artificial Neural Net-works-ANS )的研究巳超过四十年,其兴衰与人工智能的研究紧密相关。自从1982年Hopfield利用神经网络解决了TSP问题以来,神经网络再
<正> 4.含CUT的PROLOG语义 4.1 语言成份“cut”前面所讨论的PROLOG解释程序简单控制策略的问题之一是在子树中进行大量的回溯搜索有可能没有解(在极端情况下,对无限树形结构
我国的操作系统教学体系基本上来源于七十年代前期 Madnick 和 Donovan 的体系。十几年来,由于操作系统及其应用环境的发展,这种教学体系已暴露出一些问题。本文从历史的角度
这篇文章试图定义面向对象的数据库系统。它描述了作为一个合格的面向对象的数据库系统所应具备的主要性质和特征。我们把这些特性分成了三组: ·必备的:被称作面向对象
Version Management (VM) provides mechanisms for storing, acces sing and inquirying each version, reducing space costs and recording modification information. An
一、引言最近几年,面向对象的数据模型日益得到人们的普遍重视,主要原因是面向对象的数据模型为人们提供了表达信息的高度抽象方法,和人们对信息的看法极为接近。面向对象的模型主要用于复杂的应用中,例如计算机辅助设计(CAD)/制造(CAM),办公信息系统(OIS),人工智能(AI)及计算机辅助软件工程(CASE)中。目前已经出现了许多面向对象的数据模型,这些模型都是基于某些特定环境提出的,例如 Gemst