基于完备拟序的开放逻辑

开放逻辑是一个可以刻画知识的增长，更新以及假说的进化的逻辑理论，它开辟了常识推理研究一条新途径，并在机器学习，知识获取，故障诊断及知识库维护等领域有广泛的应用，基本的开放逻辑不能体现认知主体对所拥有的知识在相信程度上的区别，为此，文中给出了基于完备拟序的开放逻辑，该文采用假说上的完备拟序刻画信度区别，给出了新的重构概念，讨论了假说及完备拟序在知识进化过程中的更新，定义了新的认识进程并证明了所定义的认识进程具有收敛性。     

开放逻辑中的合理事实反驳模型类

本文给出开放逻辑中合理事实反驳模型类的概念，讨论了它们的重要性质。通过给定一假说中名子的线性序关系，得到了假说的最大前节重构的概念，并由此给出了合理事实反驳模型类的一个具体例子。     

一种有效的最优序参量重构方法

针对模式识别中协同方法存在的问题,提出了一种协同神经网络中序参量重构的方法,该方法是利用遗传算法的全局最优搜索能力,通过对训练样本集的学习,然后再通过在序参量的构建参数空间进行全局搜索来获得最优重构参数。利用实际采样得到的样本对新算法进行的测试表明,新方法确定能找到一组序参量重构参数,并能使识别性能有较大提高。     

开放的限制理论

本文基于开放逻辑理论，建立了一阶谓词限制理论的知识增长、更新及理论进化的开放的限制理论，给出了谓词限制理论中新假设、事实反驳及伪事实反驳、Ｃ－重构、Ｃ－认识进程及其极限的定义，讨论了它们的性质并证明了有关的定理，进而描述了限制理论的动态特征－Ｃ－认识进程，证明了其极限定量，并比较了它与一般认识进程及限制理论的关系。     

基于算符优先算法的逻辑表达式合法性判断

基于字符串的逻辑表达式的合法性进行判断在很多领域和场合下是经常遇到的 ,比如 :文件检索 ,信息查询等等 .而我们常见的文件检索与信息查询软件大多仅仅支持几个简单的逻辑算符 ,例如 :与、或 ,并且逻辑表达式中的组成字符串只能做简单的与、或运算 ,使得逻辑表达式的表达能力有限 ,用户使用的灵活性小 .本文针对上述问题进行了研究 ,采用算符优先算法给出了对该问题一种非常实用而又简练的实现方法 ,不但实现了普通搜索引擎所支持的简单的逻辑表达式的合法性判断功能 ,而且扩展了所支持的逻辑表达式的逻辑表达能力 :支持非运算 ;增加了支持逻辑表达式的优先级算符“(”和“)”.这使得逻辑表达式的表达功能和表达灵活性都得到很大的增强和提高 .本文给出的算法还可用于许多其他的基于字符串的逻辑表达式的操作功能 .     

基于奖惩学习算法的序参量重构方法

分析了协同方法中序参量在模式识别过程中存在的不合理因素,阐述了经过序参量重构的协同方法能够有效地克服这些不合理因素,从而提高模式识别性能．为了获得序参量重构参数,提出了基于奖惩学习算法的重构参数的搜索算法,该算法结合协同神经网络的自学习能力和奖惩学习算法的搜索能力来训练参量重构参数．利用从实际应用中得到的样本新看法进行的测试表明,新看法确实能找到一组序参量重构参数使识别性能得到较大提高,具有很好的     

描述逻辑ALC中关于伪子概念极小改变的R-演算

AGM公设是用于信念修正的（被一个单一信念修正）,而DP公设是用于迭代修正的（被一个有限的信念序列修正）.李未给出了对于R-构型（configuration）△|Γ的R-演算,其中,△是一个原子公式或原子公式否定的集合,而Γ是一个有限的公式集合.为了在修正过程中能够保留断言中尽可能多的信息,将考虑一种新的极小改变的定义：伪子概念极小改变（≤-极小改变）,其中,≤是一种伪子概念的关系;之后,在此基础上给出一种新的R-演算T^DL,它是关于≤-极小改变可靠和完备的,使得△|Γ在T^DL中可以被约减为一个理论△∪Θ（记作├_T^DL △|Γ⇒△,Θ）当且仅当Θ是Γ关于△的一个≤-极小改变.     

基于开放逻辑R反驳计算的访问控制策略精化

策略精化是解决分布式应用访问控制策略配置复杂性的重要方法,现有精化技术给出了策略分层描述和逐层精化的方法,但处理策略之间关联问题的能力不足.基于精化树描述策略和策略关联,基于叶结点策略冲突判断,采用开放逻辑R反驳计算分析精化树策略关联属性,能够消解策略冲突同时保证策略互斥、组合、访问路径协同、精化映射等关联正确,并能够按序消解不同类型策略冲突、自由取舍相冲突的策略.实验与分析计算性能表明,该方法符合SaaS平台客户应用系统策略精化需求.     

知识进化和高级思维过程的逻辑基础

一、引言人类在智能上同动物的主要区别是他们具有高级思维过程,即包括创造性思维、灵感或顿悟、和直觉等。然而,迄今为止的人工智能研究恰恰在模拟人类高级思维过程方面表现出苍白无力。究其原因:(1)在方法学上人工智能建立在物理符号系统假说的基础之上。该假说把人类的大脑简化为一个机械的信息加工系统,并把人类的思维过程分解为最基本的六项操作:输入、输出、存储、复制、结构化、和条件转移。     

一种基于点迹重构的异步序贯航迹融合算法

针对异步航迹融合问题,提出了一种基于伪点迹异步序贯航迹融合算法,伪点迹由局部估计结果重构形成,从而无需对局部估计间的相关误差进行处理。同时,对重构的异步伪量测数据情况采用序贯处理方式,这种串行合并式数据处理过程,不但避免了对异步数据进行时间校正的麻烦,反而利用了异步数据增加了多传感器系统的总体数据率,提高了多传感器系统对目标的跟踪精度。并用仿真结果证明了该算法的有效性。     

一个基于多线程的优先级继承协议锁的算法研究

实时线程库对构造实时中间件和开发具有良好可移植性，有实时要求的分布式应用具有重要意义，防止优先级翻转的线程互斥和同步机制是实现实时线库的核心，目前多数的线程库都缺乏这种机制，基于优先级继承协议，提出了一个防止优先级反转的互斥算法，算法能够保证操作的原子性，可以避免发生死锁，且能够有效地防优先级翻转，在Windows和Solaris平台上对性能进行了分析，并将算法应用到了实时CORBA工程实践之中。     

Default reasoning and belief revision: A syntax-independent approach

As an important variant of Reiter‘s default logic.Poole(1988) developed a nonmonotonic reasoning framework in the classical first-order language,Brewka and Nebel extended Poole‘s approach in order to enable a representation of priorities between defaults.In this paper a general framework for default reasoning is presented,which can be viewed as a generalization of the three approaches above.It is proved that the syntax-independent default reasoning in this framework is identical to the general belief revision operation introduced by Zhang et al.(1997).This esult provides a solution to the problem whether there is a correspondence between belief revision and default logic for the infinite case .As a by-product,an answer to the the question,raised by Mankinson and Gaerdenfors(1991),is also given about whether there is a counterpart contraciton in nonmonotonic logic.     

一种基于三维结构的分子相似性新定义

相似性模型在化学诸多领域的广泛应用激发了许多研究者努力探讨分子相似性更中肯的计算方法。我们根据语义模型定义了一种新的分子相似性指数。这种方法首先将分子结构安某种方式拆分，得到可以表征分子结构特征的结构碎片（子结构），它们构成了描述分子结构相似性的度量空间，再根据这些碎片的语义关系定义了分子相似。通过１６个含５个碳的醇之间的分子相似性的计算举例说明这个新方法。     

基于新型协调量化容差关系的不完备数据填补方法

提出一种基于新型协调量化容差关系的不完备数据补齐算法。首先求出属性值不完备对象的容差类,结合属性的重要度,将容差类里面的对象容差关系量化,再根据决策规则独立原则,在尽可能保持系统协调性的前提下对缺失属性值进行补齐。大量实验证明了本算法的有效性。     

基于闭包的关系模式全部主属性的多项式时间算法

文中通过对关系模式中的属性进行适当的分类，讨论了一个属性成为主属性应该满足的条件，并在文献「４」、「５」「６」的基础上，采用闭包，实现了利用Ａｒｍｓｔｒｏｎｇ公理进行函数信赖推导的过程，从而给出了一个简便的求解关系模式全部主属性的多项式时间算法。     

A Formal Model of Multi-Agent Belief-Interaction

A semantics is presented for belief-revision in the face of common announcements to a group of agents that have beliefs about each other's beliefs. The semantics is based on the idea that possible worlds can be viewed as having an internal structure, representing the belief independent features of the world, and the respective belief states of the agents in a modular fashion. Modularity guarantees that changing one aspect of the world (a belief independent feature or a belief state) has no effect on any other aspect of the world. This allows us to employ an AGM-style selection function to represent revision. The semantics is given a complete axiomatisation (identical to the axiomatisation found by Gerbrandy and Groeneveld for a semantics based on non-wellfounded set theory) for the special case of expansion.     

A Formal Model of Multi-Agent Belief-Interaction

A semantics is presented for belief revision in the face of common announcements to a group of agents that have beliefs about each other’s beliefs. The semantics is based on the idea that possible worlds can be viewed as having an internal-structure, representing the belief independent features of the world, and the respective belief states of the agents in a modular fashion. Modularity guarantees that changing one aspect of the world (a belief independent feature or a belief state) has no effect on any other aspect of the world. This allows us to employ an AGM-style selection function to represent revision. The semantics is given a complete axiomatisation (identical to the axiomatisation found by Gerbrandy and Groeneveld for a semantics based on non-wellfounded set theory) for the special case of expansion.     

使用扩展GRR作为全局视图的全局事务构造

全局视图构造与全局事务生成是数据库互操作的重要方面。已提出的若干全局视图结构在实际系统中并中足以刻划数据库结构的语义方面并正确生成全局事务。本文讨论我们对全局访问关系ＧＲＲ的扩展，并给出基于此全局视图的全局事务生成算法。     

一般关系粗糙集的近似分类精度和质量

由等价关系R所决定的近似空间(U,R)上,近似分类精度指出了可能的决策中正确决策所占的百分比,近似分类质量则表明了应用知识R能确切地划入已知分类的对象的百分比。将近似分类精度和分类质量的概念推广到一般(二元)关系所决定的广义近似空间上。通过引入独立集概念,给出了度量公式,最后通过实例验证了其合理性。     

A logic programming system for nonmonotonic reasoning

The evolution of logic programming semantics has included the introduction of a new explicit form of negation, beside the older implicit (or default) negation typical of logic programming. The richer language has been shown adequate for a spate of knowledge representation and reasoning forms.The widespread use of such extended programs requires the definition of a correct top-down querying mechanism, much as for Prolog wrt. normal programs. One purpose of this paper is to present and exploit a SLDNF-like derivation procedure, SLX, for programs with explicit negation under well-founded semantics (WFSX) and prove its soundness and completeness. (Its soundness wrt. the answer-sets semantics is also shown.) Our choice ofWFSX as the base semantics is justi-fied by the structural properties it enjoys, which are paramount for top-down query evaluation.Of course, introducing explicit negation requires dealing with contradiction. Consequently, we allow for contradiction to appear, and show moreover how it can be removed by freely changing the truth-values of some subset of a set of predefined revisable literals. To achieve this, we introduce a paraconsistent version ofWFSX, WFSX _p , that allows contradictions and for which our SLX top-down procedure is proven correct as well.This procedure can be used to detect the existence of pairs of complementary literals inWESX _p simply by detecting the violation of integrity rulesf L, -L introduced for eachL in the language of the program. Furthermore, integrity constraints of a more general form are allowed, whose violation can likewise be detected by SLX.Removal of contradiction or integrity violation is accomplished by a variant of the SLX procedure that collects, in a formula, the alternative combinations of revisable literals' truth-values that ensure the said removal. The formulas, after simplification, can then be satisfied by a number of truth-values changes in the revisable, among true, false, and undefined. A notion of minimal change is defined as well that establishes a closeness relation between a program and its revisions. Forthwith, the changes can be enforced by introducing or deleting program rules for the revisable literals.To illustrate the usefulness and originality of our framework, we applied it to obtain a novel logic programming approach, and results, in declarative debugging and model-based diagnosis problems.