知识的非单调处理

演绎逻辑对人类认识世界的处理是单调的,但是在这种基础上建立起来的推理系统与人类对客观世界的认识过程往往是不一致的。非单调逻辑及其推理系统为我们有效地处理人类认识的不完全性提供了一个颇有前途的理论工具。本文简要介绍非单调逻辑的基本问题,并着重讨论三种基本的也是重要的非单调推理形式,即缺省逻辑、模态逻辑和约束推理。     

理由维护系统的研究

一、引言自从七十年代中期 Doyle 对理由维护系统(Reason Maintenance System,RMS)做了开创性的工作之后,人们对它的研究与应用的兴趣与日俱增,迄今,RMS 在求解约束满足问题、非单调推理、辑逻程序设计、数据库管理等方面都有广泛的应用。在历史上,关于理由维护系统的命名有过某种混乱。这个领域的首创者 Doyle(1979)把他的系统称为真值维护系统 TMS(TruthMaintenance System),然而,Doyle 本人也表示,这个词用得并不恰当。另外,相容性维护或者信念维护也被用来称呼这类系统。     

基于RMS任务调度算法的弱实时上下位监控系统

上下位监控系统在工业及其他领域中得到越来越广泛的应用，实时的实现及其可靠性是系统的关键。文章讨论了基于RMS的实时任务调度算法及其在弱实时上下位监控系统中的应用，并给出了具体的应用实例。     

RMS文件的应用技术

介绍RMA文件的3种组成形式，以及如何创建文件，操作文件，获取文件属性，如何运用FAB，RAB控制块和XAB控制块，如何解决应用中的一些实际问题。     

滴水不漏的文件安全保护系统RMS数据加密

现在很多企业和公司都越来越重视网络安全问题．特别是对局域网内部机密文件的保护。“日防夜防．家贼难防”．来自局域网内部的攻击往往是最致命的，很多网管挖空心思采用各种不同的保护措施来保护这些机密文件．但往往效果并不是很理想。其实微软对此问题早有研究。并且已经免费推出了用于企业机密文件保护的服务器组件——Windows Rights Management Setvet(RMS,权限管理服务)。它应用证书技术对机密文件进行限制，使其不能够任意分发或复制．甚至还可以对机密文件中的某一部分或某一段进行保护和限制。那如何在企业网中部署RMS来保护机密文件呢?     

非单调推理的研究现状

一、引言 早在1959年,McCart~[1]就发现常识和常识推理很难处理,因为在常识推理中当前得出的结论,可能会由于以后新事实的加入而被取消.这就是所谓的“非单调性”。     

利用重写系统研究缺省逻辑

本文在布尔环重量写系统中研究了缺省逻辑。一个缺省理论等价于一个布尔环方程组。本文还分析了命题缺省理论外延的结构，证明了一个缺省理论的外延的模型集合就是对应的布尔环方程组的极大缺省解，从而为确定缺省理论的外延提供了一种简便实用的方法。     

基于Web的实时协同编辑系统中的一致性控制

作为CSCW的一个重要应用领域,协同编辑系统近年来有了长足的进步,各种此类系统相继出现并投入了使用,但是,大部分系统由于不能很好地解决一致性问题,目前大多不支持脑风暴方式的编辑,主要介绍如何利用GOTO算法在基于WEB的实时协同编辑系统中解决一致性问题,其中包括了对系统结构、系统一致性问题、GOTO算法、操作相关性检测及操作转换的介绍,最后,对基于GOTO算法的实验系统WRCES进行了简单的介绍。     

基于图形对象的一致性维护问题的研究

针对实时协同图形编辑系统中一致性维护关键问题,提出了一种基于图形对象的并发控制算法。该算法扩展了面向文本编辑的分布式操作转换dOPT算法,满足图形对象属性级上数据一致性维护,同时通过预定义图形对象间的关联关系和位置属性约束规则,进行操作语义维护管理,使得实时协同图形编辑系统的一致性维护更为有效和完备。     

推理维护系统的Petri网模型

本文为推理维护系统引入一种Ｐｅｔｒｉ网模型并对有限非单调理论应用Ｐｅｔｒｉ例分析方法．本文提议的模型不但能描述推理维护系统，而且可用网论与网技术分析推理维护．对于一组给定的非单调规则我们给出一个算法可求得其外延，我们还给出一个算法可发现系统的不一致性．我们提出的寻找外延的算法要比现有的重构过程更有效，且它是可判定的．     

多分辨率仿真中一致性问题研究

在多分辨率仿真中，当不同级别分辨率实体交互时会出现一致性问题，它的产生是由于建模人员还没有找到一种很好的方法，去描述同一实体在多个分辨率级别间的相互关系而导致的，即使在同一分辨级别中也可能发生不一致性问题，分析了目前建模方法存在的问题，提出了解决一致性问题的CM方法，CM方法主张使用多分辨率实体（MRE）的概念来替代聚合实体（AE）和解聚实体（DE），以一致的方式在指定的分辨率级别描述被仿真的对象，当有请求时，及时提供任意级别的属性绑定，建立了映射函数和一致性模型，较好地解决了属性集数据的识别，时间的一致性和映射一致性等关键问题。     

数据仓库中实体化视图的一致性维护问题的研究

实现实体化视图是提高系统响应时间的一个关键技术和有效的解决方案,但在具体的实现过程中面临着实体化视图的一致性维护问题。由于源数据的不稳定性,其结构和数据的变化必须及时传播到实体化视图中,以保持实体化视图与源数据的变化一致性,否则会降低实体化视图中数据的新鲜度,并影响OLAP查询结果的真实性和有效性。为此本文针对视图的一致性维护问题,介绍了视图中数据的维护方法,同时还就实体化视图结构的维护,提出了使视图重计算代价最小化的解决方案和基本算法。     

在贝叶斯网络上的概率推理：在单一连接因果树上的确信更新

本文中我们主要讨论在贝叶斯网络中的确信更新算法。首先我们总结了贝叶斯网络的基础，然后详细地描述了算法和数据结构，最后给出了具体实现过程。     

专家控制系统的知识库维护

专家系绕的知识获取和表示一向是专家系统开发的“瓶颈”,而知识库的维护在大型专家系统中所占的地位更是不可忽视,实时专家系统作为专家系统的一个颇有前景的研究方向,对知识库的维护又提出了哪些新的要求呢?本文试图通过减压精馏过程智能多变量控制系统(DIMCS)~*的知识库维护,探索实时专家系统中从知识表示、知识库组织到一致性维护等一系列技术的实现方式。