Documente Academic
Documente Profesional
Documente Cultură
-Numbers
Theory and Applications
Rafik A Aliev
Azerbaijan State Oil Academy, Azerbaijan
Oleg H Huseynov
Azerbaijan State Oil Academy, Azerbaijan
Rashad R Aliyev
Eastern Mediterranean University, Turkey
Akif A Alizadeh
Azerbaijan University, Azerbaijan
World Scientific
NEW JERSEY • LONDON • SINGAPORE • BEIJING • SHANGHAI • HONG KONG • TA I P E I • CHENNAI
For photocopying of material in this volume, please pay a copying fee through the Copyright Clearance
Center, Inc., 222 Rosewood Drive, Danvers, MA 01923, USA. In this case permission to photocopy
is not required from the publisher.
ISBN 978-981-4675-28-4
Printed in Singapore
Dedication
Rafik Aliev
Oleg Huseynov
Rashad Aliev
Akif Alizadeh
May 2, 2013 14:6 BC: 8831 - Probability and Statistical Theory PST˙ws
Preface
vii
9575-The Arithmetic of Z-numbers
Preface ix
Preface xi
R.A. Aliev
O.H. Huseynov
R.R. Aliyev
A.V. Alizadeh
May 2, 2013 14:6 BC: 8831 - Probability and Statistical Theory PST˙ws
Contents
Preface…………………………………………………………………………......… vii
xiii
9575-The Arithmetic of Z-numbers
Index.…………………………………….………………….…………………………………….…………………. 298
9575-The Arithmetic of Z-numbers
Chapter 1
This chapter includes the papers of L.A. Zadeh: 1. L.A. Zadeh, Toward a
restriction-centered theory of truth and meaning (RCT). Information
Sciences, 248, 2013, 1–14; 2. L.A. Zadeh, A note on Z-numbers,
Information Sciences, 181, 2011, 2923-2932.
1.1. Z-restriction
1.1.1. Introduction
p → X isr R,
CF(R(X)) : X isr R.
is an indirect restriction on p.
In the sequel, the term restriction is sometimes applied to R.
The principal types of restrictions are: possibilistic restrictions,
probabilistic restrictions and Z-restrictions.
R(X): X is A,
Poss( X = u ) = µ A (u ).
9575-The Arithmetic of Z-numbers
Example.
X is small
↑ ↑
The fuzzy set small plays the role of the possibility distribution of X
(Fig. 1.1).
A
1
membership function of A
possibility distribution of X
0 X/u
Fig. 1.1. Possibilistic restriction ox X.
Example.
Example.
1
X isp exp( −( X − m) 2 / 2σ 2 ).
2π
↑
↑
Z-restriction (r = z)
A Z-restriction is expressed as
R(X): X is Z,
where Z is a combination of possibilistic and probabilistic restrictions
defined as
Z: Prob(X is A ) is B ,
Examples.
(Age(Robert), young, very likely)
(Traffic, heavy, usually).
A natural language may be viewed as a system of restrictions. In the
realm of natural languages, restrictions are predominantly possibilistic.
9575-The Arithmetic of Z-numbers
µ
membership function of
middle age
1
0.8
0 Age
40 43 45 55 60
of the extension principle. The simplest version [149] is one in which the
restriction is possibilistic and direct. This version of the extension
principle reduces computation of R(Y) to the solution of a variational
problem,
Y =f(X)
R(X) : X is A
R (Y ) : µY (v ) = sup u ( µ A (u ))
subject to
v=f(u),
If X is A then Y is f( A),
Y/v
f(A)
0 X/u
Fig.1.3. Possibilistic version of the basic extension princible. f(A) is the image of A
under f. What is shown is a trapezoidal approximation to f(A).
Y =f(X)
9575-The Arithmetic of Z-numbers
R(Y) : Y is B
R ( X ) : µ A (u ) = ( µ B ( f (u )))
Y/v
X/u
preimage of B under f
Fig. 1.4. Inverse version of the basic possibilistic extension principle. The induced
restriction on X is the preimage of B, the restriction on Y.
Y =f(X)
R(X) : g(X) is A
R (Y ) : µY (v ) = sup u ( µ A ( g (u )))
subject to
v=f(g(u)).
Example.
If hmin and hmax are, respectively, the minimum and maximum heights
in the population, we have
hmax
∫ hmin
h (u ) du = 1.
hmax
p* : ∫ µ tall (u ) h (u ) du is most,
hmin
and
hmax
∫ hmin
h (u ) du = 1.
p → X isr R,
X R
p: Most Swedes are tall →
Proportion(tall Swedes /Swedes) is most
↑ ↑
X R
p: Robert is much taller than most of his friends → Height (Robert) is
9575-The Arithmetic of Z-numbers
linguistic truth
value
0 numerical
1 truth
values
Fig. 1.5. Hierarchy of truth values. A numerical truth value is first-order (ground level)
truth value. A linguistic truth value is a second-order truth value.A linguistic truth value
is a restriction on numerical truth values. Typically, a linguistic truth value is a fuzzy set
or, equivalently, a possibility distribution.
Precisiation of X, R and p
X*=f(ED), R*=g(ED).
ntp=tr(ED),
nt numerical
truth value
tr
instantiation
of ED
Fig. 1.6. A numerical truth value, nt, is induced by an instantiation of ED. tr is the truth
function.
X =Height(Robert), R=tall.
The canonical form reads
Height(Robert) is tall.
The precisiated X and R are expressed as
X*=Height(Robert), R*=tall,
tall
1
0.9
0 Height
175 cm
Fig. 1.7. 0.9=Truth value of the proposition Robert is tall, given that Robert’s height is
175 cm. 0.9=possibility that Robert’s height is 175 cm, given the proposition Robert is
tall.
9575-The Arithmetic of Z-numbers
R* = most,
where most is a fuzzy set with a specified membership function, µ most .
The precisiated canonical form reads
hmax
CF * ( p) : ∫ h(u ) µtall (u ) du is most.
hmin
1
X * = ∑ µMT (h, hi ) ∧ µ F ( Namei ) , R* = most,
n i
1
Poss( ED | p) = µmost ∑ µMT (h, hi ) ∧ µF (i) ,
n i
Summary of Precisiation
tr (Pross(ED)) 1
tr
1tp
Pross(ED)
Fig. 1.8. A linguistic truth value, ltp, is induced by a possibilistic restriction on instantions
of ED, Poss(ED). ltp is a linguistic approximation to the image of Poss(ED) under tr.
9575-The Arithmetic of Z-numbers
Poss(ED), tr(Poss(ED)) and ltp are fuzzy sets. For simplicity, denote
these fuzzy sets as A, B and C, respectively. Using the extension
principle, computation of ltp reduces to the solution of the variational
problem,
µ B (v) = sup u µ A (u )
subject to
v = tr (u )
µC ≈ µ B .
1tp
tr
preimage of
1tp
Poss (ED|1tp)
Example. In Fig. 1.7, the preimage of 0.9 is 175 cm. The meaning of p is
the possibility distribution of tall. The truth value 0.9 modifies the
possibility distribution of tall to Height(Robert)=175 cm. More
generally, when the truth value is linguistic, ltp, the modified meaning of
p is the preimage of ltp under tr (Fig. 1.10).
1
tall
0.9
1tp
0 Height
175 cm
h true(X is A)=X is h A.
µ µ
1
1
tall
very true
0 u 0 Height
1
1
true(X is A)=X is A.
1.2.1. Introduction
R(X): X is A;
R(X): X is A → Poss( X = u ) = µ A (u )
p = ∫ µ A (u ) p X (u )du,
R
9575-The Arithmetic of Z-numbers
Prob(X is A) is B .
∫µ
R
A (u ) p X (u ) du is B.
µ p
Px
1
µA
0 R
∫ uµ A (u )du
∫ up (u )du = R
.
∫µ
X
R A (u )du
R
µ A ⋅ p X = PA = ∫ µ A (u ) p X (u ) du.
R
Z ( A, B) = Z + ( A, µA ⋅ pX is B).
µ = µ1 / u1 + + µn / un
p = p1 \ u1 + + pn \ un
µ : p = ( µ1 , p1 ) / u1 + + ( µ n , pn ) / u n .
9575-The Arithmetic of Z-numbers
( X , A, px )
( X , A, B), µ A ⋅ px is B,
If X is Ai then Y is Bi , i = 1,..., n
where the Ai and Bi are fuzzy sets with specified membership functions.
If X is A, where A is not one of the Ai, then what is the restriction on Y ?
The problem of interpolation may be generalized in various ways. A
generalization to Z-numbers may be described as follows. Consider a
collection of Z-rules of the form:
where the Ai and Bi are fuzzy sets. Let A be a fuzzy set which is not one
of the Ai. What is the restriction on Y expressed as a Z-number? An
answer to this question would add a useful formalism to the analysis of
complex systems and decision processes.
Representation of Z-numbers is facilitated through the use of what is
called a Z-mouse[170]. Basically, a Z-mouse is a visual means of entry
and retrieval of fuzzy data. A different system of visual entry and
retrieval of fuzzy data was employed by Buisson for balancing
meals[37].
The cursor of a Z-mouse is a circular fuzzy mark, called an f-mark,
with a trapezoidal distribution of light intensity. This distribution is
interpreted as a trapezoidal membership function of a fuzzy set. The
parameters of the trapezoid are controlled by the user. A fuzzy number
such as ‘‘approximately 3’’ is represented as an f-mark on a scale, with 3
being the centroid of the f-mark (Fig. 1.13a). The size of the f-mark is a
measure of the user’s uncertainty about the value of the number. As
9575-The Arithmetic of Z-numbers
approximately 3
f-mark
(b)
(a)
B
A
ZX+ ∗ ZY+ = ( AX ∗ AY , RX ∗ RY )
Thus,
9575-The Arithmetic of Z-numbers
Y = f (X )
R( X ) : is A (constraint on u is µ A (u ))
R (Y ) : µY (v) = supu µ A (u ) ( f ( A) = R (Y ))
subject to
v = f (u) ,
Y = f (X )
R ( X ) : X is ( µ1 / u1 + + µ n / un )
R (Y ) : µY (v ) = sup u1,..., un µ i
subject to
v = f (ui )
Y = f (X )
R ( X ) : g ( X ) is A (constraint on u is µ A ( g (u )))
R (Y ) : µY (v) = supu µ A ( g (u ))
subject to
v = f (u).
subject to
w = f (u, v).
subject to
v = f (ui ).
subject to
w = f (ui , v j ).
For the case where the restrictions are Z+-numbers, the extension
principle reads:
Z = f ( X ,Y )
R( X ) : X is ( AX , p X )
R(Y ) : Y is ( AY , pY )
.
R( Z ) = ( f ( AX , AY ) f ( pX , pY ))
pZ = pX pY
9575-The Arithmetic of Z-numbers
or more concretely,
pZ (v) = ∫ p X (u ) pY (v − u ) du.
R
∫µ
R
AX (u ) p X (u ) du is BX ,
∫µ
R
AY (u ) pY (u ) du is BY .
µ B ∫ µ A (u ) p X (u ) du ,
X X
R
µ BY ∫ µ AY (u ) pY (u )du .
R
∫p
R
X (u )du = 1,
∫p
R
Y (u ) du = 1,
∫ uµ AX (u )du
∫ up
R
X (u )du = (compatibility),
R ∫µ
R
AX (u )du
∫ uµ AY (u ) du
∫ up
R
Y (u )du = (compatibility).
R ∫µ
R
AY (u )du
9575-The Arithmetic of Z-numbers
subject to
∫p
R
X (u ) du = 1, (1.4)
∫p
R
Y (u ) du = 1, (1.5)
∫ uµ AX (u ) du
∫ up
R
X (u ) du = , (1.6)
R ∫µ
R
AX (u )du
∫ uµ AY (u ) du
∫ up
R
Y (u )du = . (1.7)
R ∫µ
R
AY (u )du
∫µ
R
A (u ) p X (u )du
where
µ A (u ) = sup ( µ A (v) ∧ µ A (u − v) ) .
Z X Y (1.9)
v
µ B ( w) = sup µ P ( pZ )
Z Z
pZ
subject to
w = ∫ µ AZ (u ) pZ (u ) du
R
Z = f ( X ,Y )
X is ( AX , BX ) (restriction on X)
Y is ( AY , BY ) (restriction on Y)
Z is ( AZ , BZ ) (induced restriction on Z)
BZ = µ AZ ⋅ f ( p X , pY )
∫µ
R
AX (u ) p X (u ) du is BX
∫µ
R
AY (u ) pY (u ) du is BY .
µ B ∫ µ A (u ) p X (u ) du ,
X X
R
µ BY ∫ µ AY (u ) pY (u )du .
R
∫p
R
X (u )du = 1,
∫p
R
Y (u ) du = 1,
∫ uµ AX (u )du
∫ up
R
X (u ) du = (compatibility),
R ∫µ
R
AX (u )du
∫ uµ AY (u ) du
∫ up
R
Y (u ) du = (compatibility).
R ∫µ
R
AY (u )du
µ p ( pZ ) = sup µ B ∫ µ A (u ) pX (u ) du ∧ µ B ∫ µ A (u ) pY (u ) du
Z X X Y Y
p X , pY
R R
subject to
pZ = pX pY ,
∫p
R
X (u )du = 1,
∫p
R
Y (u ) du = 1,
9575-The Arithmetic of Z-numbers
∫ uµ AX (u )du
∫ up
R
X (u ) du = ,
R ∫µ
R
AX (u )du
∫ uµ AY (u ) du
∫ up
R
Y (u )du = .
R ∫µ
R
AY (u )du
What is important to keep in mind is that A and B are, for the most
part, perception-based and hence intrinsically imprecise. Imprecision of
A and B may be exploited by making simplifying assumptions about A
and B – assumptions that are aimed at reduction of complexity of
computation with Z-numbers and increasing the informativeness of
results of computation. Two examples of such assumptions are sketched
in the following. Briefly, a realistic simplifying assumption is that pX and
pY are parametric distributions, in particular, Gaussian distributions with
2 2
parameters mX, σ X and mY, σ Y , respectively. Compatibility conditions
fix the values of mX and mY. Consequently, if bX and bY are numerical
measures of certainty, then bX and bY determine pX and pY, respectively.
Thus, the assumption that we know bX and bY is equivalent to the
assumption that we know pX and pY. Employing the rules governing
computation of functions of Z+-numbers, we can compute BZ as a
function of bX and bY. At this point, we recognize that BX and BY are
restrictions on bX and bY, respectively. Employment of a general version
of the extension principle leads to BZ and completes the process of
computation. This may well be a very effective way of computing with
Z-numbers.
Another effective way of exploiting the imprecision of A and B
involves approximation of the trapezoidal membership function of A by
an interval-valued membership function, Ab, where Ab is the bandwidth
of A (Fig. 1.14). Since A is a crisp set, we can write:
core
bandwidth(Ab)
0 R
support
Fig. 1.14. Interval-valued approximation to a trapezoidal fuzzy set.
9575-The Arithmetic of Z-numbers
44
Chapter 2
Z-numbers
Level 3
Intervals
Level 1
Real numbers
Ground Level
1
Fig. 2.1. Levels of uncertain numbers (restrictions).
Similarly to the fact that we often do not know the exact gain, we
often do not know the exact probability p. Instead, we may only know
the interval [ p, p] of possible values of p, or, more generally, a set P of
possible values of p. If we know p and q with such uncertainty, what can
we then conclude about the product p ⋅ q ?
For positive values p and q, the function p ⋅ q is increasing as a
function of both variables: if we increase p and/or increase q, the product
increases. Thus, if the only information that we have about the
probability p is that this probability belongs to the interval [ p, p] , and
the only information that we have about the probability q is that this
probability belongs to the interval [q, q] , then the smallest possible of
p ⋅ q is equal to the product p ⋅ q of the smallest values, the largest
possible of p ⋅ q is equal to the product p ⋅ q of the largest values; and
the set of all possible values p ⋅ q is the interval [ p ⋅ q, p ⋅ q] .
For sets P and Q, the set of possible values p ⋅ q is the set
def
P ⋅ Q = { p ⋅ q : p ∈ P and q ∈ Q}.
how certain we are about this piece of information, we get what L. Zadeh
calls a Z-number [168]. In this case, we have two fuzzy numbers: the
fuzzy number A which describes the values and the fuzzy number B
which describes our degree of confidence in the piece of information
described by A . In this book we will mainly consider operations at high
level of uncertainty hierarchy, a level of a Z-number.
A = [a1, a2 ] ; B = [b1,b2 ] .
Addition. If
then
A ⋅ B =[min(a1⋅ b1, a1⋅ b2 , a2⋅ b1, a2⋅ b2), max(a1⋅ b1, a1⋅ b1, a2⋅ b1, a2⋅ b2 )]. (2.6)
1 1 1
∈ ,
x a2 a1
and
A ⋅ A-1 = [a1 / a2 , a2 / a1 ] ≠ 1.
The division by a number k > 0 is equivalent to multiplication by a
number 1/ k .
∫
∞
where p ( x ) ≥ 0, p ( x) dx = 1 .
−∞
Consider a discrete random variable X with outcomes space
{ x1 ,..., xn } . A probability of an outcome X = xi , denoted P( X = xi ) is
defined in terms of a probability distribution. A function p is called a
discrete probability distribution or a probability mass function if
P( X = xi ) = p( xi ) ,
n
where p( xi ) ∈ [0,1] and ∑ p( x ) = 1 .
i =1
i
9575-The Arithmetic of Z-numbers
pY ( y ) = pX ( y − c).
It is obvious that the density function is simply shifted c units to the right
(c > 0) or left (c < 0) .
1
pY ( y ) = p X ( y / a) if a > 0
a
1
pY ( y ) = − p X ( y / a) if a < 0.
a
1 y −b
pY ( y ) = pX . (2.12)
a a
If X is a normal random variable with
1 2
p X ( x) = e−( x− µ ) /2
, (2.13)
2π
then
9575-The Arithmetic of Z-numbers
y −b
1 −(
a
− µ )2 / 2
pY ( y) = e . (2.14)
a 2π
A linear function of a normal random variable is
1
pY ( y ) = pX ( y ) + pX (− y ) , y ≥ 0. (2.15)
2 y
e − y /2
X ~ N (0,1) ⇒ Y ~ X 22 , pY ( y ) = , y ≥ 0.
2π y
Y = X. (2.16)
If y ≥ 0 then
pY ( y) = 2 ypX ( y 2 ). (2.17)
pX ( x) = λe−λ x ( x ≥ 0)
y = g ( x) = x , x ≥ 0
gives
2
pY ( y ) = p X ( y 2 )2 y = 2 λ ye − λ y , y ≥ 0.
pZ ( z ) = ∫ p XY ( z − x, x) dx,
∞
Z = X +Y : (2.18)
−∞
pZ ( z ) = ∫ p XY ( z + x, x) dx,
∞
Z = X −Y : (2.19)
−∞
1
Z = X × Y : pZ ( z) = ∫
∞
pXY ( z / x, x)dx,
−∞ x (2.20)
pZ ( z ) = ∫
∞
Z = X /Y : x pXY ( zx, x)dx.
−∞ (2.21)
pZ ( z ) = ∫ p X ( z − x, x) pY ( x) dx,
∞
Z = X +Y :
−∞ (2.22)
pZ ( z ) = ∫ p X ( z + x, x) pY ( x) dx,
∞
Z = X −Y :
−∞ (2.23)
1
Z = X × Y : pZ ( z ) = ∫
∞
pX ( z / x, x) pY ( x)dx,
−∞ x (2.24)
Z = X / Y : pZ ( z ) = ∫
∞
x p X ( zx, x) pY ( x)dx.
−∞ (2.25)
9575-The Arithmetic of Z-numbers
µZ = µ X ± µ X ,
1 2
(2.26)
σ Z2 = σ X2 + σ X2 .
1 2
(2.27)
µ = ∑i =1 µi and σ 2 = ∑i =1σ i2 .
n n
Y ~ N (µ ,σ 2 ).
with
µ = ∑i =1 ai µi and σ 2 = ∑i =1 ai2σ i2 .
n n
Y ~ N (µ ,σ 2 ).
1 n ∂2 f 2
µZ ≈ f (µ X ,…, µ X ) +
1 n ∑ σX
2 i =1 ∂X i2 i (2.28)
9575-The Arithmetic of Z-numbers
2 2
∂f 2 ∂f ∂ 2 f 3
n
σ ≈ ∑
2
Z σ Xi + 2 µ X i .
i =1 ∂X i ∂X i ∂X i (2.29)
µZ ≈ µ X µ X , 1 2 (2.30)
σ Z2 ≈ µ X2 σ X2 + µ X2 σ X2 + σ X2 σ X2 .
1 2 2 1 1 2 (2.31)
If Z = f ( X1 , X 2 ) = X1 / X 2 ,
µ X µ X σ X2
µZ ≈ + 1
, 1 2
µX 4µ X3 (2.32)
2 2
2
σ X2 µ X2 σ X2 µ X2 µ X3
σ ≈ 2 + 4 −
Z
1 1
. 2 1 2
µX µX 2µ X5 (2.33)
2 2 2
z /c z 1
∫a g x p ( x ) x dx, ac < z < ad ,
z /c z 1
h ( z ) = ∫ g p ( x ) dx, ad < z < bc,
z/d
x x
b z 1
∫z / d g p ( x ) dx, bc < z < bd ,
x x
9575-The Arithmetic of Z-numbers
∫z / d x x
when ad = bc,
z /c z 1
∫a g x p ( x ) x dx, ac < z < ad ,
b z 1
h( z ) = ∫ g p ( x) dx, bc < z < ad ,
a
x x
b z 1
∫z / d g p( x ) dx, ad < z < bd ,
x x
BesselK(0, z ⋅ signum(z ))
, − ∞ < z < 0,
h( z ) =
π
BesselK(0, z ⋅ signum(z )) , 0 < z < ∞,
π
which relies on Maple’s BesselK and signum functions.
In [75] it is considered different numerical solution methods of the
problem of calculation of distributions of product and subtractions of tow
random variables. It is considered families which contain practically all
distributions used in practice and which are closed under the four
arithmetic operations [75]. The families include distributions with
infinite supports and a finite number of singularities [75]. Wide class of
distributions is embraced by software PaCAL [75].
Convolution p12 = p1 p2 of probability distributions p1 and p2 is
defined as follows:
9575-The Arithmetic of Z-numbers
b( z ) ⋅ c ( z ) 1 b( z )
p12 ( z ) = 3 2Φ − 1
a (z) 2πσ xσ y a( z)
1 µ x2 µ y
2
− +
1 2 σ 2 σ 2
+ 2 e x y
a ( z ) ⋅ πσ xσ y
(2.34)
where
1 1
a( z ) = 2
z2 +
σ x σ y2
µx µy
b( z ) = 2
z+ 2
σx σy
1 b2 ( z) 1 µ 2 µ y2
c( z) = exp 2 − x2 + 2 (2.35)
2 a ( z) 2 σ x σ y
z 1 − 12 u 2du
Φ( z ) = ∫ e .
−∞
2π
1 1
p12 ( z ) = .
π 1+ z2
Let X 1 and X 2 be two independent discrete random variables with
the corresponding outcome spaces X1 = { x11 ,..., x1i ,..., x1n1 } and
X 2 = { x21 ,..., x2i ,..., x2 n2 } , and the corresponding discrete probability
distributions p1 and p2 . The probability distribution of X1 ∗ X 2 , where ∗
is some binary operation, is the convolution p12 = p1 p2 of p1 and p2
which is determined as follows:
9575-The Arithmetic of Z-numbers
p12 ( x ) = ∑
x = x1 i ∗ x2 j
p1 ( x1i ) p2 ( x2 j ) ,
for any x ∈ { x1 ∗ x2 x1 ∈ X1 , x2 ∈ X 2 } .
Below we provide formulas for convolution p12 = p1 p2 as a
probability distribution of X = X 1 ∗ X 2 for several typical binary
operations.
Addition X = X 1 + X 2 :
p12 ( x ) = ∑
x = x1 i + x2 j
p1 ( x1i ) p2 ( x2 j ). (2.36)
Subtraction X = X1 − X 2 :
p12 ( x ) = ∑
x = x1 i − x2 j
p1 ( x1i ) p2 ( x2 j ). (2.37)
Multiplication X = X1 X 2 :
p12 ( x ) = ∑
x = x1 i ⋅ x2 j
p1 ( x1i ) p2 ( x2 j ). (2.38)
Division X = X1 / X 2 :
p12 ( x ) = ∑
x = x1 i / x2 j
p1 ( x1i ) p2 ( x2 j ). (2.39)
Minimum X = min( X1 , X 2 ) :
p12 ( x ) = ∑
x = min( x1 i , x2 j )
p1 ( x1i ) p2 ( x2 j ). (2.40)
Maximum X = max( X1 , X 2 ) :
p12 ( x ) = ∑
x = max( x1 i , x2 j )
p1 ( x1i ) p2 ( x2 j ). (2.41)
9575-The Arithmetic of Z-numbers
pY ( y ) = ∑ p X ( x) .
x∈ f −1 ( y )
Y = aX + b ,
y −b
pY ( y ) = p X . (2.42)
a
Y = X2 ,
is defined as follows:
pY ( y ) = ∑
x∈{ y ,− y }
p X ( x ) = p X ( − y ) + p X ( y ). (2.43)
Y1 = X and Y2 = − X
9575-The Arithmetic of Z-numbers
Y= X ,
is defined as follows:
pY ( y ) = ∑
x∈{ y , − y }
p X ( x) = p X ( − y ) + p X ( y ). (2.45)
Y = eX ,
is defined as follows:
pY ( y ) = p X ( ln( y ) ) . (2.46)
Y = ln( X ) ,
is defined as follows:
pY ( y) = pX ( e y ) . (2.47)
9575-The Arithmetic of Z-numbers
1 iff x ∈ A
µ A ( x) =
0 iff x ∉ A
where {0,1} is called a valuation set; 1 indicates membership while 0 -
non-membership. If the valuation set is allowed to be in the real interval
[0,1] , then A is called a Type-1 fuzzy set A [4,14,84,149,181]. µA (x) is
the grade of membership of x in A
µA : X →[0,1].
As closer the value of µA ( x) is to 1, so much x belongs to A .
µ : X →[0,1] is referred to as a membership function (MF).
A is completely characterized by the set of pairs:
(a)
(b)
Fig. 2.2. Representation of temperature by (a) Type-1 fuzzy and (b) crisp sets.
Definition 2.9. Equality of fuzzy sets. Two fuzzy sets A and B are said
to be equal denoted A = B if and only if
∀x ∈ X , µ A ( x) = µ B ( x)
Definition 2.10. The support and the crossover point of a fuzzy set.
The singleton. The support of a fuzzy set A is the ordinary subset of X
that has nonzero membership in A :
hgt ( A ) = sup µ A ( X )
x∈ X
x ∈ X , µ∅ (x) = 0.
The universe of discourse X is defined as
∀x ∈ X , µX ( x) = 1.
One of important way of representation of fuzzy sets is α-cut method.
Such type of representation allows us to use properties of crisp sets and
operations on crisp sets in fuzzy set theory.
Definition 2.12. α-level fuzzy sets. The (crisp) set of elements that
belongs to the fuzzy set A at least to the degree α is called the α-level
set:
Aα = { x ∈ X , µA ( x) ≥ α}. (2.48)
Aα ( x) = α Aα ( x). (2.49)
9575-The Arithmetic of Z-numbers
A = ∑ µ A ( x).
x∈A
A = ∫ µ A ( x) dx.
X
µA (x) ≤ µB (x).
When the inequality is strict, the inclusion is said to be strict and is
denoted as A ⊂ B .
A = ∫ µ A ( x) / x.
X
Here symbol ∫
X
is used for denoting a union of elements of set X .
Gaussian µ A ( x ) ( x − a)
2
µ A ( x) = c exp −
MF c b
a x
( x − a )2
µ A ( x) = c exp −
b
which is defined by three parameters, a, b and c.
Definition 2.16. Type-2 fuzzy set [3-5,102]. Type-2 fuzzy set (T2 FS) in
the universe of discourse X can be represented as follows:
as follows:
A = ∫ x∈X ∫ u∈J x µ A ( x, u ) / ( x, u )
= ∫ x∈X [ ∫ u∈J x µ A ( x, u ) / u ] / x (2.52)
n
A = ∑ ∑ f x (u) / u / x = ∑ ∑ [ f x (u) / u ] / xi (2.53)
x∈X u∈J x i =1 u∈J x
9575-The Arithmetic of Z-numbers
( A ∗ B)α = Aα ∗ Bα . (2.59)
A ∗ B = ∪ α ( A ∗ B)α . (2.60)
α∈[0,1]
Aα = {x / µ A ( x ) ≥ α }; Bα = { x / µ B ( x) ≥ α }. (2.63)
Subtraction. Subtraction of given fuzzy numbers A and B can be
defined as
µA ( y) = max(µA ( y ), µA (− y )).
2 (2.69)
x +1
3 , −1 ≤ x ≤ 2
µ A ( x) = 3 − x, 2 ≤ x ≤ 3
0, otherwise
then A2 is defined as
5 − 16 − 3x
, −3≤ x ≤ 0
3
1 + x
µ A2 ( x) = , 0 ≤ x ≤ 4.
3
3− x , 4≤ x≤9
0, otherwise
[ X ]α = X 1α , X 2α .
n
Let A ∈ RF , then we have An = A if n is an even positive integer,
n
An = A if is n an odd positive integer [1].
If A is a continuous fuzzy number and there exists a fuzzy number X
such that X 2 = A then A is said to have a square root and X is called a
square root of A , i.e. A.
Example[24]. Consider a fuzzy number A defined by
x+2
2 , −2≤ x ≤0
3− x
µA ( x) = , 0≤ x≤3
3
0, otherwise
Then
9575-The Arithmetic of Z-numbers
1 2 3 2 2
1 − 3 x , − 3 ≤ x ≤ 0 1 − 4 x , − 3 ≤ x < 0
1 3 2 2 1
A ( x) = 1 − x 2 , 0 < x ≤ A ( x) = 1 − x 2 , 0 ≤ x ≤ 3
4 3 3
0, otherwise 0, otherwise
µO ( A, B ) ( z ) = sup {µ A ( x ) ∧ µ B ( y ) | O ( x, y ) = z}
O( A, B)α = O( Aα , Bα ) = {O( x, y) | x ∈ Aα , y ∈ Bα }
and
A12α = { x ∈ {supp ( A1 ) + supp ( A2 )} | min{ A1α + A2α } ≤ x ≤ max{ A1α + A2α }},
where
Aαj = { x ∈ {supp ( A1 ) − supp ( A2 )} | min{ A1α − A2α } ≤ x ≤ max{ A1α − A2α }},
where
A2 + ( A1 − A2 ) ≠ A1 .
9575-The Arithmetic of Z-numbers
A1 = A2 + A12 . (2.73)
Aαj = { x ∈ {supp(A1 ) ⋅ supp(A2 )} | min{ A1α ⋅ A2α } ≤ x ≤ max{ A1α ⋅ A2α }},
where
supp(A1 ) ⋅ supp(A2 ) = {x1 ⋅ x2 | x j ∈ supp(Aj ), j = 1, 2} ,
min{ A1α ⋅ A2α } = min{ x1 ⋅ x2 | x j ∈ Aαj , j = 1, 2} ,
max{ A1α ⋅ A2α } = max{ x1 ⋅ x2 | x j ∈ Aαj , j = 1, 2}
A2 ⋅ ( A1 A2 ) ≠ A1 .
where
supp(A2 ) = { y | y = x 2 , x ∈ supp(A)} ,
min( Aα ) 2 = min{ y | y = x 2 , x ∈ Aα } ,
max( Aα ) 2 = max{ y | y = x 2 , x ∈ Aα }.
2
Thus, A2 = ( Aα ) . The membership function of A 2 is defined as
α
µ A ( y ) = sup{α ∈ [0,1] | y ∈ A2 } .
α
2 (2.76)
where
supp( A ) = { y | y = x , x ∈ supp(A)},
9575-The Arithmetic of Z-numbers
min Aα = min{ y | y = x , x ∈ Aα },
max Aα = max{ y | y = x , x ∈ Aα } .
µ A ( y ) = sup{α ∈[0,1] | y ∈ A } .
α
(2.77)
where
Then
For DFNs A1 , A2 , A1 = { x1α ,..., xαp } , A2 = { y1α ,..., ykα } their maximum
A12 = MAX ( A1 , A2 ) is the DFN whose α-cut is defined as
A12
α
= { x ∈ {supp ( A1 ) ∨ supp ( A2 )} | max{ x1α , y1α } ≤ z ≤ max{ xαp , y αk }},
where
where
where
AX AX
supp(e ) = { y | y = e x , x ∈ supp(e )},
α
min(e AX ) = min{ y | y = e x , x ∈ AX α },
9575-The Arithmetic of Z-numbers
α
max(e AX ) = max{ y | y = e x , x ∈ AX α }.
A
Thus, e AX = e AX . The membership function of e X is defined as
α α
µe ( y ) = sup{α ∈ [0,1] | y ∈ e A }.
α
AX
X
(2.81)
where
X is A
9575-The Arithmetic of Z-numbers
P( A) is B.
A concept of a continuous Z + -number is closely related to the
concept of a continuous Z-number. Given a continuous Z-number
Z = ( A, B) , Z + -number Z + is a pair consisting of a continuous fuzzy
number, A , and a random number R :
Z + = ( A, R ),
where A plays the same role as it does in a continuous Z-number
Z = ( A, B) and R plays the role of the probability distribution p , such
that P ( A) = ∫ µ A (u ) p R (u ), P ( A) ∈ supp(B ) .
R
( AZ , BZ ) = ( AX , BX ) + ( AY , BY )
p RX + RY (v ) = ∫ p RX (u ) p RY (v − u ) du , (2.84)
R
µ p ( pZ ) = sup µB ∫ µ A (u) pX (u)du ∧ µB ∫ µ A (u ) pY (u )du
Z X X Y Y
p X , pY
R R (2.85)
µ B ( w) = sup( µ p ( pZ )) ,
Z Z
(2.86)
pZ
s.t. w = ∫ µ A (u ) pZ (u ) du .
Z
(2.87)
R
( AZ , BZ ) = ( AX , BX ) − ( AY , BY )
µA Z = AX − AY (v ) = sup( µ AX (u ) ∧ µ AY (v + u )) , (2.88)
u
pRX − RY (v ) = ∫p
R
RX (u ) pRY ( v + u ) du , (2.89)
µ p ( pZ ) = sup µB ∫ µ A (u) pX (u)du ∧ µB ∫ µ A (u ) pY (u )du
Z X X Y Y (2.90)
pX , pY
R R
9575-The Arithmetic of Z-numbers
µ B ( w) = sup( µ p ( pZ )) ,
Z Z
(2.91)
pZ
s.t. w = ∫ µ A (u ) pZ (u ) du .
Z
(2.92)
R
( AZ , BZ ) = ( AX , BX ) ⋅ ( AY , BY )
µA Z = AX ⋅ AY (v ) = sup( µ AX (u ) ∧ µ AY (v / u )) , (2.93)
u
pRX ⋅ RY (v ) = ∫p
R
RX (u ) pRY (v / u ) du , (2.94)
(2.95)
µ p ( pZ ) = sup µ B ∫ µ A (u ) p X (u )du ∧ µ B ∫ µ A (u ) pY (u )du ,
Z X X Y Y
p X , pY
R R
µ B ( w) = sup( µ p ( pZ )) ,
Z Z
(2.96)
pZ
s.t. w = ∫ µ A (u ) pZ (u ) du .
Z
(2.97)
R
( AZ , BZ ) = ( AX , BX ) /( AY , BY )
µA Z = AX / AY (v ) = sup( µ AX (u ) ∧ µ AY (v ⋅ u )) , (2.98)
u
9575-The Arithmetic of Z-numbers
pRX / RY ( v ) = ∫ p RX (u ) p RY (v ⋅ u ) du (2.99)
R
(2.100)
µ p ( pZ ) = sup µ B ∫ µ A (u ) p X (u )du ∧ µB ∫ µ A (u ) pY (u )du ,
Z X X Y
Y
p X , pY
R R
µ B ( w) = sup( µ p ( pZ )) ,
Z Z
(2.101)
pZ
s.t. w = ∫ µ A (u ) pZ (u ) du .
Z
(2.102)
R
(( AX , BX ) + ( AY , BY )) + ( AZ , BZ )
= ( AX , BX ) + (( AY , BY ) + ( AZ , BZ ))
(associative law)
(( AX , BX ) × ( AY , BY )) × ( AZ , BZ )
= ( AX , BX ) × (( AY , BY ) × ( AZ , BZ ))
(associative law)
( AX , BX ) + ( AY , BY ) = ( AY , BY ) + ( AX , BX )
(commutative law)
( AX , BX ) × ( AY , BY ) = ( AY , BY ) × ( AX , BX )
9575-The Arithmetic of Z-numbers
(commutative law)
( AX , BX ) + 0 = ( AX , BX )
(identity law)
( AX , BX ) ×1 = ( AX , BX )
(identity law)
Here 0 and 1 are zero and unity of the real line, respectively.
In case of Hukuhara difference for any Z-number
( AX , BX ) −h ( AX , BX ) = 0
is satisfied.
In general, for any Z-number the following conditions do not hold
( AX , BX ) + ( AX , BX )' = 0 .
( AX , BX ) × ( AX , BX )'' = 1 ,
( AX , BX ) + (( AY , BY ) ∪ ( AZ , BZ ))
= (( AX , BX ) + ( AY , BY )) ∪ (( AX , BX ) + ( AZ , BZ )),
( AX , BX ) + (( AY , BY ) ∩ ( AZ , BZ ))
= (( AX , BX ) + ( AY , BY )) ∩ (( AX , BX ) + ( AZ , BZ )),
( AX , BX ) − (( AY , BY ) ∪ ( AZ , BZ ))
= (( AX , BX ) − ( AY , BY )) ∩ (( AX , BX ) − ( AZ , BZ )),
( AX , BX ) − (( AY , BY ) ∩ ( AZ , BZ ))
= (( AX , BX ) − ( AY , BY )) ∪ (( AX , BX ) − ( AZ , BZ )),
9575-The Arithmetic of Z-numbers
(( AY , BY ) ∪ ( AZ , BZ )) − ( AX , BX )
= (( AX , BX ) − ( AY , BY )) ∪ (( AX , BX ) − ( AZ , BZ )).
In general, distributive law for any Z-numbers does not hold, i.e.
( AX , BX ) × (( AY , BY ) + ( AZ , BZ ))
≠ (( AX , BX ) × ( AY , BY )) + (( AX , BX ) × ( AZ , BZ )).
( AZ , BZ ) = ( AX , BX ) ∪ ( AY , BY )
= ( AZ = AX ∪ AY , BZ = BX ⊕ BY ) ,
( AZ , BZ ) = ( AX , BX ) ∩ ( AY , BY )
= ( AZ = AX ∩ AY , BZ = BX ⋅ BY ) ,
(( AY , BY ) ∩ ( AZ , BZ )) − ( AX , BX )
= (( AY , BY ) − ( AX , BX )) ∩ (( AZ , BZ ) − ( AX , BX )).
( AX , BX ) × (( AY , BY ) ∪ ( AZ , BZ ))
= (( AX , BX ) × ( AY , BY )) ∪ (( AX , BX ) × ( AZ , BZ )),
9575-The Arithmetic of Z-numbers
( AX , BX ) × (( AY , BY ) ∩ ( AZ , BZ ))
= (( AX , BX ) × ( AY , BY )) ∩ (( AX , BX ) × ( AZ , BZ )),
( AX , BX ) ÷ (( AY , BY ) ∪ ( AZ , BZ ))
= (( AX , BX ) ÷ ( AY , BY )) ∪ (( AX , BX ) ÷ ( AZ , BZ )),
( AX , BX ) ÷ (( AY , BY ) ∩ ( AZ , BZ ))
= (( AX , BX ) ÷ ( AY , BY )) ∩ (( AX , BX ) ÷ ( AZ , BZ )),
(( AY , BY ) ∪ ( AZ , BZ )) ÷ ( AX , BX )
= (( AY , BY ) ÷ ( AX , BX )) ∪ (( AZ , BZ ) ÷ ( AX , BX )),
(( AY , BY ) ∩ ( AZ , BZ )) ÷ ( AX , BX )
= (( AY , BY ) ÷ ( AX , BX )) ∩ (( AZ , BZ ) ÷ ( AX , BX )).
X is A
and B is a discrete fuzzy number with a membership function
µB :{b1 ,..., bn } → [0,1], {b1 ,..., bn } ⊂ [0,1] , playing a role of a fuzzy
constraint on the probability measure of A :
P( A) is B.
A concept of a discrete Z+-number is closely related to the concept of
a discrete Z-number. Given a discrete Z-number Z = ( A, B) , Z+-number
Z+ is a pair consisting of a fuzzy number, A, and a random number R :
Z + = ( A, R ),
9575-The Arithmetic of Z-numbers
As it shown in [19] MIN (Z1, Z2) and MAX(Z1, Z2) are discrete Z-
numbers. The triple (Z, MIN, MAX) is a distributive lattice, where Z
denotes the set of discrete Z-numbers support of which is a sequence of
consecutive natural numbers.
For any, Z1, Z2 , Z3 ∈Z, where Z is set of discrete Z-numbers the
following properties hold:
1) Z1 + Z2 = Z2 + Z1 (commutativity)
2) (Z1 + Z2 ) + Z3 = Z1 + (Z2 + Z3 ) (associativity)
Z
3) Z + O Z = Z for all Z ∈ Z (neutral element) where O is the
zero Z-number OZ = (0,1) .
9575-The Arithmetic of Z-numbers
92
Chapter 3
Operations on Continuous
Z-numbers
Z1+ + Z2+ = ( A1 + A2 , R1 + R2 ) .
( x − µ12 )
1 −
2σ12
p1 = e , (3.1)
2πσ 1
( x − µ22 )
1 −
2σ 22
p2 = e . (3.2)
2πσ 2
∫R µ A ( x1 ) p R ( x1 ) dx1 is B1 ,
1 1
(3.4)
∫R µ A ( x2 ) pR ( x2 ) dx2 is B2 ,
2 2
(3.5)
µB 2 (∫ R
µ A ( x2 ) pR ( x2 )dx2 .
2 2 ) (3.7)
These restrictions imply that one has the fuzzy sets of probability
distributions of p1 and p 2 with the membership functions defined as
µ p ( pR ) = µB1
R1 1
(∫ µ R
A1 ( x1 ) pR1 ( x1 )dx1 ) (3.6a)
µ p ( pR ) = µ B2
R2 2
(∫R
µ A ( x2 ) pR ( x2 )dx2 .
2 2 ) (3.7a)
∑p
k =1
jl ( x jk ) = 1, p jl ( x jk ) ≥ 0.
µ Aj ( x j1 ) p jl ( x j1 ) + µ Aj ( x j1 ) p jl ( x j1 ) + ... + µ Aj ( x jn j ) p jl ( x jn j ) → b jl
(3.8)
subject to
p jl ( x j1 ) + p jl ( x j 2 ) + ... + p jl ( x jn ) = 1
(3.9)
p jl ( x j1 ), p jl ( x j 2 ),..., p jl ( x jn ) ≥ 0 .
subject to
9575-The Arithmetic of Z-numbers
v1 + v2 + ... + vn = 1
(3.9a)
v1 , v2 ,..., vn ≥ 0 .
Having obtained the solution vk , k = 1,.., n of problem (3.8a)-(3.9a)
for each l = 1,..., m , we recall that vk = p jl ( x jk ), k = 1,.., n . Therefore,
the probability distribution p jl is obtained. Next, as p jl is obtained
given b jl , the desired degree is µ p jl ( p jl ) = µ B j ( b jl ) , j = 1,2 , that is
nj
µ p jl ( p jl ) = = µ B ∑ µ A ( x jk ) p jl ( x jk ) . Thus, to construct a fuzzy set of
j j
k =1
probability distributions p jl , it is needed to solve n simple goal linear
programming problems (3.8a)-(3.9a). For normal random variables,
taking into account compatibility conditions (Section 1.2.2), this problem
is reduced to optimization problem with one parameter σ . This problem
may be solved by a simple optimization method.
The fuzzy sets of probability distributions p1 and p 2 obtained from
approximation of calculated p jl ( x jk ) by a normal distribution, induce the
fuzzy set of convolutions p12s , s = 1,..., m2 , with the membership
function defined as
µ p ( p12 ) = max p , p [µ p ( p1 ) ∧ µ p ( p2 )]
12 1 2 1 2 (3.10)
subject to
should be determined:
Z12+ = ( A1 + A2 , R1 + R2 ) .
p1 = N (2,0.217) ,
p2 = N (8,0.77) .
In accordance with (2.59), (2.60), (2.62), we computed A12 = A1 + A2 :
A12 = (8,10,12).
p12 = (10,0.8) .
9575-The Arithmetic of Z-numbers
( x − µ12 )
1 −
2σ 2jl
∫
supp(A1 )
µ A ( x)
1
2πσ jl
e dx
→ b jl (3.15)
subject to
σ jl ≥ ε > 0 . (3.16)
( x − 22 )
1 −
∫R A1 1 0.217 2π
2(0.217)2
µ ( x ) e dx1 ≈ 0.84
( x−82 )
1 −
∫R µ A2 ( x2 ) 0.77 2π e
2(0.77)2
dx2 ≈ 0.46.
Analogously, we computed the degrees for all the considered p12 (let
us mention that a fuzzy set of distributions p1 and a fuzzy set of
distributions p2 induce a fuzzy set of convolution p12 ).
At the fifth step, we proceed to construction of B12 as a soft constraint
on a probability measure P ( A12 ) based on (3.13)-(3.14). First we need to
compute values of probability measure P ( A12 ) for the obtained
convolutions p12 . For example, P ( A12 ) computed with respect to
p12 = (10,0.8) considered above is
( x−10)2
1 −
P( A12 ) = ∫ µ A12 ( x2 ) e 2(0.8)2
dx12 ≈ 0.69.
R
0.8 2π
The computed P ( A12 ) is one possible value within the fuzzy
restriction B12 to be constructed, and we can say that one basic value of
B12 is found as b12 = 0.69 . Recalling (3.13)-(3.14), we can write
9575-The Arithmetic of Z-numbers
µB b12 = ∫ µ A ( x12 ) p12 ( x12 )dx12 = µ p ( p12 ) . Next, taking into account
12 ( 12 ) 12
R
( x −102 )
1 −
b12 = ∫ µ A2 ( x2 ) e 2(0.8)2
dx2 . By carrying out analogous
R
0.8 2π
computations, we constructed B12 . The obtained result approximated as
a triangular fuzzy number (TFN) is as follows:
B12 = (0.62,0.72,0.79).
Thus, the result of addition Z12 = ( A12 , B12 ) is obtained, where A12 , B12
are shown in Fig. 3.1.
1 1
0.8 0.8
0.6 0.6
0.4 0.4
0.2
0.2
0
0 0.6 0.7 0.8
6 8 10 12 14
(b)
(a)
Fig. 3.1. The results of addition of the continuous Z-numbers: (a) A12 , (b) B12 .
Z1+ − Z2+ = ( A1 − A2 , R1 − R2 )
9575-The Arithmetic of Z-numbers
here
µ12 = µ1 − µ2 , σ12 = σ12 + σ 22.
subtraction of Z-numbers.
At the next step we construct the fuzzy sets µ p jl ( p jl ) , j = 1,2 ,
l = 1,..., m by solving (3.8a)-(3.9a). Then the fuzzy set of convolutions
p12s , s = 1,..., m2 is constructed with the membership function obtained
by solving (3.10)-(3.11) (convolution is computed according to (3.17)).
At the final step, we proceed to construction of B12 . First we should
compute probability measure of A12 = A1 − A2 given p12 , i.e. to compute
probability of the fuzzy event X is A12 on the base of (3.12). Finally, we
compute a fuzzy set B12 a according to (3.13)-(3.14). As a result,
Z12 = Z1 − Z 2 is obtained as Z12 = ( A12 , B12 ) .
An example. Consider computation of Z12 = Z1 − Z 2 for the Z-
numbers given in the previous example.
First, the Z+-number Z12 = ( A12 , R1 − R2 ) should be determined.
+
A12 = (4,6,8) .
µ p ( p12 ) = 0.6 .
12
B12 = (0.62,0.72,0.79) .
Thus, Z12 = ( A12 , B12 ) is obtained as the result of subtraction and A12 , B12
9575-The Arithmetic of Z-numbers
1 1
0.8 0.8
0.6 0.6
0.4 0.4
0.2 0.2
0 0
7 9 11 13 0.6 0.7 0.8
(a) (b)
Fig. 3.2. The results of subtraction of the continuous Z-numbers: (a) A12 , (b) B12 .
Z1+ ⋅ Z2+ = ( A1 ⋅ A2 , R1 ⋅ R2 ) ,
3.1, we construct the fuzzy sets µ p jl ( p jl ) , l = 1,..., m , and the fuzzy set
of convolutions p12 s , s = 1,..., m 2 , with the membership function defined
by solving (3.10)-(3.11) (convolution is defined according to (2.30)-
(2.31)).
Finally, a fuzzy set B12 is constructed according to (3.13)-(3.14). As a
result, Z12 = Z1 ⋅ Z 2 is obtained as Z12 = ( A12 , B12 ) .
An example. Consider computation of Z12 = Z1 ⋅ Z 2 for the Z-
9575-The Arithmetic of Z-numbers
0.2 0.2
0
0
0 0.2 0.4 0.6 0.8 1
0 10 20 30
(a) (b)
Fig. 3.3. The results of multiplication of the continuous Z-numbers: (a) A12 , (b) B12 .
9575-The Arithmetic of Z-numbers
1 1
0.8 0.8
0.6 0.6
0.4 0.4
0.2 0.2
0 0
0 5 10 0.4 0.6 0.8 1
(a) (b)
Fig. 3.4. The results of division of the continuous Z-numbers: (a) A12 , (b) B12 .
9575-The Arithmetic of Z-numbers
determined as follows:
ZY+ = ( AY , RY ) ,
2 2
where AY = AX , AX is determined on the base of (2.69) and RY is
determined by (2.15). Next we compute µ pX ( pX ) by solving linear
programming problem (3.8a)-(3.9a).
Now we realize that the fuzzy set of probability distributions p X with
membership function µ pX ( pX ,l ) naturally induces the fuzzy set of
probability distributions pY ,l with the membership function defined as
µ p ( pY ,l ) = µ p ( p X ,l )
Y X
,
subject to (2.15).
Next, we should compute probability measure of AY given pY on the
base of (3.12). Finally, given a fuzzy restriction on pY described by the
membership function µ pY , we construct a fuzzy set BY by solving
2
(3.13)-(3.14). As a result, Z is obtained as Z 2 = ( AY , BY ) .
Let us mention that computation of Z Y = Z Xn , where n is any natural
number, is carried out analogously.
An example. Given the Z-number Z1 = ( A1 , B1 ) considered in Section
3.1, let us compute its square Z = ( A, B ) = Z 12 . A = A12 computed on the
base of (2.69) and B computed as it is shown above are given in Fig.
3.5.
9575-The Arithmetic of Z-numbers
1
1
0.8 0.8
0.6 0.6
0.4 0.4
0.2 0.2
0 0
0.72 0.82 0.92
0 5 10
(a) (b)
Fig. 3.5. The square of the continuous Z-number: (a) A , (b) B.
Z Y+ = ( AY , RY ) ,
1 1
0.5 0.5
0 0
0.7 1.2 1.7 0.62 0.72 0.82 0.92
(a)
(b)
Fig. 3.6. The square root of the continuous Z-number: (a) A , (b) B.
9575-The Arithmetic of Z-numbers
109
Chapter 4
+ µ A ( x j 2 ) p j ( x j 2 ) + ... + µ A ( x jn j ) p j ( x jn j ).
1 1
0.8 0.8
0.6 0.6
0.4 0.4
0.2 0.2
0 0
30 40 50 60 70 0.4 0.6 0.8 1
(a) (b)
0.8
0.6
0.4
0.2
0
30 40 50 60 70
Fig. 4.2. Z+-number Z = ( A, p) with a discrete fuzzy number A (dashed curve) and a
+
0.8
0.6
0.4
0.2
0
0.4 0.5 0.6 0.7 0.8 0.9 1
follows:
Z1+ + Z2+ = ( A1 + A2 , R1 + R2 ),
9575-The Arithmetic of Z-numbers
n
∑
k =1
p2 ( x2 k ) = 1. (4.2)
p12 ( x) = ∑
x = x1 + x2
p1 ( x1 ) p2 ( x2 ).
∑
k =1
µ A ( x1k ) p1 ( x1k ) is B1 ,
1
9575-The Arithmetic of Z-numbers
n2
∑
k =1
µ A ( x2 k ) p2 ( x2 k ) is B2 ,
2
n1
µ B1 ∑ µ A1 ( x1k ) p1 ( x1k ) ,
k =1
n2
µ B2 ∑ µ A2 ( x2 k ) p2 ( x2 k ) .
k =1
These restrictions imply that one has the fuzzy sets of probability
distributions of p1 and p2 with the membership functions defined as
n1
µ p1 ( p1 ) = µ B1 ∑ µ A1 ( x1k ) p1 ( x1k ) ,
k =1
n2
µ p2 ( p2 ) = µ B2 ∑ µ A2 ( x2 k ) p2 ( x2 k ) .
k =1
b jl = µ A j ( x j1 ) p jl ( x j1 ) + µ A j ( x j 2 ) p jl ( x j 2 ) + ... + µ A j ( x jn j ) p jl ( x jn j ) .
nj
∑
k =1
p jl ( x jk ) = 1, p jl ( x jk ) ≥ 0.
9575-The Arithmetic of Z-numbers
µ A ( x j1 ) p jl ( x j1 ) + µ A ( x j1 ) p jl ( x j1 ) + ... + µ A ( x jn ) p jl ( x jn ) → b jl
j j j j j (4.3)
subject to
p jl ( x j1 ) + p jl ( x j 2 ) + ... + p jl ( x jn ) = 1
. (4.4)
p jl ( x j1 ), p jl ( x j 2 ),..., p jl ( x jn ) ≥ 0
subject to
v1 + v2 + ... + vn = 1
. (4.4a)
v1 , v2 ,..., vn ≥ 0
nj
µ B ∑ µ A ( x jk ) p jl ( x jk ) . Thus, to construct a fuzzy set of probability
j j
k =1
distributions p jl , we need to solve n simple goal linear programming
problems (4.3a)-(4.4a).
The fuzzy sets of probability distributions p1l and p2l induce the
9575-The Arithmetic of Z-numbers
subject to
B2 = 0 0 + 0.3 0.1 + 0.5 0.2 + 0.6 0.3 + 0.7 0.4 + 0.8 0.5
+ 0.9 0.6 + 1 0.7 + 0.9 0.8 + 0.8 0.6 + 0 1.
At the first step of computation of Z12 we proceed to the discrete
Z -numbers. Let us consider Z1 = ( A1 , R1 ) and Z2 = ( A2 , R2 ) where R1
+ + +
A12 = ∪ α Aα ,
∈[0,1]
α
12
A12α = { x ∈ {supp ( A1 ) + supp ( A2 )} | min{ A1α + A2α } ≤ x ≤ max{ A1α + A2α }}.
n1
known that µ p1 ( p1 ) = µ B1 ∑ µ A1 ( x1k ) p1 ( x1k ) , and as for p1 considered
k =1
above we have
n1
∑µ
k =1
A1 ( x1k ) p1 ( x1k ) = 0 ⋅ 0.27 + 0.3 ⋅ 0 + 0.5 ⋅ 0 + 0.6 ⋅ 0.003
over all the convolutions p12 obtained on the base of (4.5)-(4.6) from all
the considered p1 and p2 . It is clear that the fuzzy restriction µ p 12
is
induced by fuzzy restrictions µ p and µ p .For example, the membership
1 2
degree of this fuzzy restriction for the convolution p12 obtained above is
9575-The Arithmetic of Z-numbers
B12 = 0 0.56 + 0.5 0.60 + 0.8 0.63 + 1 0.66 + 0.8 0.69 + 0.7 0.72
+ 0.6 0.75 + 0.4 0.78 + 0.2 0.81 + 0.1 0.84 + 0 0.86 + 0 1.
(b)
(a)
Fig. 4.4. The results of addition of the discrete Z-numbers: (a) A12 , (b) B12 .
Z1 Z 2 ( A1 A2 , R1 R2 )
p12 ( x ) ¦
x x1 x2
p1 ( x1 ) p2 ( x2 ).
p12 (5) = p1 (5) p2 (10) + p1 (6) p2 (11) = 0.04 ⋅ 0 + 0.075 ⋅ 0.09 = 0.00675.
9575-The Arithmetic of Z-numbers
the convolutions p12 . Let us mention that these degrees depend only on
the degrees µ p ( p1 ) and µ p ( p 2 ) of distributions p1 and p2 from which
1 2
B12 = 0 0.59 + 0.5 0.62 + 0.8 0.65 + 1 0.68 + 0.8 0.71 + 0.7 0.74
+ 0.6 0.77 + 0.4 0.8 + 0.2 0.83 + 0.1 0.86 + 0 0.88.
(a) (b)
Fig. 4.5. The result of standard subtraction of the discrete Z-numbers: (a) A12 , (b) B12 .
C1 C2 C3 ,
one has
C3 z C1 C2 ,
C3 C1 h C2 C1 C2 C3 .
It is also well known that not for any two fuzzy numbers C1 , C2 the
9575-The Arithmetic of Z-numbers
where A1,αi = { x1α i ,1 ,..., x1α i,m }, x1α i , j +1 − x1α i , j = x2,α j +1 − x2,α j , j = 1,..., m;
α ∈ (0,1] .
Proof. Denote supp ( A1 ) = { x11 ,..., x1n } , A1α = { x1α 1α ,..., x1α nα } ,
1α , nα ∈{1,..., n} and supp( A2 ) = { x21 ,..., x2m } , A2α = { x2α1α ,..., x2α mα } ,
1α , mα ∈{1,..., m} . Let us show that from (4.9) it follows that Hukuhara
difference A12 exists and vice versa. From x1α i , j +1 − x1α i , j = x2,α j +1 − x2,α j it
can be easily found that x1α i , j +1 = x2,α j +1 + ( x1α i1 − x2,1
α
) . Indeed, for j = 1 the
following holds:
= x2,3
α
+ ( x1α i ,1 − x2,1
α
)
9575-The Arithmetic of Z-numbers
Therefore,
A1,αi = A2α + c iα .
Therefore,
s s
A1α = ∪ A1,αi = ∪ ( A2α + ciα )
i =1 i =1
= A2 + {c1 ,..., c αs }.
α α
Taking into account that as A1α ′′ ⊆ A1α ′ , one has {c1α ′′ ,..., csα ′′ } ⊆ {c1α ′ ,..., csα ′ }
for α ′′ ≥ α ′ , α ′′,α ′ ∈ (0,1] . Thus, we can say that {c1α ,..., cαs } is an α -cut
of some discrete fuzzy number C . Then A1 = A2 + C . Therefore, C is the
Hukuhara difference C = A1 − h A2 = A12 . The proof is complete. The
proof of the opposite direction of Theorem 4.1 is obvious.
Now we need to uncover necessary conditions of existence of B12 .
Lemma. Hukuhara difference Z12 = Z1 −h Z2 of Z-numbers Z1 = ( A1 , B1 )
and Z 2 = ( A2 , B2 ) exists if the of cardinality of B1α is not smaller to that
of B2α , ∀α ∈ (0,1] .
Proof. Any element b j ∈ Bαj , j = 1, 2 is obtained as a probability
n
measure of Aj , P ( A j ) = ∑ µ A ( x ji ) p j ( x ji ) , based on at least one
1
i =1
nj
According to µ p j ( p j ) = µ B j ∑ µ A j ( x jk ) p j ( x jk ) , for this p1 we have
k =1
µ p ( p1 ) ≥ α . At the same time, we have µ p ( p 2 ) ≥ α and µ p ( p12 ) ≥ α .
1 2 12
p1 ( x1 ) = ∑
x = x 2 i + x12 j
p2 ( x2 i ) p12 ( x12 j ).
9575-The Arithmetic of Z-numbers
p12 ( x12,1 )a11 + p12 ( x12,2 )a12 + ... + p12 ( x12,n )a1n = p1 ( x11 )
p12 ( x12,1 )a21 + p12 ( x12,2 )a22 + ... + p12 ( x12, n ) a2 n = p1 ( x12 )
.
.
.
p12 ( x12,1 )ai1 + p12 ( x12,2 )ai 2 + ... + p12 ( x12, n ) ain = p1 ( x1i ) , (4.10)
.
.
.
p12 ( x12,1 )an1 + p12 ( x12,2 )an 2 + ... + p12 ( x12, n )ann = p1 ( x1n )
p12 ( x12,1 ) + p12 ( x12,2 ) + ... + p12 ( x12, n ) = 1
where
p2 ( x2 j ) if x1i = x2 j + x12, j
aij = ; i = 1,..., n; j = 1,..., n.
0, otherwise
µ p ( p12 ) = max{ p , p
12 1 2 p1 = p2 p12 } min{µ p1 ( p1 ), µ p2 ( p2 )} .
That is, max is taken over all the M cases when the same exact
solution p12 to (4.11) repeats.
Finally, given µ p () one can construct B12 by solving the problem
12
1 1
0.8 0.8
0.6 0.6
0.4 0.4
0.2 0.2
0 0
0 10 20 30 0 0.5 1
1 1
0.8 0.8
0.6 0.6
0.4 0.4
0.2 0.2
0 0
0 5 10 15 0.5 0.7 0.9
The spacing of A2α =0.1 is: 3-1=2; 4-3=1; 5-4=1; 11-5=6. Let us verify
whether there are sets in A1α =0.1 which follow the same spacing pattern.
We start with the first element of A1α =0.1 which is 2. Adding to this
element consequtively 2,1,1,6 and obtaining the results, we will check
whether the obtained numbers are in A1α =0.1 . Thus, the first result is
2+2=4, the second is 4+1=5, the third is 5+1=6, the fourth is 6+6=12.
Therefore, together with the first element 2 we have 4,5,6,12:
{2,4,5,6,12}. As one can see, the resulting set is a subset of A1α =0.1 :
{2,4,5,6,12} ⊂ A1α =0.1 . Analogously, we have found that there are other
sets in A1α =0.1 which follow the same spacing pattern as that of A2α =0.1 :
Therefore, the Hukuhara difference A1α = 0.1 − h A2α = 0.1 between a-cuts
A1α = 0.1 and A2α =0.1 exists and is equal to A1α = 0.1 − h A2α = 0.1 ={1,6,8,9,11} .
Indeed, we have
u1 ⋅ 0 = 0
u1 ⋅ 0.3083 = 0,053292
.
.
.
u2 ⋅ 0.3083 + u3 ⋅ 0 = 0.068214,
.
.
.
u5 ⋅ 0.09295 = 0.016081
u1 + u2 + u3 + u4 + u5 = 1
Substituting values of p12 into the left part of (4.11) we found that the
right part coincides with p1 exactly. Thusm for the considered p1 and p2 ,
there exists p12 such that p1 = p2 p12 . We have found that for the
considered p1 and any other p2 , there does not exists p12 which exactly
satisfies (4.11). In general, for any distribution p1 , there exists a unique
p2 such that an exact solution p12 to (4.11) exists. By using the same
procedures for all the distributions p1 , we found the corresponding exact
solutions p12 of (4.11).
As the numbers of distributions p1 and p2 are N=25 and M=5
respectively, the number of the obtained distributions p12 is 5. The
obtained p12 and the membership degrees µ p ( p12 ) are given below:
12
µ p ( p12 ) = 0.1;
12
µ p ( p12 ) = 0.8;
12
p12 = 0 \ 1 + 0 \ 6 + 1 \ 8 + 0 \ 9 + 0 \ 11,
µ p ( p12 ) = 0.1.
12
Therefore, given A12 and the fuzzy set of distributions p12 described
by membership function µ p 12
we can construct B12 by solving the
problem analogous to (4.7)-(4.8) . The obtained B12 is shown below:
1 1
0.8 0.8
0.6 0.6
0.4 0.4
0.2 0.2
0 0
0 5 10 0.5 0.7 0.9
Z1+ ⋅ Z 2+ = ( A1 ⋅ A2 , R1 ⋅ R2 ),
p12 ( x) = ∑
x = x1 ⋅ x2
p1 ( x1 ) p2 ( x2 j ).
(taken the same as in the case of addition) on the base of (2.38). The
results (obtained analogously to the procedures used previously for
addition and subtraction)are shown below:
B12 = 0 0.54 + 0.5 0.57 + 0.8 0.61 + 1 0.63 + 0.8 0.67 + 0.7 0.7 + 0.6 0.73
+ 0.4 0.76 + 0.2 0.79 + 0.1 0.819 + 0 0.82.
(a) (b)
Fig. 4.9. The results of multiplication of the discrete Z-numbers: (a) A12 , (b) B12 .
Z1
Let us consider standard division Z12 of discrete Z-numbers
Z2
Z1 ( A1 , B1 ) and Z 2 ( A2 , B2 ) , 0 supp(A2 ) . First, Z12 ( A12 , p12 ) is
determined:
p12 ( x) ¦
x x1 / x2 ,
p1 ( x1 ) p2 ( x2 ).
x2 z0
As a result, Z12+ = A1
( , p12 is obtained.
)
A2
Next we compute membership degrees µ p ( p1 ) and µ p ( p 2 ) for
1 2
convolutions p12 .
Given the membership degrees µ p12 ( p12 ) of the convolutions p12 ,we
compute values of probability measure P ( A12 ) by using Definition 4.1.
For example, P ( A12 ) computed on the base of p12 considered above is
B12 = 0 0.24 + 0.5 0.29 + 0.8 0.34 + 1 0.38 + 0.8 0.44 + 0.7 0.49
+ 0.6 0.54 + 0.4 0.59 + 0.2 0.64 + 0.1 0.69 + 0 0.68.
The result Z12 = ( A12 , B12 ) of the standard division is obtained. A12 , B12
9575ͲTheArithmeticofZͲnumbers
(a) (b)
Fig. 4.10. The results of division of the discrete Z-numbers: (a) A12 , (b) B12 .
pX p X ( x1 ) \ x1 p X ( x2 ) \ x2 ... p X ( xn ) \ xn .
ZY ( AY , RY ),
pY pY ( y1 ) \ y1 pY ( y2 ) \ y2 ... pY ( ym ) \ ym , (4.12)
such that
n
Next we compute µ pX ( pX ,l ) = µBX ∑ µ AX ( xk ) pX ,l ( xk ) by solving
k =1
goal linear programming problem (4.3a)-(4.4a).
Nowwe realize that the fuzzy set of probability distributions p X with
membership function µ p ( p X , l ) naturally induces the fuzzy set of
X
µ pY ( pY ,l ) = µ pX ( pX ,l ),
subject to (4.12)-(4.13).
Next, we should compute probability measure of AY given pY on the
base of Definition 4.1. Finally, given a fuzzy restriction on pY described
by the membership function µ p , we construct a fuzzy set BY with the
Y
µ BY (bY ,l ) = sup( µ pY ( pY ,l ))
subject to
bY ,l = ∑ pY ,l ( xk ) µ AY ( xk ).
k
bY ,l = bX ,l and µ BY (bY ,l ) = µ B X (b X ,l ) ,
(a) (b)
Fig. 4.11. The square of the discrete Z-number: (a) A3 , (b) B3.
ZY+ = ( AY , RY ) ,
p RY = p RY ( y1 ) \ y1 + p RY ( y 2 ) \ y 2 + ... + p RY ( y n ) \ y n ,
(4.14)
such that
yk = xk and p R ( y k ) = p R ( xk ) ,
Y X
(4.15)
n
Then we construct µ pX ( pX ,l ) = µBX ∑ µ AX ( xk ) pX ,l ( xk ) and recall
k =1
that
µ p ( pY ,l ) = µ p ( pX ,l ),
Y X
subject to (4.14)-(4.15).
Next we compute probability measure of AY and, given the
membership function µ p , we construct a fuzzy set BY analogously to that
Y
A3 0 1 0.5 1.4 0.8 1.7 1 2 0.8 2.2 0.7 2.4 0.6 2.6
0.4 2.8 0.2 3 0.1 3.2 0 3.3,
(a) (b)
Fig. 4.12. The square root of the discrete Z-number: (a) A3 , (b) B3.
nb ( Zi , Z j ) = Pb (δ Ai , j ) + Pb (δ Bi , j ), (4.16)
ne ( Z i , Z j ) = Pe (δ Ai , j ) + Pe (δ Bi , j ), (4.17)
nw ( Zi , Z j ) = Pw (δ Ai , j ) + Pw (δ Bi , j ), (4.18)
i, j
Poss (δ Ai , j nl )
Pl (δ ) = ,
∑
A
Poss (δ Ai , j nt )
t∈{b , e , w}
i, j
Poss (δ Bi , j nl )
Pl (δ ) = ,
∑
B
Poss (δ Bi , j nt )
t∈{b , e , w}
2 − ne ( Z i , Z j )
ne ( Z i , Z j ) < 2 , nb ( Z i , Z j ) ≥ , (4.19)
k +1
with k ∈ [0,1] .
Next it is needed to determine the greatest k such that Zi Pareto
dominates Z j to the degree (1 − k ) . For this purpose, a function d is
introduced[3,15,58]:
2 − ne ( Z i , Z j )
0, if nb ( Zi , Z j ) ≤
2
d ( Zi , Z j ) = (4.20)
2 ⋅ nb ( Zi , Z j ) + ne ( Z i , Z j ) − 2
, otherwise
nb ( Z i , Z j )
and Z i = Z j otherwise.
Recall that comparison of fuzzy numbers is a matter of a degree due
to related vagueness. For Z-numbers, which are more complex constructs
characterized by possibilistic-probabilistic uncertainty, degree-based
comparison is even more desirable.
The suggested approach may be considered as basis of a human-
oriented ranking of Z-numbers. In this viewpoint, we suggest to take into
account degree of pessimism β ∈ [0,1] as a mental factor which
influences a choice of a preferred Z-number. The degree of pessimism is
submitted by a human observer who wishes to compare the considered
Z-numbers but does not completely rely on the results obtained by the
above mentioned FPO approach. In this viewpoint, given
do ( Z j ) ≤ do ( Z i ) , we define for two Z-numbers Z1 and Z2 :
r ( Z i , Z j ) = β do ( Z j ) + (1 − β ) do ( Z i ).
Then
9575-The Arithmetic of Z-numbers
1
Z i > Z j iff r ( Z i , Z j ) > ( do( Z i ) + do( Z j ))
2
Z i < Z j iff r ( Z i , Z j ) < ( do( Z i ) + do( Z j ))
1
2
and
Z i = Z j otherwise
d (Z1 , Z 2 ) = 0; d ( Z 2 , Z1 ) = 0.095 .
Next, do( Z1 ) = 0.905 and do( Z 2 ) = 1 are obtained on the base of (4.21).
Therefore, Z2 is higher than Z1 : Z 2 > Z1 . Let us now consider a human-
oriented ranking of these Z-numbers with degree of pessimism β = 0.6 .
For this case we will have:
1
r ( Z1 , Z 2 ) = 0.943 < (0.905 + 1) = 0.953 .
2
Therefore, Z1 > Z2 .
n
n
µB ∑ µ A ( x1k ) p1 ( x1k ) , µB ∑ µ A ( x2k ) p2 ( x2k ) .
k =1 k =1
1 1 2 2
n
µ p ( p1 ) = µB ∑ µA ( x1k ) p1 ( x1k ) ,
k =1
1 1 1
n
µ p ( p2 ) = µB ∑ µ A ( x2k ) p2 ( x2k ) .
k =1
2 2 2
µ p ( p12 ) = max p , p [µ p ( p1 ) ∧ µ p ( p2 )]
12 1 2 1 2
subject to p12 = p1 p2 ,
subject to
A1 = 0 / 0.0 + 0 0.1 + 0.0 0.2 + 0.0 0.3 + 0.0003 0.4 + 0.01 0.5
+ 0.14 0.6 + 0.61 0.7 + 1.0 / 0.8 + 0.61/ 0.9 + 0.14 /1.0,
B1 = 0 0 + 0.0 0.1 + 0.0 0.2 + 0.0 0.3 + 0.0 0.4 + 0.0003 0.5
+ 0.01 0.6 + 0.14 0.7 + 0.61 0.8 + 1.0 0.9 + 0.61 1.0;
9575ͲTheArithmeticofZͲnumbers
A2 0 / 0.0 0.01 0.1 0.14 0.2 0.61 0.3 1.0 0.4 0.61 0.5
0.14 0.6 0.01 0.7 0.0 / 0.8 0.0 / 0.9 0.0 /1.0,
B2 0 0 0.01 0.1 0.14 0.2 0.61 0.3 1.0 0.4 0.61 0.5
0.14 0.6 0.01 0.7 0.0 0.8 0.0 0.9 0.0 1.0.
a) A1 b) B1
a) A2 b) B2
p1 = 0.0 \ 0.0 + 0.0 \ 0.1 + 0.0 \ 0.2 + 0.0 \ 0.3 + 0.0 \ 0.4 + 0.0 \ 0.5
+ 0.45 \ 0.6 + 0.03 \ 0.7 + 0.04 \ 0.8 + 0.03 \ 0.9 + 0.45 \1.0,
p2 = 0.0 \ 0.0 + 0.0 \ 0.1 + 0.33 \ 0.2 + 0.04 \ 0.3 + 0.26 \ 0.4
+ 0.04 \ 0.5 + 0.33 \ 0.6 + 0.0 \ 0.7 + 0.0 \ 0.8 + 0.0 \ 0.9 + 0.0 \1.0.
A12 = ∪ α Aα ,
∈[0,1]
α
12
A12 = 0 / 0.0 + 0.01 0.1 + 0.14 0.2 + 0.61 0.3 + 1.0 0.4 + 0.61 0.5
+ 0.14 0.6 + 0.01 0.7 + 0.0 / 0.8 + 0.0 / 0.9 + 0.0 /1.0.
or
Then
p12 (0.9) = p1 (0.9) p 2 (0.9) + p1 (0.9) p2 (1.0) + p1 (1.0) p 2 (0.9)
= 0.03 ⋅ 0.0 + 0.03 ⋅ 0.0 + 0.0 ⋅ 0.45 = 0.0.
p12 = 0.0 \ 0.0 + 0.0 \ 0.1 + 0.33 \ 0.2 + 0.04 \ 0.3 + 0.26 \ 0.4
+ 0.04 \ 0.5 + 0.33 \ 0.6 + 0.0 \ 0.7 + 0.0 \ 0.8 + 0.0 \ 0.9 + 0.0 \ 1.0.
n1
known that µ p1 ( p1 ) = µ B1 ∑ µ A1 ( x1k ) p1 ( x1k ) , and as for p1 considered
k =1
above we have
n1
∑µ
k =1
A1 ( x1k ) p1 ( x1k ) = 0.0 ⋅ 0.0 + 0.0 ⋅ 0.0 + 0.0 ⋅ 0.0 + 0.0 ⋅ 0.0
n1
∑µ
k =1
A2 ( x2 k ) p2 ( x2 k ) = 0.0 ⋅ 0.0 + 0.01 ⋅ 0.0 + 0.14 ⋅ 0.33 + 0.61 ⋅ 0.04
subject to
v1 + v2 + ... + vn = 1
.
v1 , v2 ,..., vn ≥ 0
p1 = 0.0 \ 0.0 + 0.0 \ 0.1 + 0.0 \ 0.2 + 0.0 \ 0.3 + 0.0 \ 0.4 + 0.0 \ 0.5
+ 0.449 \ 0.6 + 0.0 \ 0.7 + 0.19 \ 0.8 + 0.0 \ 0.9 + 0.405 \ 1.0.
p1 = 0.176 \ 0.0 + 0.176 \ 0.1 + 0.176 \ 0.2 + 0.176 \ 0.3 + 0.174 \ 0.4
+ 0.12 \ 0.5 + 0.0 \ 0.6 + 0.0 \ 0.7 + 0.0 \ 0.8 + 0.0 \ 0.9 + 0.0 \ 1.0,
9575-The Arithmetic of Z-numbers
for b = 0.1:
for b = 0.2 :
p1 = 0.0 \ 0.0 + 0.0 \ 0.1 + 0.0 \ 0.2 + 0.0 \ 0.3 + 0.0 \ 0.4 + 0.0 \ 0.5
+ 0.449 \ 0.6 + 0.0304 \ 0.7 + 0.042 \ 0.8 + 0.0304 \ 0.9 + 0.449 \1.0,
for b = 0.4 :
p1 = 0.0 \ 0.0 + 0.0 \ 0.1 + 0.0 \ 0.2 + 0.0 \ 0.3 + 0.0 \ 0.4 + 0.0 \ 0.5
+ 0.347 \ 0.6 + 0.0 \ 0.7 + 0.306 \ 0.8 + 0.0 \ 0.9 + 0.347 \1.0,
for b = 0.5 :
p1 = 0.0 \ 0.0 + 0.0 \ 0.1 + 0.0 \ 0.2 + 0.0 \ 0.3 + 0.0 \ 0.4 + 0.0 \ 0.5
+ 0.289 \ 0.6 + 0.0 \ 0.7 + 0.422 \ 0.8 + 0.0 \ 0.9 + 0.289 \1.0,
for b = 0.6 :
p1 = 0.0 \ 0.0 + 0.0 \ 0.1 + 0.0 \ 0.2 + 0.0 \ 0.3 + 0.0 \ 0.4 + 0.0 \ 0.5
+ 0.23 \ 0.6 + 0.0 \ 0.7 + 0.537 \ 0.8 + 0.0 \ 0.9 + 0.231\1.0,
for b = 0.7 :
p1 = 0.0 \ 0.0 + 0.0 \ 0.1 + 0.0 \ 0.2 + 0.0 \ 0.3 + 0.0 \ 0.4 + 0.0 \ 0.5
+ 0.173 \ 0.6 + 0.0 \ 0.7 + 0.65 \ 0.8 + 0.0 \ 0.9 + 0.173 \1.0,
for b = 0.8 :
p1 = 0.0 \ 0.0 + 0.0 \ 0.1 + 0.0 \ 0.2 + 0.0 \ 0.3 + 0.0 \ 0.4 + 0.0 \ 0.5
+ 0.116 \ 0.6 + 0.0 \ 0.7 + 0.769 \ 0.8 + 0.0 \ 0.9 + 0.116 \1.0,
for b = 0.9 :
9575-The Arithmetic of Z-numbers
p1 = 0.0 \ 0.0 + 0.0 \ 0.1 + 0.0 \ 0.2 + 0.0 \ 0.3 + 0.0 \ 0.4 + 0.0 \ 0.5
+ 0.058 \ 0.6 + 0.0 \ 0.7 + 0.884 \ 0.8 + 0.0 \ 0.9 + 0.058 \1.0,
for b = 1.0 :
p1 = 0.0 \ 0.0 + 0.0 \ 0.1 + 0.0 \ 0.2 + 0.0 \ 0.3 + 0.0 \ 0.4 + 0.0 \ 0.5
+ 0.0 \ 0.6 + 0.0 \ 0.7 + 0.0 \ 0.8 + 0.0 \ 0.9 + 1.0 \1.0.
Then, according to (4.5)-(4.6),we determine the fuzzy restriction µ p 12
over all the convolutions p12 obtained on the base of (2.40) from all the
considered p1 and p2 . It is clear that the fuzzy restriction µ p 12
is induced
by µ p and µ p .
1 2
B12 = 0.0 0.253 + 0.1 0.259 + 0.14 0.26 + 0.61 0.3 + 1.0 0.4
+ 0.61 0.5 + 0.14 0.6 + 0.01 0.7 + 0.0 0.8 + 0.0 0.9 + 0.0 1.0.
a) A12 b) B12
A1 0.0 / 0.0 0 0.1 0.0 0.2 0.0 0.3 0.0003 0.4 0.01 0.5
0.14 0.6 0.61 0.7 1.0 / 0.8 0.61/ 0.9 0.14 /1.0,
B1 0 0 0.0 0.1 0.0 0.2 0.0 0.3 0.0 0.4 0.0003 0.5
0.01 0.6 0.14 0.7 0.61 0.8 1.0 0.9 0.61 1.0;
A2 0 / 0.0 0.01 0.1 0.14 0.2 0.61 0.3 1.0 0.4 0.61 0.5
0.14 0.6 0.01 0.7 0.0 / 0.8 0.0 / 0.9 0.0 /1.0,
B2 0 0 0.01 0.1 0.14 0.2 0.61 0.3 1.0 0.4 0.61 0.5
0.14 0.6 0.01 0.7 0.0 0.8 0.0 0.9 0.0 1.0.
9575ͲTheArithmeticofZͲnumbers
a) A1 b) B1
Fig. 4.17. The discrete Z-number Z 1 ( A1 , B 1 ) .
a) A2 b) B2
Fig. 4.18. The discrete Z-number Z 2 ( A2 , B 2 ).
p1 0.0 \ 0.0 0.0 \ 0.1 0.0 \ 0.2 0.0 \ 0.3 0.0 \ 0.4 0.0 \ 0.5
0.45 \ 0.6 0.03 \ 0.7 0.04 \ 0.8 0.03 \ 0.9 0.45 \1.0,
p2 0.0 \ 0.0 0.0 \ 0.1 0.33 \ 0.2 0.04 \ 0.3 0.26 \ 0.4 0.04 \ 0.5
0.33 \ 0.6 0.0 \ 0.7 0.0 \ 0.8 0.0 \ 0.9 0.0 \ 1.0.
A12 = ∪ α Aα ,
∈[0,1]
α
12
where
A12 = 0.0 / 0.0 + 0 0.1 + 0.0 0.2 + 0.0 0.3 + 0.0003 0.4 + 0.01 0.5
+ 0.14 0.6 + 0.61 0.7 + 1.0 / 0.8 + 0.61/ 0.9 + 0.14 /1.0.
p12 = 0.0 \ 0.0 + 0.0 \ 0.1 + 0.0 \ 0.2 + 0.0 \ 0.3 + 0.0 \ 0.4 + 0.0 \ 0.5
+ 0.45 \ 0.6 + 0.0 \ 0.7 + 0.2 \ 0.8 + 0.0 \ 0.9 + 0.4 \1.0.
n1
and p2 considered above. It is known that µp1 ( p1 ) = µB1 ∑µA1 ( x1k ) p1 (x1k ) ,
k =1
and as for p1 considered above we have
n1
∑µ
k =1
A1 ( x1k ) p1 ( x1k ) = 0.0 ⋅ 0.0 + 0.0 ⋅ 0.0 + 0.0 ⋅ 0.0 + 0.0 ⋅ 0.0
∑µ
k =1
A2 ( x2 k ) p2 ( x2 k ) = 0.0 ⋅ 0.0 + 0.01 ⋅ 0.0 + 0.14 ⋅ 0.33 + 0.61 ⋅ 0.04
B12 = 0.0 0.253 + 0.1 0.259 + 0.14 0.26 + 0.61 0.3 + 1.0 0.4
+ 0.61 0.5 + 0.14 0.6 + 0.01 0.7 + 0.0 0.8 + 0.0 0.9 + 0.0 1.0.
a) A12 b) B12
Let us emphasize the benefit of the use of fuzzy information with partial
reliability as compared to the use of pure fuzzy information. We consider
two examples:
1) compare multiplication of fuzzy numbers A1 A2 with their Z-
valued analogs which are Z-numbers Z1 ( A1 , B1 ) and Z 2 ( A2 , B2 ) with
B1 1 and B2 1 . Indeed, a fuzzy number A is nothing but a Z-number
Z1 ( A,1) , that is, a fully reliable A . Thus, in this case we consider an
imprecise (fuzzy) but a fully reliable (certain) information. We computed
A1 A2 where
and obtained
The computed Z+-number Z12+ = Z1+ ⋅ Z 2+ is Z12+ = ( A12 , p12 ) , where A12
is the same as in the previous example, and convolution p12 is as
follows:
167
Chapter 5
p X = p X ( x1 ) \ x1 + p X ( x 2 ) \ x 2 + ... + p X ( xn ) \ xn .
ZY+ = ( AY , RY ) ,
pY = pY ( y1 ) \ y1 + pY ( y 2 ) \ y 2 + ... + pY ( y m ) \ y m , m ≤ n (5.1)
such that
pY ( y r ) = ∑
abs ( x ) = y r
p X ( x ), r = 1,..., m. (5.2)
n
Next we compute µ p ( p X ,l ) = µ B ∑ µ A ( xk ) p X ,l ( xk ) by solving a
k =1
X X X
function defined as
µ p ( pY ,l ) = µ p ( pX ,l ) ,
Y X
subject to (5.1)-(5.2).
Next, we should compute probability measure of AY given pY on the
base of Definition 4.1. Finally, given a fuzzy restriction on pY described
by the membership function µ p , we construct a fuzzy set BY with the
Y
µ B (bY ,l ) = sup( µ p ( pY , l ))
Y Y
subject to
bY ,l = ∑ pY ,l ( xk ) µ AY ( xk ).
k
abs (−3) = abs (3) = 3, abs (−2) = abs (2) = 2, abs (−1) = abs (1) = 1 ,
At the same time, one has pY (0) = p X (0), pY (1) = p X (1), pY (4) =
p X (4),..., pY (7) = p X (7). Therefore, RY is as it is shown below:
µ p ( pY ,l ) = µ p ( pX ,l ),
Y X
subject to (5.1)-(5.2).
For example, given pY considered above, the obtained result is
µ p ( pY ,l ) = µ p ( p X ,l ) = 0.2.
Y X
1 1
0.8 0.8
0.6 0.6
0.4 0.4
0.2 0.2
0 0
-3 -2 -1 0 1 2 3 4 5 6 7 8 0.6 0.7 0.8 0.9 1
(a)
(b)
Fig. 5.1. The absolute value of the discrete Z-number: (a) AY , (b) BY .
1
0.8
0.6
0.4
0.2
0
0.65 0.75 0.85 0.95
Fig. 5.2. The obtained BY (thick solid curve) and the given B X (thin dotted curve).
9575-The Arithmetic of Z-numbers
d fH ( A1 , A2 ) = ∪
α ∈[0,1]
α d αfH ( A1 , A2 ),
where
d αfH ( A1 , A2 ) = sup d H ( A1α , A2α ) ,
{ α ≤α ≤1
Z = Z = ( A, B ) A ∈ D 1 , B ∈ D[0,1]
{ 1
. }
Definition 5.3. Supremum metrics on Z . The supremum metrics on Z
is defined as
D ( Z1 + Z , Z2 + Z ) = D ( Z1, Z2 ) ,
D ( Z2 , Z1 ) = D ( Z1 , Z2 ) ,
D ( λZ1 , λZ2 ) = λ D ( Z1 , Z2 ) , λ ∈ R,
D ( Z1 , Z2 ) ≤ D ( Z1 , Z ) + D ( Z , Z2 ) .
B2 = 0 0.575 + 0.2 0.6 + 0.4 0.625 + 0.6 0.65 + 0.8 0.675 + 1 0.7
+ 0.8 0.725 + 0.6 0.75 + 0.4 0.775 + 0.2 0.8 + 0 0.825.
The Hausdorff distances computed for the other α-cuts are as follows.
9575-The Arithmetic of Z-numbers
α =0 α =0
d H ( A1 , A2 ) = max( 2 − 10 , 12 − 60 ) = 48 ;
α = 0.4 α = 0.4
d H ( A1 , A2 ) = max( 4 − 20 , 10 − 50 ) = 40 ;
α = 0.6 α = 0.6
d H ( A1 , A2 ) = max( 5 − 25 , 9 − 45 ) = 36 ;
α = 0.8 α = 0.8
d H ( A1 , A2 ) = max( 6 − 30 , 8 − 40 ) = 32 ;
α =1 α =1
d H ( A1 , A2 ) = 7 − 35 = 28 .
α α
d ( A1 , A2 ) = sup d H ( A1 , A2 ) α = 0,0.2,0.4,0.6,0.8,1 = 48.
{ }
Analogously, we computed the supremum metric between B1 , B2 and
obtained d ( B1 , B2 ) = 0.1 . Therefore, the supremum metric D ( Z1 , Z2 )
between the considered discrete Z-numbers is equal to
sup d ( A1α , A2α ) = sup d ( A1α , A2α ) = supα ∈{0,0.2,0.4,0.6,0.8,1} d ( A1α , A2α )
α ≤α ≤1 0≤α ≤1
d αfH=0 ( A1 , A2 ) = {48,44,40,36,32,28} ;
d αfH=0.2 ( A1 , A2 ) = {44,40,36,32,28} ;
d αfH=0.4 ( A1 , A2 ) = {40,36,32,28} ;
d αfH=0.6 ( A1 , A2 ) = {36,32,28} ;
d αfH=0.8 ( A1 , A2 ) = {32,28} ;
d αfH=1 ( A1 , A2 ) = {28} .
d fH (B1, B2 ) = 0.1 .
d fHZ ( Z1 , Z 2 ) = d fH ( A1 , A2 ) + d fH ( B1 , B2 )
= 1 28.1 + 0.8 32.1 + 0.6 36.1 + 0.4 40.1 + 0.2 44.1 + 0 48.1.
d E ( Z1 , Z 2 ) = ( Z1 − Z 2 ) 2 (5.5)
B1 = 0 0 + 0.5 0.1 + 0.8 0.2 + 1 0.3 + 0.8 0.4 + 0.7 0.5 + 0.6 0.6
+ 0.4 0.7 + 0.2 0.8 + 0.1 0.6 + 0 1;
B2 = 0 0 + 0.3 0.1 + 0.5 0.2 + 0.6 0.3 + 0.7 0.4 + 0.8 0.5
+ 0.9 0.6 + 1 0.7 + 0.9 0.8 + 0.8 0.6 + 0 1.
9575-The Arithmetic of Z-numbers
subject to
v1 + v2 + ... + vn = 1
. (5.7)
v1 , v2 ,..., vn ≥ 0
For b = 0 :
p1 = 0.5 \1 + 0 \ 2 + 0 \ 3 + 0 \ 4 + 0 \ 5 + 0 \ 6 + 0 \ 7 + 0 \ 8
+ 0 \ 9 + 0 \10 + 0.5 \11;
for b = 0.1 :
for b = 0.3 :
for b = 0.4 :
for b = 0.5 :
for b = 0.6 :
for b = 0.7 :
9575ͲTheArithmeticofZͲnumbers
for b 0.8 :
for b 0.9 :
for b 1 :
p1 0 \1 0 \ 2 0 \ 3 0 \ 4 0 \ 5 0 \ 6 1\ 7 0 \ 8
0 \ 9 0 \10 0 \11.
The resulting Z12 is shown below (Fig. 5.3):
(a) (b)
Fig. 5.3. The standard subtraction Z12 : (a) A12 , (b) B12 .
9575ͲTheArithmeticofZͲnumbers
2
Next, the square Z3 Z12 should be found in accordance with Section
4.2.1. The result is shown below:
A3 0 16 0.5 196 0.6 225 0.8 1225 0.9 2116 1 3249 0.8 5929
0.7 6084 0.6 7921 0.3 8281 0 12996,
B3 0 0 0.2 0.088 0.4 0.18 0.6 0.26 0.8 0.35 1 0.44 0.8 0.53
0.6 0.62 0.4 0.7 0.2 0.704 0 0.77
(a) (b)
Therefore, d E ( Z 1 , Z 2 ) is found as d E ( Z1 , Z 2 ) ( Z1 Z 2 ) 2 ( A4 , B4 ).
The graphs of A4 and B4 are shown in Fig. 5.5.
9575ͲTheArithmeticofZͲnumbers
(a) (b)
Z = Z = ( A, B) A ∈ D, B ∈ D[0,1] .
{ }
Then denote Z n the space elements of which are n-vectors of discrete
Z-numbers Z = (Z1 , Z 2 ,..., Z n ) = (( A1 , B1 ),( A2 , B2 ),....,( An , Bn )) . Also, we
denote Z { B} = {( A, B) ∈ Z B = const} as a set of discrete Z-numbers with
fixed B . Denote Z[ c ,d ] = ( A, B) A ∈ D[ c , d ] , B ∈ D[0,1] ,
{ } [c, d ] ⊂ R , and
Z+ = ( A, B ) ∈ Z A ∈ D[0,∞ ) , Z − = Z \ Z + .
{ }
A new fundamental theory of discrete sets and discrete functions was
suggested in [38,39]. This theory is a systematic approach to dealing
with discrete structures which result from the fact that our intelligent,
technological, technical and other possibilities often lead to ‘discrete’
nature of processing of real-world continuous information. In this section
we suggest foundations of discrete Z-number valued functions.
Let us consider a discrete subset A ⊂ Z . The following definitions
apply as adopted from [40].
Definition 5.6. A discrete ordered set. A discrete ordered set
A ={Z1 , Z 2 ,..., Zn } ⊆ Z is called:
1) uniform if d (Zi , Zi +1 ) = const for any Zi , Zi +1 ∈A , that is, all
distances between any two consecutive points in A are equal;
2) bounded down if for some k > 0 one has d (Zi , Zi +1 ) > k for any
Zi , Zi +1 ∈A , that is, all distances between any two consecutive
points in A are larger than some k > 0 ;
3) bounded up if for some k > 0 one has d (Zi , Zi +1 ) < k for any
Zi , Zi +1 ∈A , that is, all distances between any two consecutive
points in A are less than some k > 0.
9575-The Arithmetic of Z-numbers
kZ X
Z X + ZY Z X − ZY
Z X / ZY Z X ZY
min( Z X , ZY ) ZX
n
Z = f ( Z X , ZY )
max(Z X , ZY ) n ZX
ZX
e ln Z X
Z Y+ = ( AY , RY ) ,
pY = pY ( y1 ) \ y1 + pY ( y 2 ) \ y 2 + ... + pY ( y m ) \ y m , (5.8)
such that
9575-The Arithmetic of Z-numbers
n
Next we compute µ p X ( p X ,l ) = µ BX ∑ µ AX ( xk ) p X ,l ( xk ) by solving a
k =1
goal linear programming problem (4.3a)-(4.4a). The fuzzy set of
probability distributions p X with membership function µ pX ( pX ,l )
naturally induces the fuzzy set of probability distributions pY ,l with the
membership function defined as
µ p ( pY ,l ) = µ p ( pX ,l ) ,
Y X
subject to (5.8)-(5.9).
Next, we compute probability measure of AY given pY on the base of
Definition 4.1. Finally, given a fuzzy restriction described by µ pY , we
construct a fuzzy set BY as follows:
µB (bY ,l ) = sup(µ p ( pY ,l ))
Y Y
subject to
bY ,l = ∑ pY ,l ( xk ) µ AY ( xk ) .
k
ZX
Z
As a result, ZY = e X is obtained as e = ( AY , BY ) = (eAX , BY ) . Let us
mention that as pY ,l ( yk ) = pX ,l ( xk ) , µ p ( pY ,l ) = µ p ( pX ,l ) , and
Y X
xk
µA ( yk ) = µA ( xk ) with yk = e hold, one has
Y X
which means BY = B X .
B X = 0 0 + 0.5 0.1 + 0.8 0.2 + 1 0.3 + 0.8 0.4 + 0.7 0.5 + 0.6 0.6
+ 0.4 0.7 + 0.2 0.8 + 0.1 0.6 + 0 1.
represented as
A
where AY = e X computed on the base of Definition 2.29 and RY
computed on the base of (5.8)-(5.9) are given below:
AY = 0.1 2.72 + 0.3 7.39 + 0.5 20.1 + 0.6 55 + 0.7 148 + 0.8 403
+ 0.9 1096 + 1 2980 + 0.8 8103 + 0.6 22026 + 0 59874 ,
(a) (b)
Fig. 5.7. The exponential of the discrete Z-number: (a) AY , (b) BY .
pX p X ( x1 ) \ x1 p X ( x2 ) \ x2 ... p X ( xn ) \ xn .
ZY ( AY , RY ) ,
where AY ln( AX ) , ln( AX ) is determined on the base of Definition 2.30
and RY is represented on base of (2.47) as a discrete probability
distribution
pY pY ( y1 ) \ y1 pY ( y2 ) \ y2 ... pY ( ym ) \ ym , (5.10)
such that
n
Next we compute µ p X ( p X ,l ) = µ BX ∑ µ AX ( xk ) p X ,l ( xk ) by solving a
k =1
goal linear programming problem (4.3a)-(4.4a). The fuzzy set of
probability distributions p X with membership function µ pX ( pX ,l )
naturally induces the fuzzy set of probability distributions pY ,l with the
membership function defined as
µ p ( pY ,l ) = µ p ( pX ,l ) ,
Y X
subject to (5.10)-(5.11).
Next, we compute probability measure of AY given pY on the base of
Definition 4.1. Finally, given a fuzzy restriction described by µ pY , we
construct a fuzzy set BY as follows:
µB (bY ,l ) = sup(µ p ( pY ,l ))
Y Y
subject to
bY ,l = ∑ pY ,l ( xk ) µ AY ( xk ) .
k
AY 0.1 0 0.3 0.69 0.5 1.1 0.6 1.39 0.7 1.61 0.8 1.79
0.9 1.95 1 2.08 0.8 2.2 0.6 2.3 0 2.4 ,
0.9
0.8
0.7
0.6
0.5
0.4
0.3
0.2
0.1
0
0 0.5 1 1.5 2 2.5
(a) (b)
Fig. 5.8. The natural logarithm of the discrete Z-number: (a) AY , (b) BY .
where Z a j ( A j , B j ), Z X n j ( AX n j , B X n j ), j 0,..., n.
9575-The Arithmetic of Z-numbers
∑ D ( P (Z ), f (Z ) ) → min
i =1
n i i
s.t.
5.3.3.2. Z-interpolation
If X is ( AX ,1, BX ,1 ) then Y is ( AY ,1 , BY ,1 )
If X is ( AX ,2 , BX ,2 ) then Y is ( AY ,2 , BY ,2 )
···
If X is ( AX ,n , BX ,n ) then Y is ( AY ,n , BY ,n )
and a current observation
X is ( AX , B X ) ,
If X is AX ,1 then Y is ( AY ,1 , B)
If X is AX ,2 then Y is ( AY ,2 , B)
···
If X is AX ,n then Y is ( AY ,n , B)
1
Taking into account that is a scalar and applying the
d ( AX , AX ,i )
approach to scalar multiplication of a Z-number described in Section
4.1.6, we will have:
n
1
∑
i =1 d ( AX , AX ,i )
AY ,i
Z Y = ( AY , B ) , with AY = n
.
1
∑
k =1 d ( AX , AX , i )
Here the pairs (,) are Z-numbers where uppercase letters denote the
following linguistic terms: H-High; L-Low; M- Medium; G-Good; E-
Excellence; U-Usually. The considered Z-numbers are given below.
The 1st rule inputs:
1) For each rule compute dist as distance Di between the current input
Z-information Z1 = (Z A1 , ZB1 ) , Z2 = (Z A2 , ZB2 ) , Z3 = (Z A3 , ZB3 ) and Z-
antecedents of Z-rules base Z i1 = ( Ai1 , Bi1 ) , Zi 2 = ( Ai 2 , Bi 2 ) ,
Zi 3 = ( Ai 3 , Bi3 ) , i = 1, 2 :
3
Di = ∑ D ( Z j , Z ij ) ,
j =1
D( Z2 , Z12 ) = 0.5 ,
D ( Z3 , Z13 ) = 0.62
.
Thus, the distance for the 1st rule is
D1 = 1.52
n
1
ZY = ∑ wi ZY ,i , wi = n
.
1
i =1
Di ∑
k =1 Dk
ZY = 0.5ZY1 + 0.5ZY2 = ( AY , BY ) .
Z1 + Z X = Z 2 (5.14)
Z1 ⋅ Z X = Z 2 (5.15)
9575-The Arithmetic of Z-numbers
Z X = Z 21 .
Z X′ = Z 2 − Z 1 .
Let us mention that A21 ⊆ A21′ , B21 ⊆ B21′ . In other words, the approximate
solution Z X′ includes an exact solution Z X , just the former contains
redundant uncertainty.
Z X = Z 21 .
Z1 Z X + Z 2 = Z 3 . (5.16)
Z X = ( Z3 −h Z2 ) / h Z1.
Z X = ( Z3 − Z2 ) / Z1.
1 1
0.5 0.5
0 0
0 50 0.5 1
a) A1 b) B1
1 1
0.8 0.8
0.6 0.6
0.4 0.4
0.2 0.2
0 0
0 50 100 150 0 0.5 1
a) A1 b) B1
A1α=0.1 +{4.5,27,36,40.5,49.5}=A2α=0.1,
Z1 = Z 2 + Z 21 = ( A2 , B2 ) + ( A21 , B21 ) = ( A1 , B1 ),
that is
Z 21 = Z 2 − h Z1 = ( A2 , B2 ) − h ( A1 , B1 ) = ( A21 , B21 ).
9575-The Arithmetic of Z-numbers
1 1
0.5 0.5
0 0
0 5 10 15 0.5 0.7 0.9
a) A1 b) B1
A′X = 0.1 / −0.4 + 0.5 / −0.1 + 1 / 0.2 + 0.5 / 0.3 + 0.1 / 0.5 + 0/0.6 + 0/0.7
+ 0/0.8 + 0 / 0.9 + 0/1 + 0/1,
A′X = 0 / 0.33 + 0.07 / 0.36 + 0.1 / 0.38 + 0.14 / 0.40 + 0.19 / 0.43
+ 0.22 / 0.44+...+0.96/1.50+0.99/1.57+1/1.60+0.96/1.67+0.92/1.75
+0.89/1.80+...+0.35/2.67+0.26/2.75+0/3.00,
B ′X = 0 0.24 + 0.5 0.29 + 0.8 0.34 + 1 0.38 + 0.8 0.44 + 0.7 0.49
+ 0.6 0.54 + 0.4 0.59 + 0.2 0.64 + 0.1 0.69 + 0 0.68.
9575ͲTheArithmeticofZͲnumbers
(a) (b)
Fig. 5.12. Approximate solution Z cX ( AcX , B cX ) : (a) AcX , (b) BcX .
1 1
0.9
0.8 0.8
0.7
0.6 0.6
0.5
0.4 0.4
0.3
0.2 0.2
0.1
0
0
0 20 40 60 0 0.5 1 1.5
a) A1 b) B1
Fig. 5.13. f (1) = ( A1, B1 ).
1 1
0.8 0.8
0.6 0.6
0.4 0.4
0.2
0.2
0
0
0.5 1
0 10 20 30
a) A2 b) B 2
Fig. 5.14. f (2) = ( A2 , B2 ).
9575-The Arithmetic of Z-numbers
1 1
0.8
0.5 0.6
0.4
0.2
0
-10 0 10 20 0
0.5 1
a) A3 b) B 3
Fig. 5.15. f (3) = ( A3 , B3 ).
f (1) − h f (2) ( A, B )
∆l f (2) =
− = = ( − A, B ) = A∆ − f (2) , B∆ − f ( 2) ,
( )
−1 −1 l l
where
9575-The Arithmetic of Z-numbers
1 1
0.8
0.6 0.5
0.4
0.2
0
0
0 0.5 1 1.5
0 10 20 30
a) A∆ − f (2) b) B∆ − f (2)
l l
1 1
0.8 0.8
0.6 0.6
0.4 0.4
0.2 0.2
0 0
0 20 40 0.5 0.7 0.9
a) A1 b) B1
Fig. 5.17. f (1) = ( A1 , B1 ).
9575-The Arithmetic of Z-numbers
1
1
0.8
0.6
0.5
0.4
0.2
0
0
0 0.5 1
0 20 40 60 80
a) A2 b) B 2
Fig. 5.18. f (2) = ( A2 , B2 ).
1 1
0.9
0.8 0.8
0.7
0.6 0.6
0.5
0.4 0.4
0.3
0.2 0.2
0.1
0 0
0 50 100 0 0.5 1
a) A3 b) B 3
Fig. 5.19. f (3) = ( A3 , B3 ).
A∆r f ( 2) = 1 10 , B∆r f ( 2) = 1 1 ;
9575-The Arithmetic of Z-numbers
A∆ − f (2) = 1 10 , B∆ − f (2) = 1 1 .
r r
The Z-number ∆l f (2) = ( A∆r f (1) , B∆r f (1) ) is shown in Fig. 5.20.
1 1
0.8 0.8
0.6 0.6
0.4 0.4
0.2 0.2
0 0
0 20 40 0 0.5 1 1.5
a) A∆ − f (2) b) B∆ − f (2)
l l
∆f
= ( A∆ f , B∆ f ) . The motivation is that despite the fact ∆ f / h ∆ Z ≠ ∆ f ,
∆Z ∆Z ∆Z ∆Z
one has A∆ f / ∆Z ⊆ A∆ f , B∆ f / ∆Z ⊆ B∆ f whenever ∆ f / h ∆ Z exists. The
h h
∆Z ∆Z
latter fact can help to linguistically estimate ∆ f with respect to ∆ Z .
Indeed, suppose we have two codebooks, to assign appropriate linguistic
labels to the first component and the second component of a given Z-
number. If this assignment is based on intersection of Z-numbers, then
the same linguistic label will be assigned to A∆ f / ∆ Z and A∆ f due to the
h
∆Z
fact A∆ f / h ∆Z ⊆ A∆ f . The same is true for B∆ f / h ∆Z and B∆ f . As a result, the
∆Z ∆Z
∆f
linguistic estimation of and ∆ f / h ∆ Z will be the same. Then we
∆Z
∆f
can write ∆ f / h ∆ Z ≈ . Based on this fact, we suggest the following
∆Z
definition.
Definition 5.19. An approximate discrete derivative of a discrete Z-
number valued function at a Z-point. Given a function f : Z → Z , its
approximate right hand discrete derivative denoted d r f and approximate
left hand discrete derivative denoted dl f are defined as
∆r f f ( Z n +1 ) − h f ( Z n )
dr f = = , provided that Z n +1 − h Z n and
∆r Z Z n +1 − h Z n
f (Z n+1 ) −h f (Z n ) exist,
∆l f f ( Z n ) − h f ( Z n −1 )
dl f = = , provided that Z n − h Z n −1 and
∆l Z Z n − h Z n −1
f (Z n ) −h f (Z n−1 ) exist.
∆r f f ( Z 2 ) − h f ( Z1 ) (10,1)
dr f = = = = (5,1) ,
∆r Z Z 2 − h Z1 (2,1)
∆r f f ( Z 3 ) − h f ( Z 2 ) (5,1)
dr f = = = = (5,1) .
∆r Z Z3 −h Z 2 (1,1)
1. T ( x, y ) = T ( y, x) (commutativity).
2. T (T ( x, y ), z ) = T ( x, T ( y, z )) (associativity).
3. T ( x , y ) ≤ T ( x ′, y ′) whenever x ≤ x ′, y ≤ y ′ (monotonicity).
4. T ( x, m) = x (boundary condition).
and
and
1) T ( Z 1 , Z 2 ) = T ( Z 2 , Z 1 ) (commutativity)
2) T (T ( Z 1 , Z 2 ), Z 3 ) = T ( Z 1 , T ( Z 2 , Z 3 )) (associativity)
Analogously, all the convolutions p12 are determined for all the
remaining pairs p1 and p2 .
Next, on the base of fuzzy sets of distributions p1 and p2 described
by membership functions µ p1 , µ p2 , the induced fuzzy set of the
convolutions p12 with the membership function µ p12 = min(µ p1 , µ p2 ) is
constructed. For example, compute µ p12 ( p12 ) for p12 obtained above.
First, to determine the values of membership functions µ p1 , µ p2 for the
distributions considered above we compute:
10
∑µ
k =1
A1 ( x1,k ) ⋅ pA1 ( x1,k ) = 0 ⋅ 0.06 + 0.5 ⋅ 0.28 + 0.6 ⋅ 0.4 + 0.7 ⋅ 0.23
∑µ
k =1
A2 ( x2,k ) ⋅ pA2 ( x2,k ) = 0 ⋅ 0 + 0 ⋅ 0 + 0.4 ⋅ 0 + 0.6 ⋅ 0.1 + 1 ⋅ 0.8
Thus,
µ p ( p1 ) = µB (0.5) = 0.01,
1 1
µ p ( p2 ) = µB (0.9) = 0.6 .
2 2
µB (b12 ) = µ p ( p12 ) .
12 12
and, therefore,
B12 = 0 +0 +0 +0 +0 + 0.01
0.68 0.71 0.73 0.75 0.77 0.79
+ 0.14 + 0.6 +1 + 0.6 .
0.81 0.84 0.86 0.9
B1 = 0 +0 +0 +0 +0 + 0.01 + 0.14
0.7 0.72 0.75 0.77 0.80 0.82 0.85
+ 0.6 +1 + 0.6 .
0.87 0.89 0.9
9575-The Arithmetic of Z-numbers
B2 = 0 +0 +0 +0 +0 + 0.01 + 0.14
0.45 0.50 0.54 0.59 0.64 0.68 0.73
+ 0.6 + 1 + 0.6 .
0.77 0.82 0.90
9575-The Arithmetic of Z-numbers
∑µ
k =1
A1 ( x1,k ) ⋅ p1 ( x1,k ) = 0.4 ⋅ 0 + 0.8 ⋅ 0.4 + 1 ⋅ 0.05 + 0.7 ⋅ 0.03
∑µ
k =1
A2 ( x2,k ) ⋅ p2 ( x2,k ) = 0 ⋅ 0.17 + 0 ⋅ 0.01 + 0 ⋅ 0.02 + 0 ⋅ 0.03
+ 0 ⋅ 0.05 + 0.01 ⋅ 0.03 + 0.14 ⋅ 0.17 + 0.6 ⋅ 0.17 + 1 ⋅ 0.17 + 0.6 ⋅ 0.17
= 0.001 ⋅ 0.238 ⋅ 0.102 + 0.17 + 0.102 = 0.613.
Thus, we obtain
µ p ( p1 ) = µB (0.4) = 0 ,
1 1
9575-The Arithmetic of Z-numbers
µ p ( p2 ) = µB (0.6) = 0.14 .
2 2
Then we have
µ p = min(µ p , µ p ) = min(0,0.14) = 0 .
12 1 2
µB (b12 ) = µ p ( p12 ) .
12 12
+ 1 ⋅ 0.2 + 0.7 ⋅ 0.3 + 0 ⋅ 0.1 + +0 ⋅ 0.1 + 0 ⋅ 0.1 + 0 ⋅ 0.1 = 0.007 + 0.2 + 0.21
= 0.417,
and, therefore,
where
where
WA( Z 1 , Z 2 ,..., Z n ) = Z W = ( AW , BW )
RW = W1 R1 + W 2 R2 + ... + Wn Rn .
where
Ag ( Z(1) ) = ∪ α A α
g ( Z (1) )
1
, Ag ( Z(1) ) ,
α
2
∈(0,1]
α
α α α α =1
Ag ( Z (1) ) = min p1 ( p1 , p2 ) ∈ AP
1
{ }, A g ( Z (1) ) 2 = min p1 ( p1 , p2 ) ∈ AP
{ }
α α α
AP = ( p1 , p2 ) ∈ AP1 × AP2
{ p1 + p2 = 1 . }
9575-The Arithmetic of Z-numbers
B12 = 0.1 0.8 + 0.8 0.85 + 1 0.9 + 0.8 0.9 + 0.1 0.95.
α =1
As one can see, Ag ( Z (1) )α = 0.7 for all α ∈ [0,1] as the AP1 = {0.7} .
2
Analogously, we have found:
α = 0.8 α = 0.8
Ag ( Z (1) )
1
= min p1 ( p1 , p2 ) ∈ AP
{ } = min{0.6, 0.7, 0.8} = 0.6 ,
α =1 α =1
Ag ( Z (1) )
1
= min p1 ( p1 , p2 ) ∈ AP
{ } = min{0.7} = 0.7 .
Therefore, we will have g ( Z(1) ) = ( Ag ( Z(1) ) , BP ) as
Bg ( Z(1) ) = 0.1 0.8 + 0.8 0.85 + 1 0.9 + 0.8 0.9 + 0.1 0.95.
B12 = 0.1 0.45 + 0.8 0.5 + 1 0.52 + 0.8 0.62 + 0.1 0.63 .
1 1
0.8 0.8
0.6 0.6
0.4 0.4
0.2 0.2
0 0
0 20 40 60 0 0.5 1
B12 = 0 +0 +0 +0 +0 + 0.01
0.12 0.20 0.29 0.38 0.46 0.55
+ 0.14 + 0.61 + 1 + 0.6 .
0.63 0.72 0.81 0.9
B= 0 +0 +0 +0 +0 + 0.01 + 0.14
0.61 0.64 0.67 0.70 0.73 0.76 0.78
+ 0.61 +1 + 0.6 .
0.82 0.85 0.91
230
Chapter 6
problem by using fuzzy sets was suggested in the famous work by Zadeh
and Bellman[28]. The concept of fuzzy LP was first suggested by
Zimmerman[181]. Nowadays there is a wide spectrum of works within
application of the fuzzy set theory to modeling of imperfect information
within LP problems. A lot of works are devoted to LP with parameters
considered as fuzzy numbers[41,54,77,98,99,130]. In [114] a new
concept of duality in fuzzy LP, weak and strong duality theorems are
suggested. A series of works is devoted to comparison of fuzzy and
stochastic LP problems[72,118]. Some works are devoted to LP
problems with fuzzy parameters described by typical forms of
membership functions[61,73].
In [33] an evolutionary algorithm-based solution to the fully fuzzified
linear programming problem is proposed. In [2] they propose fuzzy
chaos-based approach to solution of fuzzy linear programming problem
and provide its application to product mix problem. In [56] solving of the
Type-2 fuzzy linear programming problems by using two phases method
is proposed. In [87] the authors propose generalized simplex algorithm to
solve fuzzy LP problems with parameters described by generalized fuzzy
numbers (GFNs). To our knowledge, this work is the first research on
fuzzy LP with GFNs, which is close to an implementation of an idea to
account for reliability of decision-relevant information. In this paper, on
the base of the proposed new approach to ranking of GFNs, the authors
develop generalized fuzzy simplex algorithm to solve real-world LP
problems.
We can conclude that there is a large progress in taking into account
uncertainty, imprecision, partial truth and soft constraints in real LP
problems. However, the main drawback of the works mentioned above is
that in these works the reliability of the decision relevant information is
not taken into consideration to a considerable extent. Moreover, in the
majority of works they only take into account imperfect information on
parameters of LP models, whereas decision variables are considered
accurate.
There are several papers in the literature, in which Z-numbers are
used for solving problems related to decision making.
Studies [142,143] are devoted to new representations, approaches and
applications of Z-numbers in various important fields. It is suggested to
9575-The Arithmetic of Z-numbers
u1 ur1-ur2
ur2
ur1
unew
ur3
ur4
u2
where the function rand(a,b) returns a random value in the range [a,b].
Differential Evolution based Optimization (DEO) usually implies
existence of a function f (u) , where u is vector (u1 ,..., un ) , whose values
should be optimized by DE algorithm.
When solving optimization problems a common recommendation is
to choose PopSize ten times the number of optimization variables, F=0.9,
CR=1 or CR=0.5.
We consider solving a fully Z-number based linear programming
problem, i.e. with Z-valued decision variables and Z-valued parameters.
The general formulation of a Z-LP problem may be described as
follows[10]:
subject to
Z x1 , Z x2 ,..., Z xn Z 0 . (6.3)
subject to
Z x1 , Z x2 ,..., Z xn ≥ Z Z 0 . (6.6)
∑Z
j =1
aij Z x j ≤ Z Z bi .
∑Z
j =1
aij Z x j + Z xn+i = Z bi , Z xn + i ≥ Z Z 0
∑Z
j =1
aij Z x j ≥ Z Z bi .
∑Z
j =1
aij Z x j − Z xn+i = Z bi , Z xn+i ≥ Z Z 0
Z
Z f ( Z x0 ) ≤ Z f ( Z x ) .
Let us proceed to solving of the problem (6.4)-(6.6).
At first we add the Z-valued slack variables[10]:
Z f ( Z x1 , Z x2 ,..., Z xn ) = Z c1 Z x1 + Z c2 Z x2 + ... + Z cn Z xn → max
subject to
9575-The Arithmetic of Z-numbers
subject to
N N
Z y M ( Z x1 , Z x2 ,..., Z xN ) = Z a0 + ∑ Z ai Z xi + ∑ Zbi Z x2i
i =1 i =1
N N
(6.9)
+ ∑∑ Z cij Z xi Z x j .
i =1 j =1
i< j
Table 6.1. Z-valued input and output data for gasoline production.
Temperature at top of a Temperature at bottom of a Amount of gasoline
column, oC column, oC production,tons
Ax1 Bx1 Ax2 Bx2 Ay By
(125,4;132;138,6) (0,76;0,8;0,84) (237,5;250;262,5) (0,76;0,8;0,84) (107,35;113;118,65) (0,76;0,8;0,84)
(123,5;130;136,5) (0,76;0,8;0,84) (234,65;247;259,35) (0,76;0,8;0,84) (109,25;115;120,75) (0,76;0,8;0,84)
(126,35;133;139,65) (0,76;0,8;0,84) (237,5;250;262,5) (0,76;0,8;0,84) (103,55;109;114,45) (0,76;0,8;0,84)
9125,4;132;138,6) (0,76;0,8;0,84) (237,5;250;262,5) (0,76;0,8;0,84) (115,9;122;128,1) (0,76;0,8;0,84)
(125,4;132;138,6) (0,76;0,8;0,84) (237,5;250;262,5) (0,76;0,8;0,84) (91,2;96;100,8) (0,76;0,8;0,84)
(125,4;132;138,6) (0,76;0,8;0,84) (237,5;250;262,5) (0,76;0,8;0,84) (127,3;134;140,7) (0,76;0,8;0,84)
(128,25;135;141,75) (0,76;0,8;0,84) (237,5;250;262,5) (0,76;0,8;0,84) (112,1;118;123,9) (0,76;0,8;0,84)
(130,15;137;143,85) (0,76;0,8;0,84) (237,5;250;262,5) (0,76;0,8;0,84) (105,45;111;116,55) (0,76;0,8;0,84)
(131,1;138;144,9) (0,76;0,8;0,84) (238,45;251;263,55) (0,76;0,8;0,84) (105,45;111;116,55) (0,76;0,8;0,84)
(128,25;135;141,75) (0,76;0,8;0,84) (234,65;247;259,35) (0,76;0,8;0,84) (134,9;142;149,1) (0,76;0,8;0,84)
(130,15;137;143,85) (0,76;0,8;0,84) (235,6;248;260,4) (0,76;0,8;0,84) (112,1;118;123,9) (0,76;0,8;0,84)
(130,15;137;143,85) (0,76;0,8;0,84) (237,5;250;262,5) (0,76;0,8;0,84) (104,5;110;115,5) (0,76;0,8;0,84)
(128,25;135;141,75) (0,76;0,8;0,84) (237,5;250;262,5) (0,76;0,8;0,84) (100,7;106;111,3) (0,76;0,8;0,84)
(128,25;135;141,75) (0,76;0,8;0,84) (237,5;250;262,5) (0,76;0,8;0,84) (108,3;114;119,7) (0,76;0,8;0,84)
(128,25;135;141,75) (0,76;0,8;0,84) (237,5;250;262,5) (0,76;0,8;0,84) (109,25;115;120,75) (0,76;0,8;0,84)
(127,3;134;140,7) (0,76;0,8;0,84) (237,5;250;262,5) (0,76;0,8;0,84) (114;120;126) (0,76;0,8;0,84)
(127,3;134;140,7) (0,76;0,8;0,84) (240,35;253;265,65) (0,76;0,8;0,84) (114,95;121;127,05) (0,76;0,8;0,84)
(124,45;131;137,55) (0,76;0,8;0,84) (231,8;244;256,2) (0,76;0,8;0,84) (100,7;106;111,3) (0,76;0,8;0,84)
(131,1;138;144,9) (0,76;0,8;0,84) (239,4;252;264,6) (0,76;0,8;0,84) (115,9;122;128,1) (0,76;0,8;0,84)
(130,15;137;143,85) (0,76;0,8;0,84) (237,5;250;262,5) (0,76;0,8;0,84) (95;100;105) (0,76;0,8;0,84)
Z yM (Z x1 , Z x2 ) = Z a1 Z x1 + Z a2 Z x2 (6.11)
resulting Z-valued coefficients , are shown in Figs. 6.2, 6.3
respectively.
Table 6.2. The real and the computed values of gasoline production.
Zy Z yM
A B A B
(07,35;113;118,65) (0,76;0,8;0,84) (0;114,74;304,06) (0,01;0,47;0,53)
(109,25;115;120,75) (0,76;0,8;0,84) (0;113,23;304,06) (0,02;0,62;0,88)
(103,55;109;114,45) (0,76;0,8;0,84) (0;115,06;304,06) (0,01;0,55;0,61)
(115,9;122;128,1) (0,76;0,8;0,84) (0;114,74;304,06) (0,01;0,47;0,53)
(91,2;96;100,8) (0,76;0,8;0,84) (0;114,74;304,06) (0,01;0,47;0,53)
(127,3;134;140,7) (0,76;0,8;0,84) (0;114,74;304,06) (0,01;0,47;0,83)
(112,1;118;123,9) (0,76;0,8;0,84) (0;115,7;304,06) (0,01;0,55;0,62)
(105,45;111;116,55) (0,76;0,8;0,84) (0;116,34;304,06) (0,01;0,47;0,53)
(105,45;111;116,55) (0,76;0,8;0,84) (0;116,95;304,06) (0,01;0,45;0,64)
(134,9;142;149,1) (0,76;0,8;0,84) (0;114,83;304,06) (0.01;0,61;0,70)
(112,1;118;123,9) (0,76;0,8;0,84) (0;115,76;304,06) (0,02;0,60;0,88)
(104,5;110;115,5) (0,76;0,8;0,84) (0;116,34;304,06) (0,01;0,47;0,53)
(100,7;106;111,3) (0,76;0,8;0,84) (0;115,7;304,06) (0,01;0,55;0,62)
(108,3;114;119,7) (0,76;0,8;0,84) (0;115,7;304,06) (0,01;0,55;0,62)
(109,25;115;120,75) (0,76;0,8;0,84) (0;115,7;304,06) (0,01;0,55;0,62)
(114;120;126) (0,76;0,8;0,84) (0;15,38;304,06) (0,01;0,55;0,62)
(114,95;121;127,05) (0,76;0,8;0,84) (0;116,25;304,06) (0,02;0,09;0,10)
(100,7;106;111,3) (0,76;0,8;0,84) (0;112,68;328,67) (0,01;0,46;0,54)
(115,9;122;128,1) (0,76;0,8;0,84) (0;117,24;304,06) (0,02;0,22;0,25)
(95;100;105) (0,76;0,8;0,84) (0;116,34;304,06) (0,01;0,47;0,53)
1.00
1.00
0.80
0.60 0.50
0.40
0.20
0.00
0.00
0 0.5 1
0 0.5 1
A B
1.00
1.00
0.80 0.80
0.60 0.60
0.40 0.40
0.20 0.20
0.00 0.00
0.00 0.50 1.00 0 0.5 1
A B
Z f2 ( Z x1 , Z x2 ,… , Z xn ) = Z C 2 ⋅ Z x1 + Z C 2 ⋅ Z x2 + … + Z C 2 ⋅ Z xn → max
2 2 n
. (6.12)
.
.
Z f q ( Z x1 , Z x2 , … , Z xn ) = Z C q ⋅ Z x1 + Z C q ⋅ Z x2 + … + Z C q ⋅ Z xn → max
1 2 n
subject to
Z xi = ( Axi , Bxi )
Z ci = ( Aci , Bci ), Z aij = ( Aaij , Baij ), Z b j = ( Ab j , Bb j ), i = 1,..., n, j = 1,..., m ,
Z0 = (0,1) .
Z f1 ( Z x1 , Z x2 ,… , Z xn ) = Z C1 ⋅ Z x1 + ZC1 ⋅ Z x2 + … + Z C1 ⋅ Z xn → max
1 2 n
Z f2 ( Z x1 , Z x2 ,…, Z xn ) = Z C 2 ⋅ Z x1 + Z C 2 ⋅ Z x2 + … + Z C 2 ⋅ Z xn → max
2 2 n
.
. (6.14)
.
Z fq (Z x1 , Z x2 ,…, Z xn ) = ZC q ⋅ Z x1 + ZC q ⋅ Z x2 + … + ZC q ⋅ Z xn → max
1 2 n
subject to
Z x1 , Z x2 ,..., Z xn ≥ Z Z 0 .
subject to
9575-The Arithmetic of Z-numbers
Zx1 , Zx2 ,..., Zxn , Zxn+1 , Zxn+2 ,..., Zxn+m ≥Z Z0. (6.17)
subject to
then η ( ∩ ∞n 1 Vn ) = lim η ( Vn ) .
= n→ ∞
S = (S1,..., Sm ), h = (h1,..., hn ) ,
Monotonicity
ui+ (0i ) = (0,1), ui+ (1i ) = (1,1), ui− (0i ) = (0,1) and ui− ( −1i ) = ( −1,0).
Multiplicative transitivity
9575-The Arithmetic of Z-numbers
∀Xi ,Yi , Zi ,Wi , Ri ,Vi such that ui ( Xi ) > ui (Yi ) , ui (Wi ) > ui (Zi ) and
ui (Ri ) > ui (Vi ) we have
k( Xi , Yi , Zi ,Wi ) × k(Zi ,Wi , Ri ,Vi i ) = k( Xi ,Yi , Ri ,Vi )
uiς is stable under positive linear transformation
The ratio u i ( X i ) − ui (Yi ) does not change if u i is changed to
u i ( Z i ) − u i (Wi )
αui + β , α > 0, β ≥ 0 .
Inter-combined states information. Z-valued bi-capacity η
satisfies:
Monotonicity
η (V , V ′) ≥ η (W , W ′) ⇔ (1V , −1V ′ ,0¬( V ∪V ′) ) l (1W , −1W′ ,0¬( W ∪W′) )
Multiplicative transitivity
∀V , V ′, W , W ′, V , V ′, W , W ′, K, K′, L, L′ ⊂ N such that
η (V , V ′) > η (W, W′) , η (V , V ′) > η (W , W ′) and η (K, K′) > η (L, L′)
one has
k (V , V′, W, W′, V , V′, W, W′) × k (V , V′, W, W′, K, K′, L, L′)
= k (V , V′, W, W′, K, K′, L, L′)
Homogeneity
9575-The Arithmetic of Z-numbers
P ( S,h) = P ( Si(1) ,..., Si(mm ) , h(1) (n) (1) (m) ( m +1) (m+ n)
j1 ,..., h jn ) = P ( S k1 ,..., S km , hk m+1 ,..., hkm+ n )
1
:
P ( S k(1)
1
,..., S k(mm ) , hk(mm++1 1) ,..., hk(mm++n n ) ) = φ ( P ( S k(1)
1
),..., P ( S k(mm ) ), P ( hk(mm++1 1) ),..., P ( hk(mm++n n ) )).
υ(V) = ( Aυ (V), Bυ ), Bυ = BP
(6.21)
Aυ (V) = ∪ α Aυα (V), Aυα (V), V ⊂ Ω = {ω ,...,ω } ,
1 2 1 L
α∈(0,1]
where
α
Aυ1 (V ) = inf ∑ p(ωi ) ( p(ω1 ),..., p(ωL )) ∈ ΑP
α
ωl ∈V ,
(6.22)
L
ΑP
α α
= ( p (ω1 ),..., p (ω L )) ∈ AP (ω1 ) × ... × AP (ω L )
α
∑ p (ωl ) = 1
l =1 .
Rule Base
q
NL
Antecedents CWW Consequent ans (q/I)
Precisiation Converting to
I Engine NL
NL Constraints results NL
Input Output
precisiation restriction computation
NL NL
Fig. 6.5. Computation model of CWW .
9575-The Arithmetic of Z-numbers
. .
ans (q/I)
. . Computation with
. Precisiation .
restrictions
265
Chapter 7
Application of Z-numbers
the first action will yield high income under the first economic
condition, medium income under the second economic condition, less
than medium income under the third economic condition;
the second action will yield very high income in the first economic
condition, medium income in the second economic condition, small
income in the third economic condition;
the third action will yield approximately the same medium income in
all the considered states of economy.
9575-The Arithmetic of Z-numbers
S = {S1 , S2 , S3}
9575-The Arithmetic of Z-numbers
Now let us formalize the states of a DM. The set of states of the DM
is
H = {h1, h2 , h3 , h4},
Let us now compute the Z-valued overall utilities for the alternatives on
the base of (6.20). For example, for f1 it has the following form:
1
Za11 = (about 12, 0,9) Za12 = (about 17, 0,9) Z a = ( about 0, 0,9) Zb1 = (about 1400,0,9)
13
Z a21 = (about 2, 0,9) Z a22 = (about 9, 0,9) Za23 = (about 8, 0,9) Zb2 = (about 1000, 0,9)
2
Za31 = (about 10, 0,9) Za32 = (about 13, 0,9) Za33 = (about 15, 0,9) Zb3 = (about 1750,0,9)
3
Z11 = (about 6, 0,9) Z42 = (about 0, 0,9) Za13 = (about 16, 0,9) Zb4 = (about 1325, 0,9)
4
5 Z51 = (about 0, 0,9) Z52 = (about 12, 0, 9) Z a53 = (about 7, 0,9) Zb5 = (about 900, 0,9)
Z61 = (about 9,5, 0,9) Z62 = (about 9,5, 0,9) Z a63 = (about 4, 0,9) Zb6 = (about 1075, 0,9)
6
Worker ZC31 = (about 25, 0,8) ZC32 = (about 100, 0,8) ZC33 = (about 75, 0,8)
satisfaction
A = { f1 , f 2 , f 3 },
S = {S1 , S 2 , S 3 }
Table 7.8. The values of utilities for different alternatives and probabilities of states of
nature.
S1 S2 S3
(about 0.3, quite sure) (about 0.5, quite sure) (about 0.2, quite sure)
f1 high; likely medium; likely low; likely
f2 below than high; likely medium; likely low; likely
f3 high; likely more than low; likely low; likely
S1 S2 S3
Z 41 Z 42 Z 43
f1 Z11 Z12 Z13
f2 Z 21 Z 22 Z 23
f3 Z 31 Z 32 Z 33
Fig 7.6. Representation of the first alternative in the first state ( Z11) as a Z-number.
Fig 7.7. Representation of the first alternative in the second state (Z12 ) as a Z-number.
9575ͲTheArithmeticofZͲnumbers
Fig 7.8. Representation of the first alternative in the third state (Z13 ) as a Z-number.
Fig 7.9. Representation of the second alternative in the first state (Z21) as a Z-number.
Fig. 7.11. Representation of the second alternative in the third state ( Z 23 ) as a Z-number.
Fig. 7.12. Representation of the third alternative in the first state (Z31) as a Z-number.
Fig. 7.13. Representation of the third alternative in the second state (Z32 ) as a Z-number.
9575ͲTheArithmeticofZͲnumbers
Fig. 7.14. Representation of the third alternative in the third state (Z33 ) as a Z-number.
Fig. 7.16. The Expected Utility results for the first alternative ZU ( f1 ) .
1 1
0.9 0.9
0.8 0.8
0.7 0.7
0.6 0.6
0.5 0.5
0.4 0.4
0.3 0.3
0.2 0.2
0.1 0.1
Fig. 7.17. The Expected Utility results for the second alternative ZU ( f 2 ) .
9575ͲTheArithmeticofZͲnumbers
Fig. 7.18. The Expected Utility results for the second alternative ZU ( f3 ) .
do ( f1 ) 1, do ( f 2 ) 0, do ( f 3 ) 0.92.
As one can see, the second alternative is not Pareto optimal. Now it is
needed to compare the first and the second alternatives. Suppose that the
pessimizm degree in comparison of these alternatives is ȕ = 0.3.
Then we have
1
r ( ZU ( f1 ) , ZU ( f3 ) ) 0.976 ! ( do( ZU ( f1 ) ) do( ZU ( f3 ) ) 0.96.
2
Z c1 Z x1 Z c2 Z x2 o max
9575-The Arithmetic of Z-numbers
subject to
Z a11 Z x1 + Z a12 Z x2 ≤ Z Z b1 ,
Z a21 Z x1 + Z a22 Z x2 ≤ Z Z b2 ,
Z x1 , Z x2 ≥ Z Z 0 ,
For simplicity, Z a21 = ( Aa21 , Ba21 ) and Z a22 = ( Aa22 , Ba22 ) are chosen as
singletons:
Aa21 = 1 , Ba21 = 1 ;
Aa22 = 1, Ba22 = 1 .
Z c1 Z x1 + Z c2 Z x2 → max
subject to
Z a11 Z x1 + Z a12 Z x2 + Z x3 = Z b1 ,
Z a21 Z x1 + Z a22 Z x2 + Z x4 = Z b2 ,
Z x1 , Z x2 , Z x3 , Z x4 ≥ Z Z 0 .
−( Z c1 Z x1 + Z c2 Z x2 ) + ( Z b1 − ( Z a11 Z x1 + Z a12 Z x2 + Z x3 + Z x4 ))
+ ( Z b2 − ( Z a21 Z x1 + Z a22 Z x2 + Z x3 + Z x4 )) → min
subject to
Z x1 , Z x2 , Z x3 , Z x4 ≥ Z Z 0 .
Bf = 0 +0 +0 +0 +0 +0
0.09 0.12 0.14 0.143 0.17 0.2
+ 0.0001 + 0.01 + 0.14 + 0.61 +1 .
0.22 0.224 0.25 0.28 0.3
287
Bibliography
Bibliography 289
54. Delgado, M., Verdegay J. L. and Vila M. A. (1989). A general model for fuzzy
linear programming, Fuzzy Set. Syst., 29, pp. 21-29.
55. Diamond, P. and Kloeden, P. (1994) Metric Spaces of Fuzzy Sets,Theory and
Applications. (World Scientific, Singapore).
56. Dinagar, S. D. and Anbalagan, A. (2011). Two-phase approach for solving
Type-2 fuzzy linear programming problem, International Journal of Pure and
Applied Mathematics, 70, pp. 873-888.
57. Dubois, D. and Prade, H. (1985). A review of fuzzy sets aggregation
connectives, Inform. Sciences, 36, pp. 85-121.
58. Farina, M., and Amato, P. (2004). A fuzzy definition of "optimality" for many-
criteria optimization problems, IEEE T. Syst. Man Cy. A: Systems and Humans,
34(3), pp. 315-326.
59. Fiedler, M., Nedoma, J., Ramik, J. and Zimmermann, K. (2006) Linear
optimization problems with inexact data, (Springer Science+Business Media,
New York).
60. Fumika, O. (2004). A literature review on the use of expert opinion in
probabilistic risk analysis, World Bank Policy Research Working Paper, no.
3201. http://www-wds.worldbank.org.
61. Ganesan, K. and Veeramani, P. (2006). Fuzzy linear programs with trapezoidal
fuzzy numbers, Ann. Oper. Res., 143, pp. 305-315.
62. Garcia, J. C. F. (2011). Interval type-2 fuzzy linear programming: Uncertain
constraints. IEEE Symposium on Advances in Type-2 Fuzzy Logic Systems,
T2FUZZ, pp. 94-101.
63. Gilboa, I. (2009) Theory of Decision under Uncertainty. (Cambridge University
Press, Cambridge).
64. Gilboa, I. and Schmeidler, D. (1989). Maximin expected utility with a non-
unique prior, J. Math. Econ., 18, pp. 141-153.
65. Glen, A. G., Leemis, L. M. and Drew, J. H. (2004). Computing the distribution
of the product of two continuous random variables. Comput. Stat. Data An., 44,
pp. 451–464.
66. Goetschell, R. and Voxman, W. (1986). Elementary calculs, Fuzzy Set. Syst., 18,
pp. 31-43.
67. Grabisch, M., Murofushi, T., Sugeno, M., and Kacprzyk, J. (2000) Fuzzy
Measures and Integrals. Theory and Application (Physica Verlag, Berlin,
Heidelberg).
68. Hahn, G. J. and Shapiro, S. S. (1967) Statistical Models in Engineering. (John
Wiley and Sons, New York).
69. http://thirteen-01.stat.iastate.edu/wiki/stat430/files?filename=Ch-2.2-trivedi.pdf.
70. Hukuhara, M. (1967). Intégration des applications mesurablesdont la valeurest
un compact convexe, Funkcial. Ekvac., 10, pp. 205–223 (in French).
71. Ignizio, J. P. (1976) Goal programming and extension, (Lexington Books:
Lexington, MA).
9575-The Arithmetic of Z-numbers
Bibliography 291
Bibliography 293
Bibliography 295
Bibliography 297
2751-2779.
168. Zadeh, L. A. (2010). A note on Z-numbers, Inform. Sciences, 181, pp. 2923–
2932.
169. Zadeh, L. A. (2010). Foreword to the special section on Computing With
Words, IEEE T. Fuzzy Syst., 18(3), pp. 437–440.
170. Zadeh, L. A. (2010). The Z-mouse—a visual means of entry and retrieval of
fuzzy data, posted on BISC Forum, July 30, 2010. A more detailed description
may be found in Computing with Words – principal concepts and ideas,
Colloquium powerpoint presentation, University of Southern California, Los
Angeles, CA, October 22.
171. Zadeh, L. A. (2011). The concept of a Z-number - A new direction in uncertain
computation, Proc. of the IEEE International Conference on Information Reuse
and Integration, IRI, pp. xxii-xxiii.
172. Zadeh, L. A. (2012) Computing with words—principal concepts and ideas,
Studies in Fuzziness and Soft Computing, 277, (Springer, Berlin Heidelberg).
173. Zadeh, L. A. (2012) Outline of a restriction-centered theory of reasoning and
computation in an environment of uncertainty and imprecision.
http://trivent.hu/2012/ieeesofa2012/documents/presentation_zadeh.pdf.
174. Zadeh, L. A. (2012). Methods and systems for applications with Z-numbers,
United States Patent, Patent No.: US 8,311,973 B1, Date of Patent: Nov. 13.
175. Zadeh, L. A. (2013). A restriction-centered theory of reasoning and
computation, Int. Conf.on Soft Computing and Software Engineering,
(PowerPoint presentation).
176. Zadeh, L. A. (2013). Z-numbers—a new direction in the analysis of uncertain
and complex systems. 7th IEEE Int.Conf.on Digital Ecosystems and
Technologies, IEEE-DEST. http://dest2013.digital-ecology.org/
177. Zadeh, L. A. (1981). Possibility theory, soft data analysis, eds. In: Cobb L. and
Thrall R.M. “Mathematical Frontiers of the Social and Policy
Sciences,”(Westview Press, Boulder, CO), pp. 69–129.
178. Zeleny, M. (1974) Linear MultiObjective Programming, (Springer-Verlag,
Berlin, Heidelberg).
179. Zeleny, M. (1982) Multiple Criteria Decision Making. (McGraw-Hill, New
York).
180. Zhang, D. (2005). Triangular norms on partially ordered sets, Fuzzy Set. Syst.,
153, pp. 195-209.
181. Zimmermann, H. J. (1978). Fuzzy programming and linear programming with
several objective functions, Fuzzy Set. Syst.,1, pp. 45-55.
9575-The Arithmetic of Z-numbers
298
Index
Index 299
Index 301