基于范算子的模糊逻辑及等价关系语义

讨论了范算子的使用方法和特点,提出了基于范算子的模糊逻辑和推理,讨论合取通过t-norm来计算,对等值、等价和模糊集合的语义也进行了研究讨论,同时利用等价关系理论对模糊环境进行说明,并给出了几个具体例子.     

直觉模糊逻辑的语义算子研究

首先引用Atanassov直觉模糊集的基本概念和运算。在阐明直觉模糊集的集中、扩张、归一化算子之后,新定义了强化算子。通过考察Atanassov直觉模糊集与Zadeh模糊集之间的关系,给出了直觉模糊语言、结构化直觉模糊语言和直觉模糊语义的数学描述,重点对基于直觉模糊集和直觉模糊关系的模糊语言的语义算子,如语气算子、模糊化算子、判定化算子及连接与否定算子等进行了研究,并举例阐明其应用,使直觉模糊逻辑的语义算子得到进一步的拓广。     

基于算子模糊的不确定程度计算

本文提出并比较了在信度语义下，计算算子模糊逻辑中公式（集）模糊程度的３种方法－－归结法、广义归结法和ＴＡＢＬＥＡＵ方法。     

基于算子模糊逻辑的不确定程度计算

本文提出并比较了在信度语义下，计算算子模糊逻辑中公式（集）模糊程度的3种方法——归结法、广义归结法和TABLEAU方法．     

直觉模糊逻辑算子研究’

模糊逻辑算子是模糊信息融合、模糊推理及模糊决策的重要工具。针对作为模糊逻辑算子重要扩展的直觉模糊逻辑算子,首先引入了直觉模糊集在特殊格上的等价定义。其次,验证了直觉模糊t-模与s-模的若干重要性质。在此基础上,对两种常用的蕴涵算子：直觉模糊孓蕴涵与直觉模糊R-蕴涵所具有的新性质进行讨论和证明,从而便于直觉模糊逻辑算子的进一步应用。     

基于四值语义的缺省逻辑

基于公式变换,给出一组缺省理论的变换方法,将命题语言L中的缺省理论变换到对应的命题语言L^-＋中,保证了所得到的缺省理论的所有扩张均不平凡,并通过一种弱变换可同时保证缺省扩张的存在性．为缺省理论定义了各种四值模型,使得缺省逻辑具有非单调超协调推理能力,并证明了L^-＋中的缺省扩张与L中缺省理论的四值模型之间具有一一对应关系．四值模型描述了公式变换的语义,基于四值语义的缺省推理通过缺省理论的变换技术能在标准的缺省逻辑中实现．     

超协调逻辑（Ⅳ）—非单调超协调逻辑研究

这是关于超协调逻辑研究的末篇，文中分析了超协调逻辑与非单调逻辑的关系，并提出非单调超协调逻辑作为一种新的逻辑研究及其在形式化常识推理中的重要意义，最后，讨论了超协调逻辑的应用，特别是非单调超协调逻辑在计算机科学与人工智能中的应用问题。     

基于泛逻辑学的模糊逻辑关系柔性的研究

模糊逻辑是许多实际应用的逻辑基础,但是其理论基础还不太成熟,不能够实现真正的柔性,这也就影响了它的应用范围.逻辑学正处于第二次革命中,也就是由刚性逻辑到柔性逻辑的转变,泛逻辑学正是由何华灿教授建立的一种新的柔性逻辑体系.只有在泛逻辑学的框架内才能真正实现模糊逻辑关系的柔性化.     

A FRAMEWORK FOR LOGICS OF EXPLICIT BELIEF

The epistemic notions of knowledge and belief have most commonly been modeled by means of possible worlds semantics. In such approaches an agent knows (or believes) all logical consequences of its beliefs. Consequently, several approaches have been proposed to model systems of explicit belief, more suited to modeling finite agents or computers. In this paper a general framework is developed for the specification of logics of explicit belief. A generalization of possible worlds, called situations, is adopted. However the notion of an accessibility relation is not employed; instead a sentence is believed if the explicit proposition expressed by the sentence appears among a set of propositions associated with an agent at a situation. Since explicit propositions may be taken as corresponding to "belief contexts" or "frames of mind," the framework also provides a setting for investigating such approaches to belief. The approach provides a uniform and flexible basis from which various issues of explicit belief may be addressed and from which systems may be contrasted and compared. A family of logics is developed using this framework, which extends previous approaches and addresses issues raised by these earlier approaches. The more interesting of these logics are tractable, in that determining if a belief follows from a set of beliefs, given certain assumptions, can be accomplished in polynomial time.     

经验逻辑：一种非单调逻辑的统一形式

人的常识推理是一种充满经验性知识的累积过程,而经验推理具有非单调性。本文提出一种关于典型与例外的经验逻辑,特别研究它的非单调性,它提供了一个现存的主要非单调逻辑的统一基础,这是通过一种类似的规则把它们翻译成经验逻辑获得的。因此,经验逻辑给出了一类更一般而且直观的非单调推理形式。     

布尔算子模糊逻辑中一种新的假说修正方法

在基于具有某种程度的不一致性的知识进行推理的过程中，为了消除知识的不一致性，只能将这些知识看成假说，并通过对假说进行修正以重新获得一个一致的假说。文中基于布尔算子模糊逻辑，给出了一种新的假说修正方法，这种方法能够在一定程度上更多地保留被修正知识的合理成分，以便在以后有机会得到恢复。     

基于模糊重用库的容错软件开发

容错设计是改进软件可靠性的有效途径，然而由于设计多样性的实现很困难且开销大，导致该项技术目前仅应用于一些安全关键系统之中，为此，提出了一种将重用技术引入到容错软件开发过程中的应用框架，框架以模糊重用库为核心，增强的可靠性开发模型为基础，参数化可靠性指标为相异性设计的依据，简化了容错软件的开发过程，在方法和实践上改进了软件系统的可靠性，介绍了重用库结构，增强的可靠性开发方法，基于重用的相异性设计及其容错软件开发的支持。     

THE FUZZY GENERALIZED OWA OPERATOR AND ITS APPLICATION IN STRATEGIC DECISION MAKING

We present the fuzzy generalized ordered weighted averaging (FGOWA) operator. It is an extension of the GOWA operator for uncertain situations where the available information is given in the form of fuzzy numbers. This generalization includes a wide range of mean operators such as the fuzzy average (FA), the fuzzy OWA (FOWA), and the fuzzy generalized mean (FGM). We also develop a further generalization by using quasi-arithmetic means that we call the quasi-FOWA operator. The article ends with an illustrative example where we apply the new approach in the selection of strategies.     

动态模糊逻辑（DFL）在问题求解中的应用研究

问题求解是人工智能中的一大类问题。本文基于动态模糊逻辑（ＤＦＬ）,以动态模糊（ＤＦ）冰生式作为问题的表示方法,用动态模糊（ＤＦ）与／或语义图来分析问题的特征。     

模糊逻辑系统设计分析

模糊逻辑是以模糊理论为基础，允许用语言和了表示操作和控制规律。实际它比数学方法更好，用直观方法代替复杂数学模型。我们提出一简单模糊系统，说明如何将模糊逻辑引入到该系统中。范例概念直接了当，论文目的不在于设计一个交通灯，而在于说明如何设计一个模糊系统。     

基于语义贴近度的模糊数据依赖

本文基于语义贴近度的概念给出了模糊函数依赖（ＦＦＤ）、模糊多值依赖（ＦＭＶＤ）和模型联接依赖（ＦＪＤ）的定义。本文得到一组类似于Ａｒｍｓｔｒｏｎｇ公理的正确、完备的ＦＦＤ和ＦＭＶＤ的推理规则。进一步，我们证明了经典数据依赖满足模糊数据依赖的定义，ＦＦＤ是ＦＭＶＤ的特例，而ＦＭＶＤ又是ＦＪＤ的特例。