Characterization of interval fuzzy logic systems of connectives by group transformations
type: Item
instance of: scholarly article
title: Characterization of interval fuzzy logic systems of connectives by group transformations
zbMATH Open document ID: 1055.03016
DOI: 10.1023/B:REOM.0000032116.98264.16
author: Ladislav J. Kohout
author: Eun-Jin Kim
published in: Reliable Computing
publication date: 2004-08-06T00:00:00Z
review text: In commonsense and expert reasoning, we often use informal statements like ``zebra is a horse-like creature''. In contrast to traditional logic, these statements are true only to some degree; so, to formalize reasoning with such statements, it is desirable to describe these ``degrees of truth'' in precise terms. This precise description is one of the main reasons why fuzzy logic was invented in the first place. In fuzzy logic, the corresponding degrees of truth are usually represented either by values from the interval \([0,1]\) or by subintervals of this interval. There exist many different ways of transforming the expert's uncertainty into a precise number (or an interval); most of these methods are rather ad hoc. The authors have developed a technique called checklist paradigm that, crudely speaking, works as follows: we select a list of properties that describe a horse, and then for each object \(x\) we define its degree of horse-ness as \(d(x)=m(x)/n\), where \(n\) is the total number of properties defining a horse, and \(m(x)\) is the number of properties that are satisfied for the given object \(x\). In this formalism, to describe logical connectives, we must consider statements like ``both \(x\) and \(y\) are horse-like''. A natural checklist paradigm interpretation of the degree of truth of this statement is \(d(x,y)=m(x,y)/n\), where \(m(x,y)\) is the total number of properties that both \(x\) and \(y\) satisfy. The actual value of \(d(x,y)\) depends not only on \(d(x)\) and \(d(y)\), it also depends on the ``fine structure'': if both \(x\) and \(y\) satisfy exactly the same properties, then the value \(d(x,y)\) is larger, otherwise it is smaller. It is possible, for any given \(d(x)\) and \(d(y)\), to describe the exact bounds for \(d(x,y)\); these bounds correspond to what the authors call ``bottom'' and ``top'' operations. An arbitrary value of \(d(x,y)\) belongs to the interval formed by the results of these bottom and top operations. We can repeat thi…
Mathematics Subject Classification ID: 03B52
Mathematics Subject Classification ID: 68T37
zbMATH DE Number: 2081525
zbMATH Keywords: interval fuzzy logic
zbMATH Keywords: checklist paradigm
zbMATH Keywords: group transformations
reviewed by: Vladik Kreinovich
MaRDI profile type: Publication
Recommended article: INTERVAL-VALUED FUZZY GROUP CONGRUENCES
Recommended article: Intuitionistic fuzzy transformation semigroups
Recommended article: An overview of fuzzy logic connectives on the unit interval
Recommended article: Fuzzy topologies for groups of transformations
Recommended article: Q4851636
Recommended article: Q5485017
Recommended article: Q4831710
Recommended article: Intuitionistic fuzzy transformation semigroups.
Recommended article: Q3735764
Recommended article: Q2997075
description: scientific article; zbMATH DE number 2081525