【摘 要】
：
<正> 我们在第一部分讨论了计算反射的一般模型。一般说来,一个系统是计算反射的,当且仅当它能对自身进行操作,据此一个反射的计算机软件系统有三个条件:a)系统有关于自己(一
【机 构】
：
国防科技大学计算机系,国防科技大学计算机系
论文部分内容阅读
<正> 我们在第一部分讨论了计算反射的一般模型。一般说来,一个系统是计算反射的,当且仅当它能对自身进行操作,据此一个反射的计算机软件系统有三个条件:a)系统有关于自己(一部分)本身的描述。b)系统有对自己的描述进行推理、操作和修改的能力。c)这种描述的改变能直接导致系统的行为和状态的改变,反之亦然。条件 a 是物理符号系统假设和知识表示假设的必然结果。在现有的计算机计算模型中要讨论或建立一个计算反射系统,必须首先确定是哪一个(子)
其他文献
<正> 一、引言随着软件技术的不断发展,对现有软件的分析理解、改造和维护、以及利用和再开发的工作变得日益重要。虽然目前大部分软件是用高级语言编写的,但由于技术保密等
<正> 一、引言从 Codd 引进关系数据库开始,在理解怎样才能从数据库中提取数据方面已做了大量工作。已经提出和开发了许多数据库系统和查询语言,包括 SQL,QBE,QUEL,L-DL 等。
在研究实用图象理解系统过程中,人们逐步认识到推理机制的重要性。本文从推理方式的角度讨论图象理解中存在的问题及其产生原因。重点分析多重信息融合方法和假设推理过程。
一、引言L.A.Zadeh 提出的近似推理(AR)理论,在处理专家系统中不确定性(尤其是模糊性)知识方面获得了广泛的应用。但在具体实现近似推理时,由于它允许规则前提与已知事实间的
<正> 一、引言自 ACM 发表“计算机科学68教程”以来,计算机科学教育事业发展迅速。随着计算技术和科学的发展对社会各个方面产生的巨大影响,这个方面的教育事业也引起了各界
1990年10月21—25日在加拿大渥太华市召开了 OOPSLA(面向对象的程序设计:系统语言和应用大会)与 ECOOP(欧洲面向对象程序设计大会)的联合会议。会上有一些著名的计算机软件科
<正> 异构型分布式计算机系统(HCS)由互连的不同硬件或软件系统组成,一个典型的HCS 可配置以不同操作系统,用不同网络连接,具有不同类型的机器。随着计算机技术的发展以及分
本文简要回顾了复杂对象数据库的发展历史,比较全面地介绍了国际上当前正在开展的研究工作,尤其是对复杂对象模型的形式化理论研究工作做了重点介绍。本文最后所列的文献可作
<正> 近年来,关于知识的推理(Reasoning aboutKnowledge)正在成为计算机科学,特别是人工智能研究中的最重要的分支之一。自从八六年在美国加州召开首届关于知识的推理理论问
<正> 在文〔5〕中,作者简要介绍了在 DSS 基础之上发展起来的一种新型管理支持系统——执行信息系统(EIS),讨论了它的基本概念、特点、软硬件配置、开发实现方法以及一些相关