Some mathematical tools for linguistic probabilities

We propose and develop, in this paper, some concepts and techniques useful for the theory of linguistic probabilisies introduced by L.A. Zadeh. These probabilities are expressed in linguistic rather than numerical terms. The mathematical framework for this study is based upon the possibility theory.We formulate first the problem of optimization under elastic constraints which is not only important for mathematical programming but will be served to justify the extension of possibility measure to linguistic variables. Next, in connection with translation rules in natural languages we study some transformations of fuzzy sets using a relation between random sets and fuzzy sets. Finally, we point out some differences between random variables and fuzzy variables, and present the mathematical notion of possibility, in the setting of set-functions, as a special case of Choquet capacities.     

Fuzzy closure systems on L—ordered sets

In this paper, notions of fuzzy closure system and fuzzy closure L —system on L —ordered sets are introduced from the fuzzy point of view. We first explore the fundamental properties of fuzzy closure systems. Then the correspondence between fuzzy closure systems (fuzzy closure L —systems) and fuzzy closure operators is established. Finally, we study the connections between fuzzy closure systems and fuzzy Galois connections. © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim     

The influence of some fuzzy implication operators on the accuracy of a fuzzy model-part II

The influence of fuzzy implication operators and the connective Also on the accuracy of a fuzzy model of a d.c. series motor is considered. Some typical fuzzy implication operators are applied to the construction of a fuzzy model of a d.c. series motor. A root-mean-square error is used as the criterion of the fuzzy model's adequacy to the real system. A number of mathematical operations necessary for the implementation of the fuzzy model are used as the criterion by which the fuzzy model's applicability if estimated from the point of view of computing techniques. The best types of fuzzy relations, representing fuzzy models of a real system, are chosen in order to secure the least root-mean-square error with minimal number of mathematical operations necessary for computer implementation.     

Bisimulations for fuzzy automata

Bisimulations have been widely used in many areas of computer science to model equivalence between various systems, and to reduce the number of states of these systems, whereas uniform fuzzy relations have recently been introduced as a means to model the fuzzy equivalence between elements of two possible different sets. Here we use the conjunction of these two concepts as a powerful tool in the study of equivalence between fuzzy automata. We prove that a uniform fuzzy relation between fuzzy automata A and B is a forward bisimulation if and only if its kernel and co-kernel are forward bisimulation fuzzy equivalence relations on A and B and there is a special isomorphism between factor fuzzy automata with respect to these fuzzy equivalence relations. As a consequence we get that fuzzy automata A and B are UFB-equivalent, i.e., there is a uniform forward bisimulation between them, if and only if there is a special isomorphism between the factor fuzzy automata of A and B with respect to their greatest forward bisimulation fuzzy equivalence relations. This result reduces the problem of testing UFB-equivalence to the problem of testing isomorphism of fuzzy automata, which is closely related to the well-known graph isomorphism problem. We prove some similar results for backward-forward bisimulations, and we point to fundamental differences. Because of the duality with the studied concepts, backward and forward-backward bisimulations are not considered separately. Finally, we give a comprehensive overview of various concepts on deterministic, nondeterministic, fuzzy, and weighted automata, which are related to bisimulations.     

基于综合函数设计的模糊系统及其插值机理

分析现有模糊系统的数学表示形式,注意到模糊系统输出函数的构造常采用对规则后件模糊集峰点(中心)值加权平均的方法. 综合函数是因素空间理论中利用简单因素状态合成复杂因素状态的有效工具, 本文将综合函数用于构造规则后件模糊集峰点(中心)值的权重, 给出一种新的模糊系统设计方法, 并且证明了这种基于综合函数的模糊系统可归结为一种插值函数.     

Semantics and pragmatics of fuzzy sets and systems

A philosophical formalism of a new methodological aspect of humanistic systems design and evaluation is given. A requisite concept of context-dependency is highlighted, and some approaches to fuzzy sets and linguistics subsequently extended. It is consequently shown that a mathematical theory of pragmatic fuzzy subsets is not only conceptually possible but practically implementable in man-machine studies as well. Thus, the important context-dependent implication of the subjective nature of Zadeh's theory of fuzzy sets can be better exploited.As a pragmatic theory, the approach here is a seeming connection between pragmatism and ontology, concepts that are traditionally diametrically opposed to each other. The attitude adopted has been the equation of pragmatism and psychophysical measurements of ontological objects (noumena). Pragmatism is tacitly defined as a form of empiricism whereby linguistic constructs (i.e., linguistic-variable denotions) that represent any aspect(s) of a humanistic system are nothing more than an operational procedure used to achieve psychophysical measurements of the aspect(s). In this fashion, pragmatism would enable the contents of assertions, which are made through declarative propositions, about humanistic systems to be deciphered within relevant contexts. For pragmatism, direct sense experience provides both the meaning and the criterion of reality judgements. The context-dependent nature of the physical reality of ontological entities is, therefore, better understood pragmatically vis-a-vis the appropriate evaluative criteria and interpretative conventions.By emphasizing the distinction between a fuzzy system (naturally fuzzified) and a fuzzified mathematical structure (meta-mathematically fuzzified), the use of the standard fuzzy topologies is justified although it is conceptually possible to develop a yet more general topology or perhaps an alternative one especially in the case of a meta-mathematically fuzzified structure. However, for the express purpose of machine implementation, a naturally fuzzified system, such as a (complex) humanistic system, is more amenable to an initial test of the philosophy of pragmatic fuzzy subsets. Consequently, the fuzzy topology and spaces employed are intended to be devoid of extensive generalities, in this instance.     

单水箱液位控制系统的模糊推理建模及仿真

首先,依据实际背景,利用单水箱实验系统设计了几种典型的液位控制实验;然后,将模糊推理建模法应用于实际的单水箱液位控制系统中,推导得到其数学模型,即变系数线性微分方程组;最后,利用仿真实验检验了这些数学模型的准确性。结果表明这种建模方法比较精确,充分考虑了实际系统的非线性特性。     

Multiple criteria decision problems with fuzzy domination structures

The concepts of domination structures and nondominated solutions in multiple criteria decision problems, which were introduced by Yu, enable us to tackle general situations in which there exists information concerning the decision maker's preferences.In many of the multiple criteria decision problems the underlying domination structures are not known precisely but only fuzzily determined. Yu primarily works with the case where the domination structure at each point is a convex cone. As a result, there exists a sharp borderline dividing all solutions into nondominated solutions and the others.This paper fuzzifies the concepts of domination structures and nondominated solutions to allow them to be applied to a larger class of the multiple criteria decision problems mentioned above. Introducing the concepts of fuzzy convex cones and fuzzy polar cones, it is shown how some of the main results obtained by Yu are extended.     

Asymptotic structural characteristics of fuzzy measure and their applications

In fuzzy measure theory, as Sugeno's fuzzy measures lose additivity in general, the concept ‘almost’, which is well known in classical measure theory, splits into two different concepts, ‘almost’ and ‘pseudo-almost’. In order to replace the additivity, it is quite necessary to investigate some asymptotic behaviors of a fuzzy measure at sequences of sets which are called ‘waxing’ and ‘waning’, and to introduce some new concepts, such as ‘autocontinuity’, ‘converse-autocontinuity’ and ‘pseudo-autocontinuity’. These concepts describe some asymptotic structural characteristics of a fuzzy measure.In this paper, by means of the asymptotic structural characteristics of fuzzy measure, we also give four forms of generalization for both Egoroff's theorem, Riesz's theorem and Lebesgue's theorem respectively, and prove the almost everywhere (pseudo-almost everywhere) convergence theorem, the convergence in measure (pseudo-in measure) theorem of the sequence of fuzzy integrals. In the last two theorems, the employed conditions are not only sufficient, but also necessary.     

一类模糊逻辑系统幺半群与同态映射

首先利用代数中幺半群的概念给出了模糊逻辑系统专业领域的概念, 建立专业领域概念的目的是为了规范模糊逻辑系统中语言变量的取值范围, 从而将模糊逻辑系统看作是某个笛卡儿乘积幺半群的有限子集. 然后利用这个笛卡儿乘积幺半群的乘积运算构造了模糊逻辑系统幺半群. 最后, 在一定的约定条件下证明了通常使用的一类Mamdani形模糊逻辑系统的输出可以看作是从模糊逻辑系统幺半群到连续函数域的同态映射.     

模糊粗糙子群

提出群中的模糊粗糙子群和模糊粗糙正规子群的概念。证明模糊子群的粗糙集是模糊子群，模糊正规子群的粗糙集是模糊正规子群。     

Combining grey relation and TOPSIS concepts for selecting an expatriate host country

As international corporate activities increase, their staffing involves more strategic concerns. However, foreign assignments have many differences, and dissatisfaction with the host country is a known cause of expatriate failure. From the point of view of an expatriate candidate, the decision of whether to take an expatriate assignment can be regarded as a FMCDM (fuzzy multiple criteria decision making) problem. This paper describes a fuzzy AHP (fuzzy analytic hierarchy process) to determine the weighting of subjective judgments. Using the Sugeno integral for λ-fuzzy measure, and using the nonadditive fuzzy integral technique to evaluate the synthetic utility values of the alternatives and the fuzzy weights, then the best host country alternative can be derived with the grey relation model. The authors further combine the grey relation model based on the concepts of TOPSIS (technique for order preference by similarity to ideal solution) to evaluate and select the best alternative. A real case of expatriate assignment decision-making was used to demonstrate that the grey relation model combined with the ideas of TOPSIS results in a satisfactory and effective evaluation.     

Additive fuzzy measures and integrals I

A point of view concerning “fuzzy measures” is explained. To this end, a new concept of “disjointness” for fuzzy is introduced and studied. Also, a concept of an “additive class of fuzzy sets” is defined to be a class of fuzzy sets closed under some “additive operations.” The fuzzy measures are defined to be sum-preserving real functions over such additive classes. Some basic properties of the fuzzy measures are derived. In contrast with other homonymous concepts studied in literature, our fuzzy measures lead to an additive fuzzy integral (see the part II of the paper).     

Comments on “Statistical reasoning with set-valued information: Ontic vs. epistemic view” by Inés Couso and Didier Dubois

I discuss some aspects of the distinction between ontic and epistemic views of sets as representation of imprecise or incomplete information. In particular, I consider its implications on imprecise probability representations: credal sets and sets of desirable gambles. It is emphasized that the interpretation of the same mathematical object can be different depending on the point of view from which this element is considered. In the case of a fuzzy information on a random variable, it is possible to define a possibility distribution on the simplex of probability distributions. I add some comments about the properties of this possibility distribution.     

关于具有Fuzzy约束的Fuzzy多目标规划非控解的存在性

本文对具有Fuzzy约束集的Fuzzy多目标规划引进Fuzzy非控点和Fuzzy非控解的概念,讨论了它们的一些基本性质和存在性。     

Measures of fuzzy sets and measures of fuzziness

The measures presented in this paper are defined by using Weber's concept of decomposable measures m of crisp sets, having in particular the Archimedean decomposable operations in view (Section 2). Measures $\text{m}$ of fuzzy sets are introduced as integrals with respect to m. For the Archimedean cases, Weber's integral will be used as alternative to Sugeno's and Choquet's concepts (Section 3). What ‘fuzziness’ means will be described by functions of fuzziness F (another name: entropy N-functions) with respect to a negation. In addition to the types of functions of fuzziness which are induced by concave functions, we discuss also the ones which are induced by fuzzy connectives (Section 4). Now, using m for measuring the ‘importance of items’ and F for the ‘fuzziness’ of the possible values of a fuzzy set ?, m?(F ° ?) serves us as a measure of the fuzziness $\text{F}$? of ?. The concepts of De Luca and Termini, Capocelli and De Luca, Kaufmann, Knopfmacher, Loo, Gottwald, Dombi and, under the restriction to the Archimedean cases, also the concepts of Trillas and Riera and Yager turn out to be special cases (Section 5).     

Fuzzy Galois Connections

The concept of Galois connection between power sets is generalized from the point of view of fuzzy logic. Studied is the case where the structure of truth values forms a complete residuated lattice. It is proved that fuzzy Galois connections are in one-to-one correspondence with binary fuzzy relations. A representation of fuzzy Galois connections by (classical) Galois connections is provided.     

EQ-algebras

We introduce a new class of algebras called EQ-algebras. An EQ-algebra has three basic binary operations (meet, multiplication and a fuzzy equality) and a top element. These algebras are intended to become algebras of truth values for a higher-order fuzzy logic (a fuzzy type theory, FTT). The motivation stems from the fact that until now, the truth values in FTT were assumed to form either an IMTL-, BL-, or MV-algebra, all of them being special kinds of residuated lattices in which the basic operations are the monoidal operation (multiplication) and its residuum. The latter is a natural interpretation of implication in fuzzy logic; the equivalence is then interpreted by the biresiduum, a derived operation. The basic connective in FTT, however, is a fuzzy equality and, therefore, it is not natural to interpret it by a derived operation. This defect is expected to be removed by the class of EQ-algebras introduced and studied in this paper. From the algebraic point of view, the class of EQ-algebras generalizes, in a certain sense, the class of residuated lattices and so, they may become an interesting class of algebraic structures as such.     

Minimization approach to membership evaluation in fuzzy sets and error analysis

Evaluation of the degree of membership in fuzzy sets is a fundamental topic in fuzzy set theory. Saaty (Ref. 1) proposes a method for solving this problem that has been widely accepted. In this paper, we examine the problem from an error minimization point of view that attempts to reflect the real intentions of the decision maker. When this approach is used, the findings reveal that fuzzy sets of different cardinalities have dramatically different requirements in the consistency level of the input data as far as the error minimization criterion is concerned.     

Fuzzy映射与F基数

本文定义了从一个Ｆｕｚｚｙ集到另外一个Ｆｕｚｚｙ集的映射，称之为Ｆｕｚｚｙ映射，它不同于以往人们习惯用的“模糊映射”；给出了Ｆｕｚｚｙ映射的等价条件并研究了Ｆｕｚｚｙ映射的性质；基于这样的Ｆｕｚｚｙ映射定义了Ｆｕｚｚｙ映集的基数简称为Ｆ基数，讨论了它的基本性质；最后说明了Ｆ基数对于连续统假设的影响。