Fuzzy Modal Logics

In the paper we introduce formal calculi which are a generalization of propositional modal logics. These calculi are called fuzzy modal logics. We introduce the concept of a fuzzy Kripke model and consider a semantics of these calculi in the class of fuzzy Kripke models. The main result of the paper is the completeness theorem of a minimal fuzzy modal logic in the class of fuzzy Kripke models.__________Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 9, No. 1, pp. 201–230, 2003.     

模糊BIK~+-逻辑与非可换模糊逻辑(英文)

为了建立各种可换和非可换模糊逻辑的公共基础(蕴涵片段),提出了一个新的蕴涵逻辑,称为模糊BIK+-逻辑。证明了这一新的蕴涵逻辑的可靠性和弱完备性定理,同时讨论了模糊BIK+-逻辑与各种模糊逻辑之间的关系,以及与它们配套的代数结构之间的关系。     

模糊优选（优化）理论与模型

本文提出的多目标系统模糊优选(优化)理论与计算模型,是处理多目标系统的一个新的优化方法。     

BIK+-逻辑与非可换模糊逻辑

引入BIK -逻辑的概念,证明了BIK -逻辑的可靠性定理(基于BCC-代数)。同时,研究了BIK -逻辑与非可换模糊逻辑的关系,说明了各种源于模糊逻辑的代数结构之间的内在联系,并用一个图示表达了这些关系。     

An Extension Principle for Fuzzy Logics

Let S be a set, P(S) the class of all subsets of S and F(S) the class of all fuzzy subsets of S. In this paper an “extension principle” for closure operators and, in particular, for deduction systems is proposed and examined. Namely we propose a way to extend any closure operator J defined in P(S) into a fuzzy closure operator J* defined in F(S). This enables us to give the notion of canonical extension of a deduction system and to give interesting examples of fuzzy logics. In particular, the canonical extension of the classical propositional calculus is defined and it is showed its connection with possibility and necessity measures. Also, the canonical extension of first order logic enables us to extend some basic notions of programming logic, namely to define the fuzzy Herbrand models of a fuzzy program. Finally, we show that the extension principle enables us to obtain fuzzy logics related to fuzzy subalgebra theory and graded consequence relation theory. Mathematics Subject Classification : 03B52.     

模糊聚类循环迭代理论与模型

给出模糊聚类循环迭代理论与模型，与国内外同类模型相比，笔者模型的优点是考虑了指标权重，并给出确定指标权重的循环迭代计算公式与方法。     

可变模糊集合理论与可变模型集

在对立模糊集定义基础上给出以相对隶属函数表示的模糊可变集合定义,给出可变模糊聚类迭代模型、可变模糊模式识别模型、可变模糊对立识别模型.它们是可变模糊聚类、识别、优选决策、评价相统一的理论模型集,是可变模糊集的基础模型与核心内容,可用于自然、管理、人文、社会等各种学科中关于模糊聚类、识别、优选决策、评价、预测等众多实际领域.     

Quantified Multimodal Logics in Simple Type Theory

We present an embedding of quantified multimodal logics into simple type theory and prove its soundness and completeness. A correspondence between QKπ models for quantified multimodal logics and Henkin models is established and exploited. Our embedding supports the application of off-the-shelf higher-order theorem provers for reasoning within and about quantified multimodal logics. Moreover, it provides a starting point for further logic embeddings and their combinations in simple type theory.     

基于模糊集理论的承包商资格预审模型

招标方在对承包商的资格预审过程中,需要对承包商的财务状况、技术能力、施工经验、社会信誉等方面进行评审,以确定有资格参加投标的承包商,针对有些评审指标难以量化以及评审过程中决策者主观判断影响最终结果的情况,提出了基于模糊集的资格预审模型,并通过算例验证了该模型的可行性。     

基于Fuzzy理论的一种医疗诊断模型

首先从大量文献中整理出不同经脉中穴位主治病症的个数及穴位在文献中出现的频数等数据,并对现有的模糊聚类分析方法进行了研究,依据改进后的FCM法对手少阳三焦经上的全部穴位按重要程度进行了分类.同时通过病症现象与穴位之间的隶属关系,提出由历史数据及专家优序数综合确定模糊隶属度的方法,建立模糊医疗诊断模型.该模型为利用经络中的穴位快速、准确治疗疾病提供了理论方法.     

Weakly Implicative (Fuzzy) Logics I: Basic Properties

This paper presents two classes of propositional logics (understood as a consequence relation). First we generalize the well-known class of implicative logics of Rasiowa and introduce the class of weakly implicative logics. This class is broad enough to contain many “usual” logics, yet easily manageable with nice logical properties. Then we introduce its subclass–the class of weakly implicative fuzzy logics. It contains the majority of logics studied in the literature under the name fuzzy logic. We present many general theorems for both classes, demonstrating their usefulness and importance.The work was supported by grant A100300503 of the Grant Agency of the Academy of Sciences of the Czech Republic and by Institutional Research Plan AVOZ10300504.     

模糊逻辑(ξ)*和NM的公理系统的简化

从王国俊教授提出的模糊命题演算形式系统(ξ)*、(ξ)0*的性质以及它们与F.Esteva和L.Godo提出的MTL、IMTL和NM的关系出发,借助代数方法证明了(ξ)*和NM中的公理(L10*)和(NM)可以由一条只含一个命题变元且形式更为简单的公理模式(L*w)代替.这一结果简化了(ξ )*和NM的公理系统.     

基于模糊理论的软件寿命周期费用评价模型

软件寿命周期费用评价模型涉及到软件开发、使用和维护过程中各种资源最有效利用的权衡分析。由于软件开发不是一门严谨的精确科学,往往存在大量具有不确定性的需求以及许多未知和不确定因素,所有这些都给软件寿命周期费用评价带来模糊效用。本文将模糊理论应用于软件寿命周期费用的评价,给出了从评价属性模糊值的确定、模糊评价模型的建立,到模型求解和最优方案选择的模糊评价方法,并通过对一个算例的分析,证明了该模型的可行性。     

基于可信性理论的模糊熵权的MADM模型研究

针对属性值以模糊变量形式给出的特点,运用2004年基础数学领域完成的研究模糊现象数量规律的一个新的数学分支——可信性理论的原理,提出了基于可信性测度的模糊变量的熵的权重求解公式,结合模糊变量之间的距离,构造了属性值与理想点之间距离的加权算术平均算子,并以其算子的计算值的大小获得最优方案和排序的一种模糊熵权的多属性决策模型.结合一实例进行分析和计算,显示该模型较为贴近实际,体现了模型的正确性.     

基于可信性理论的模糊离差MADM模型研究

针对属性值以模糊变量形式给出的特点,运用2004年基础数学领域完成的研究模糊现象数量规律的一个新的数学分支——可信性理论的原理,我们做了以下三点研究:(i)结合模糊变量之间的距离,定义模糊离差,构造了模糊属性值之间离差最大化的算子;(ii)得到了计算属性权重值的模糊规划期望值模型(EVM);(iii)考虑到属性的重要性程度不同,利用信息熵最大化原理,构造了具有平衡能力的权重计算模型,从而得到基于可信性理论的模糊离差多属性决策(FD-MADM)模型.最后结合实例进行分析和计算,显示该模型的可行性和有效性.     

模糊维结构及模糊多维数据模型

基于模糊等价关系,提出一种支持非完全划分的模糊维结构模型,并对模糊维的层次聚集关系,数据立方体和OLAP分析操作进行了形式化描述,从而形成了一种较完整的模糊多维数据模型。     

不分明嵌入理论及其应用

本文讨论一类格上拓扑学中嵌入问题,确切说是讨论值域为fuzzy格的L不分明拓扑空间中嵌入理论及其应用.首先概述若干诸如不分明单位区间、重域构造以及格上保并映射类的代数运算等基础性成果.其次给出不分明完全正则的点式刻划与关于一致结构的著名Weil定理的不分明推广并从而建立了在不分明单位方体中一般性的嵌入定理.最后作为嵌入定理的应用,得到了不分明Urysohn度量化定理并完成了不分明Stone-Cech紧化的一般理论。