Fuzzy Logic and Arithmetical Hierarchy,II

A very simple many-valued predicate calculus is presented; a completeness theorem is proved and the arithmetical complexity of some notions concerning provability is determined.     

On Revising Fuzzy Belief Bases

We look at the problem of revising fuzzy belief bases, i.e., belief base revision in which both formulas in the base as well as revision-input formulas can come attached with varying degrees. Working within a very general framework for fuzzy logic which is able to capture certain types of uncertainty calculi as well as truth-functional fuzzy logics, we show how the idea of rational change from “crisp” base revision, as embodied by the idea of partial meet (base) revision, can be faithfully extended to revising fuzzy belief bases. We present and axiomatise an operation of partial meet fuzzy base revision and illustrate how the operation works in several important special instances of the framework. We also axiomatise the related operation of partial meet fuzzy base contraction.This paper is an extended version of a paper presented at the Nineteenth Conference on Uncertainty in Arti.cial Intelligence (UAI’03).     

A Fuzzy Goal Programming Formulation with Multiple Target Levels

The essential activity of a manager is decision making, which is becoming more and more complex, mainly in the multi‐criteria problems. Multi‐choice goal programming (MCGP) is considered as a robust tool in operational research to solve this type of problem. However, in real world problems, determining precise targets for the goals is a difficult task. To deal with such situation, Tabrizi introduced and used in 2012 the concept of membership functions in the MCGP model in order to model the targets fuzziness of each goal. In their model, they considered just only one type of functions (triangular form), which does not reflect adequately the decision maker's preferences that are considered as an essential element for modelling the goal's fuzziness. Their model is called Fuzzy MCGP. In this paper, new ideas are presented to reformulate MCGP model to tackle all types of functions by introducing the (decision maker's) preferences. The concept of indifference thresholds is used in the new formulation for characterizing the imprecision and the preferences associated with all types of the goals. The proposed formulation provides useful insight about the solution of a new class of problems. A numerical example is given to demonstrate the validity and strength of the new formulation. Copyright © 2013 John Wiley & Sons, Ltd.     

Mathematical concepts for analyzing ambiguous situations

Abstract

We examine some mathematical tools for dealing with ambiguous situations. The main tool is the use of non-standard logic with truth-values in what is called a locale. This approach is related to fuzzy set theory, which we briefly discuss. We also consider probabilistic concepts. We include specific examples and describe the way a researcher can set up a suitable locale to analyse a concrete situation.     

On the Standard and Rational Completeness of some Axiomatic Extensions of the Monoidal T-norm Logic

The monoidal t-norm based logic MTL is obtained from Hájek's Basic Fuzzy logic BL by dropping the divisibility condition for the strong (or monoidal) conjunction. Recently, Jenei and Montgana have shown MTL to be standard complete, i.e. complete with respect to the class of residuated lattices in the real unit interval [0,1] defined by left-continuous t-norms and their residua. Its corresponding algebraic semantics is given by pre-linear residuated lattices. In this paper we address the issue of standard and rational completeness (rational completeness meaning completeness with respect to a class of algebras in the rational unit interval [0,1]) of some important axiomatic extensions of MTL corresponding to well-known parallel extensions of BL. Moreover, we investigate varieties of MTL algebras whose linearly ordered countable algebras embed into algebras whose lattice reduct is the real and/or the rational interval [0,1]. These embedding properties are used to investigate finite strong standard and/or rational completeness of the corresponding logics.     

Embedding Logics into Product Logic

We construct a faithful interpretation of ukasiewicz's logic in product logic (both propositional and predicate). Using known facts it follows that the product predicate logic is not recursively axiomatizable.We prove a completeness theorem for product logic extended by a unary connective of Baaz [1]. We show that Gödel's logic is a sublogic of this extended product logic.We also prove NP-completeness of the set of propositional formulas satisfiable in product logic (resp. in Gödel's logic).     

基于遗传算法的模糊综合评价在心理测量中的应用

提出了运用模糊数学对利克特量表数据进行分析的方法, 探讨了人们在进行模糊综合评价时, 所采用的算子和对各个自变量的权重分配, 并且运用遗传算法(GA)来确定相关的权重。以大学生对康师傅红烧牛肉面的评价数据为例, 运用基于遗传算法的模糊综合评价方法, 发现男生采用了“最大最小”合成算子, 女生采用了“有界和、取小”合成算子。研究结果表明, 基于遗传算法的模糊综合评价方法可以对利克特量表的心理测量数据进行有效的分析。     

On Vagueness,Truth Values and Fuzzy Logics

Some aspects of vagueness as presented in Shapiro’s book Vagueness in Context [23] are analyzed from the point of fuzzy logic. Presented are some generalizations of Shapiro’s formal apparatus. Presented by Daniele Mundici