基于中介逻辑的模糊推理算法

中介逻辑系统完整地反映了知识中的矛盾和对立等否定关系。针对具体处理模糊知识的需要,本文首先改进了中介无穷值语义模型,对其进行了语义描述;在此基础上扩展了Zadeh提出的近似推理方法即CRI算法,给出了基于中介逻辑思想的一种更为具体的算法,并通过一具体的例子进行了说明分析。     

基于上近似的近似推理

为使上近似蕴含的近似信息得到延伸,特将近似空间进行了扩充,从而得到树型近似空间,在其中经上近似与树的融合,引出了不同于其他方式的近似推理。通过分析研究,描述了近似推理的特性,获得了相关的结论。此即表明近似推理不仅保持路径中结点间精确的关联信息,而且拓宽了结点间相互推出的渠道,是一种宽泛性的推理模式。同时树型近似空间及近似推理为实际问题的处理建立了数学方法。     

近似推理的理论（Ⅰ）

本文中近似推理的理论阐述的是从一组不精确前提推演出可能是不精确的结论。近似推理的理论是建立在模糊逻辑(FL)基础上的。它的真值是语言性的,即是像真,不真,很真,或多或少为真,假,不很假等这种形式的真值。推理的法则是近似的而不是精确的,并且假定前提采取下列模糊命题的形式。例如:“(X is much smaller than Y)is quite true”,“If X is small is possiblethen Y is very large is very likely。”等。通过使用可能性分布(而不是概率分布)的概念,这种命题被翻译成 PRUF 的、表达式。PRUF 是(Possibilistic Rela-tional Universal Fuzzy)的缩写,它是一个目然语言的意义表示语言。一个 PRUF 的表达式是一个过程,它是用于计算由一个用目然语言表示的命题引入的可能性分布。通过对这种分布应用 PRUF 的推理法则,我们得到其它的可能性分布,它们是从模糊前提出发演绎得到的结论,然后对它们进行再翻译,用语言近似地表示出来。模糊逻辑推理的基本法则是投影原理,特指/合取原理和必含原理。最后通过一些例子来说明这些法则在近似推理中的应用。     

一种近似推理的地图匹配算法

针对车载导航系统研究中,由于定位传感器存在漂移误差,导航误差随时间逐步增加。因此,需要引入其它高精度稳定测量环节,用以修正漂移误差,提高导航精度。电子地图是车载定位定向系统中的重要组成部分。借助电子地图特殊的空间分析功能,按照＂正常情况下车辆总是行驶在道路上＂的假设,可以通过仿真验证证明采用的方法可有效地校正导航系统的定位误差,并提出了一种基于近似推理的地图匹配算法,根据算法需要对电子地图数据库的建立提出了构想,并通过跑车试验进行了验证可行性。     

描述逻辑非标准推理

描述逻辑是知识工程应用领域中重要的一类知识表示形式化工具。近年来,解决描述逻辑标准推理和非标准推理已成为描述逻辑研究的一个重要内容。文中概述描述逻辑的标准推理和非标准推理的重要性和研究进展,给出LCS推理、MSC推理、重写推理、匹配推理、调试推理和保守扩充等非标准推理的定义和实现这些推理的主要技术。深入讨论LCS推理、MSC推理和匹配推理,以及混合循环术语集的非标准推理及其研究进展。最后探讨描述逻辑非标准推理的发展趋向。     

三种近似推理模式的等价性

论证了伪距离空间中近似推理模式I与模式II是等价的;证明了模式I与模式III也是等价的,从而得出三种近似推理模式是等价关系。     

近似推理的理论（Ⅲ）

6 推理法则和近似推理像在其它逻辑中一样,在模糊逻辑中,一个命题q从一组前提{p_2,…p_n}出发的演绎也是由推理法则支配的。所不同的是,在模糊逻辑中,前提和结论均允许是模糊命题。而且由于在再翻译的过程中使用了语言近似,所以从前提p_1,…p_n得出的最终结论,一般是p_1,…p_n的近似的而不是精确的结果。在模糊逻辑中的基本推理法则是下列几个。     

学习《近似推理的理论》

模湖性是自然语言的一个固有性质,它也是产生不确定性的一个重要原因,因此能够有效地处理这种不确定性的近似推理方法,正在受到越来越多的人的重视。本文简要地介绍了这个理论产生的背景及其主要内容,并且对近似推理理论的重要特征以及它在人工智能等域领将起什么样的作用,提出一些初步看法,仅供参考。     

基于Rough集的模态逻辑及其近似推理

本文在Ｒｏｕｇｈ集上定义模态逻辑,并将这种逻辑的真值解释在Ｒｏｕｇｈ集上,使得古黄模态逻辑的必然和可能真值统一为Ｒｏｕｇｈｌｙ真值。文章还阐述了这种真值在近似推理中的应用。     

基于直觉模糊逻辑的近似推理方法

针对直觉模糊逻辑及命题演算,提出了利用隶属度和犹豫度计算直觉模糊逻辑命题真值的合成方法．给出了直觉模糊逻辑命题的运算规则,重点研究了基于直觉模糊逻辑的近似推理方法．该方法包括直觉模糊取式推理,直觉模糊拒武推理及直觉模糊假官推理．井推导了相关的推理合成运算公式．以具体算例验证和表明了所提出的推导方法的正确性和有效性,以及对方法进行验证的详细步骤．     

二值命题逻辑中基于条件真度的近似推理

以公式真度为基础,给出了二值命题逻辑中基于条件真度的逻辑度量的真度表示式,提出了两类在信息Г下的误差不大于ε结论模式,证明了两类结论模式的等价性,并讨论了基于条件真度和真度的近似推理及其关系问题。     

基于中介逻辑的模糊知识推理的搜索处理

中介逻辑是一种区分矛盾否定与对立否定、肯定一些对立知识间存在中介对象的逻辑系统。基于中介谓词逻辑描述模糊知识,合理修改与或图,将每一谓词表达式视为状态结点,把逻辑规则集合表示为状态搜索空间。在传统与或图搜索算法的基础上,修改启发函数,将模糊知识的推理问题转化为状态空间中的搜索问题,并给出了一种否定信息的处理方法。     

基于匹配度的广度优先推理方法的应用研究*

将专家系统用于确定发酵过程生物量软测量混合模型的结构,有利于提高软测量模型的精度,并且使其具有通用性和开放性。在分析发酵过程生物量软测量机理模型结构的基础上,定义了模型复杂度;提出了基于匹配度的广度优先推理方法,给出了匹配度的计算方法;实现了用于确定发酵过程生物量软测量混合模型结构的推理过程。实验表明,与基于穷举法的深度优先推理方法比较,基于匹配度的广度优先推理方法能够有效地减少推理的步数,降低模型复杂度,提高推理效率。     

Modal logic for default reasoning

In the paper we introduce a variant of autoepistemic logic that is especially suitable for expressing default reasonings. It is based on the notion of iterative expansion. We show a new way of translating default theories into the language of modal logic under which default extensions correspond exactly to iterative expansions. Iterative expansions have some attractive properties. They are more restrictive than autoepistemic expansions, and, for some classes of theories, than moderately grounded expansions. At the same time iterative expansions avoid several undesirable properties of strongly grounded expansions, for example, they are grounded in the whole set of the agent's initial assumptions and do not depend on their syntactic representation.Iterative expansions are defined syntactically. We define a semantics which leads to yet another notion of expansion — weak iterative expansion — and we show that there is an important class of theories, that we call -programs, for which iterative and weak iterative expansions coincide. Thus, for -programs, iterative expansions can be equivalently defined by semantic means.This work was partially supported by Army Research Office under grant DAAL03-89-K-0124, and by National Science Foundation and the Commonwealth of Kentucky EPSCoR program under grant RII 8610671.     

基于逻辑推理的数字权利动态描述研究*

摘要：使用过程中数字权利的动态描述一直都是DRM应用系统研究的热点。提出一种基于逻辑推理的数字权利动态描述模型,在定义好该模型的基本要素以后,利用逻辑推理工具Prolog深入探讨和分析该模型中数字证书逻辑推理过程,并给出了相应的应用实例。     

基于模糊近似推理的Vague集双向近似推理方法

给出由有限论域上的Vague集导出的分拆真模糊向量和分拆非假模糊向量的定义。进而得到Vague集近似推理的真近似推理模型和非假近似推理模型。最后得到Vague集正向近似推理结论和逆向近似推理结论。实例表明这种Vague集双向近似推理方法是可行的。     

计量逻辑学中的误差累计理论

在二值逻辑系统中,初步给出了计量逻辑学中的误差累计理论。证明了逻辑结论（作为Γ结论）的误差不会超过各前提误差的和。     

基于描述逻辑的组合知识库推理

由于知识库的定义不同,相近领域的知识库不能相互利用已有知识进行推理。为了联合不同的知识库进行推理,通过对描述逻辑的表现形式进行扩展提出一种组合描述逻辑,并基于概念的相似性将不同的领域概念进行关联,给出组合描述逻辑的语法及语义以及相应的Tableau算法。通过实例表明,组合描述逻辑可以利用已有知识进行推理;组合描述逻辑可以将不同的知识库进行结合,为借用不同知识库的知识进行推理提供一条新的途径。