Fuzzy Sets and Fuzzy InformationGranulation Theory Key selected papers by Lotfi A. Zadeh
Edited by Da Ruan Chongfu Huang
Beijing Normal University Press
Beijing
FfTB~$H** CIP R @ % ? < 2 0 0 0 ) % 02100 $-
~JL%$~$xJ%%~'F@.$;M%!Z$~T 01-2000-0187
The International Committee of the Series Etienne E. Kerre (Belgium)
Da Ruan (Belgium) Madan M . Gup ta ( Canada)
Liu Yingming (China) Wang Peizhuang (China) Huang Chongfu (China) Didier Dubois ( France) Hans J . Zimmermann (German y ) Yee Leung (HK, China) Hiroshi Inoue (Japan) Masahara Mizumoto (Japan) Zeungnam Bien ( Korea) A . J . van der Wal ( Netherlands) Janusz Kacprzyk ( Poland) Bart Kosko (USA) George Klir ( USA )
Paul P. Wang (USA) (Note: the order is according to the countries' names)
Preface
Advances in Fuzzy Mathematics and Engineering is a new
international series dedicated to the support and development of the theory of fuzzy mathematics and related areas and their industrial applications in general and in engineering in particular.
The series i s supported and published by Beijing Normal University Press, Beijing ,China.
This book
.
Fuzzy
Sets and Fuzzy In fr3rmation-€~runtc~utr'~m
Theory, is the third volume of Collected Papers by Lotfi A.
Zadeh. The first volume, entitled Fuzzy Sets and Applications, was published in 1987 by John Wiley. I t s editors, Ronald R. Yager, Sergei Ovchinnikav, Richard M. Tong, and Hung T. Ngugen undertook the project on the occasion of the 20th anniversary of t h e publication of the f i r s t paper on fuzzy set by Lotfi A + Zadeh. The second volume , entitled Fuzzy Sets, Fuzzy L o g i c , and Fuzzy Systems + was published in 1996 by World Scientific, Its editors, George J. Klir and h Yuan selected, from among all papers b y Lotfi Zadeh not included in the first volume. those papers on fuzzy sets,fuzzy logic,and fuzzy systems whose easy accessibility would likely be of benefit to those working in these areas. The previous two volumes in English have proved t o be great utility to anyone interested in fuzzy set theory and its applications*
Considering the largest number of the readers related to
Fuzzy Mathematics and Engineering in China, we felt that
a
Chinese version of the key selected papers by Lotfi Zadeh Fuzzy Sets and Fuzzy I I t J i ~ r n l u t i c ~ ~ ~ - U r u ? r r r l rTheory t t i ~ ~ ~ r would fit well
Fuzzy Mathematics and Engineering by Beijing Normal University Press. The book collects Zadeh's original perception which may be viewed as an evolution of ideas rooted in his 1965 paper on fuzzy sets; 1971 into the book series on Advances in
paper on fuzzy
systems;
1973
- 1976
z ~ u r i c r h € ~fs ,LmzY i j - t h ~r ~t ~k and /Lery
rvts
gerteru€ized
U
N
~i?lfLrt?1~tiu?t
r.{mstruirz.~;
The
ftlzz_),grdphs r
purpose of this
book
is
1979 paper on
gril~t~kurity;1986
1 9 96 pa per on
1997 papers on thuory r,J' fuzzy
papers on dirtgcristir paper
on
c . , ~ ~ ? ~ b r r a i rw~r'rA r# u w ~ d su rrd
irrfirmmutir~n gruwalutii~r.
twofold. Firstly-it is intended as
a quick reference for those working in F a z q M u r h ~ ~ ~ u run~- rsd Esginwring
in China
as
well a?; in
the w{,rld.
Secondly + it
is
expected to play a major role in-Research and Development of F u z z y M~rcthrmotks a~rd Engi~wuring,a s n useful source of supplementary readings in this new book series. volume
will benefit many readers arr~undt h e world.
n a Ruan ,Chongfu Huang
Editors
We
hope t h i s
Note to the Reader
?'his book is the third volume of collected papers by 1,otfi
A. Zadeh, The first volume ,entitled Ftr:ry Sets srnd i 4 ~ p l i c . ~ t i r n ~ s was published in 1987 by John W iley (Editors :Ronald R,Yslger , Sergei Ovchinnikov, Richard M , Tong, and Hung T, Ngugen 1. The second volume ,entitled Fuzzy Sets. Fuzzy 1,ogi~.,u?td FWZZY Sysrsnts, was published in 1996 by World Scientific ( Editors : George J. Klir and &, Yuan>, +
The current edited-book is a set of key selected papers by I-otfi Zadeh. Both English and Chinese versions of these papers are available,
Acknowledgements
This book consists of the following reprinted (both retyped and translated ) papers. The relevant copyright owners whose permissions to reproduce the papers in this book are gratefully acknowledged. A c d t u ? c P-:
L.A. Zadeh.HFuazy
sets. "It2fomatim and Corojrd .8f
3) ,pp+ 338- 353 t
1965.
L,A+Zadeh ,"A fumy -algorithmic a pprmch to the definition of complex or imprecise concepts + "Internat. J . Man-Machine Stud. 8 t pp. 24 9 -- 291 +
1976+
Ektrkr Seitlwt r
L.A* Zedeh +"Theconcept of
a
linguistic variable and its application to
approximate reasoning. l , I I , 111, w 3 d ~ a ~ t ' Scimc~s, oa 8 (3
t
pp. 199 -- 25 1 +
(4)301--35719,pp, 43-80,1975. L, A. Zadeh, *Fuzzy sets and intormation granularity, ')In r Gupta M.
M. ,R. K*Ragadc *and R. R. Yager *eds. + Advahc~.ci n
Fuzzy S P ~ Theory and
Applicatians. Nort h-Hr>llsd New York *pp. 3% 89 1979.
L, A. 2adeh "Toward a theory of fuzzy information granulation and i t s centrality in human reasoning and fuzzy logic*w Fuzzy SPJ.Tand Sy.~t~rns 90 I23,pp. 111-127m1997* Itrditute a€ EIectrZTaI and Eltdmnics Emginten:
L, A * Zadeh,"Outline of
a new approach to the analysis of complex
5
system ilnd decision
processes. " l E E E Y'rans. On Sysrpmr. Mlm. und
t,y?wrn~cfics.1 ( 1 1 ,yp. 28- - 46.1973.
I,, A . Zadth, "Fuzzy logic =computing
.
with
words. "IELE 'I'rdn.~.[In
F'uzzy .7-y.~~~rns 4 ,pp. 103- 11 1 1 996.
Oxford University P m s Inc.
:
I,. A . Zadeh ,*'Towardsa t henry of fuzzy systems. "1n:Kalmn ,R.E+and
N. ~)ecl&ri?;+cds. *A,~prcls of , V u i w r k s utrd
Systr,~r.+ Theory.
Hoit ,Rinehart 8.
Winston.New pp. 469- 490,1971. Springer Vorlag : I,. A+ Zadeh, "Outline of a computational approach t o meaning and
k n o w l c d ~ rrepresentation based on the concept oi a generalized assignment statement. "In : T h o m a ,
. .
M. .4nd W + Wyner
eds.
Prr~.+ Of t k ~I n t ~ r n ~ t i o n u l
Scmt'nar on A I and Mun-Mdchin~Sysma~,Springer-Verlag, Heidelberg, y y .
198-211 *1986.
Lotf i A. Zadeh's biography
A. Zadth joined the Department r>f Elecrrirai Enginerring a t the University of California + f i r k e l e y,in 1959 ,and served as its chairman (rum I,trtf~
1963 to 1968. Earlier, he was a member of the clertricnl rngineering faculty at
Columbia University. In 1956.he
was a visiting
member of the
for Advanced Study in Princeton, New Jersey. In nddltton ,lie held o l other
visit in^
appointments. among them a
Electrical Engineering ar MI']; in 1962 and
.
visit in^ 196Rr
;I
Institute ii
number
professorship in visiting s r w n t i s t
appointment at IBM Research 1,a boratory %in Jose +CA, in 1968 * 1 973 ,;rnd
1977 rand visiting scholar appointments at the A1 Center .SRI International. in 1981, and at the Center for the Study of 1,anguage and Inf{rrm~ltion+ Stanford University, in 1987 Graduate
School .and
1988. Currently he is a Professt>r in the
i s serving as
the CJirectur of Bl%:(hrkelcy ln~tiativr.in
Soft Computing). Until 1965 ,Dr. Zndth's work had been centered o n system theory rind
decision analysis. Since thcn,his research interests have shifted oI
to the thrrjry
Iuzzy sets and i t s apylicarinns to artificial intelligencc, iinguistics+ltrgii..
decision analysis* control theory, expert systems and neural nerwr,rks+
Currently. his research is focused on fuzzy l(.,Ric. s o f t computing and computing with words.
An alumnus of the University of 'Teheran. MI'T. and Columbin
7
Universit y . D r . Zadeh is
R
fellbw OI the
TEEE,AAAS,ACM and AAAI+arrd a
member of thc Maticma! Academy of Engineering. H e was the recipient of the
IEEE Education Mcdal in 19'73 and a in 1984. In 1989. Dr. Zadeh was
IEEE Centennial Medal awarded the Honda Prize by the Hrmda recipient of the
Foundation, amd in 1991 received the Berkeley Citation, University of
Ca l i f o r n i ~ ~ . In 1992. u
Dr. Zadeh was uwarded t h e ]EKE Richard W.Hamming Mcbal
For seminal contributions to information science and systems.including the
conceptuaLization of fuzzy sets. Russian Academy
"
Ht became a Foreign Member of the
of Natural Sciences (Computer Sciences and Cybernetics
Section )in 1992 and received the Certificate of Commendation for A1 Special Contributions Award from the International Foundation for Artificial Intelligence+Also in 1992,he was awarded the Karnye de Ferict Medal and
became an Honorary Member of the Austrian S c i e t y of Cybernetic Studies, In 1993, Dr. Zadeh received the Rufus Oldenburger Mcdal from the American Society of Mechanical Engineers "For seminal contributiuns in
system theory ,decision ana!ysis,and theory of fuzzy sets and its lipplications to
Al , linguistics, logic +expert systems and neural networks. He was also H
awarded the Crigore Moisil Prize for Fundamental Researches. and the
Premier B e s t Paper Award by the Second International Conference on Fuzzy
and Technology. In 1995 ,Dr. Zadth was awarded the IEEE Medal of Honor "For pioneering development of fuzzy logic and its many diverse applications, ln 1996, Dr. Zadeh was awarded the Okawa Prize "For Outstanding contribution to informtion science through the development of fuzzy logic and its applications. v* Theory
*)
In 1997, Dr* Zadeh was awarded the B. b l z a n o Medal by the Academy of Sciences of the Czech Repub1ic"For outstanding achievements in fuzzy
mathematics. * H e also received the J, P. Wohl Outstanding Career
8
Achievpment Award
oi the IEEE
Systems. Man and I'ybernt?tics Snuiet y. Ide
served fis a I,ec Kuan Yew Distinguisl~edVisitor, l ~ r l u r i ~ar~ gthe Naticmal U n i v e r s ~ t of ~
Singapore and the Nanyang Technr,lr~gical Univrrsity in
Singapurc ,and as the Gulben kian Foundatinn Visiting Professor at the New
Univers,ty of Lisbon in
Portugal.
Dr. Zadeh holds honorary doctotatcs from Paul-Sabatier University. Toulouse, France; State University of New York, Uinghamton, NY
;
University of h r t m u n d ,r)ortmund.Cernlany; University af Oviedn + O v i e d u . Spain; University of G r ~ n a d a+Granada+Spainr Lakehead University ,Canada
;
University oi I~ouisville, K Y r. Baku State University. Azerbaijan ; and the
Silersian Technical University .Gliwice, Poland. Dr. Zadth has authored close to t w o hundred papers and serves on the
editorial boards of over f i i l y journals. He is a member of the Technology Advisory b a r d , U. S. Postal Service; Advisory Committee, Ikpartmcm
nf
Electrical and Computer Engineering * UC Santa b r b a r a r Advisory h a r d ,
FUZZYInitiative, North Rhine-Westialia , Germany r Fuzzy L,ogic Research Center, T e x a s A 8.. M University. College Station, Texas; +4dviscrry Committee + Center for Education and Research in Fuzzy Systems and
Artificial Intelligenr.r. Iavi , Romania r Senior hdvisr>ry b a r d , International Institute for
General Systems Studies; the b a r d of Governors + Interna tional
Neural Networks Society.
Contents
P a r t I :Fuzzy Sets Fuzzy
sets
3
Part 2 :Fuzzy Systems Towards a theory of fuzzy systems
29
Outline of a new approach to the analysis of complex systems and decision processes 62 Part 3 :Linguistic variable and approximate reasoning
The concept of a linguistic variable and its application approximate reasoning. I
.
1+ 1
to
121
Part 4 ; Fuzzy-algorithmic approach and information granularity
A fuzzy-algorit hmic approach
to
the definition of
complex or imprecise concepts 307 Fuzzy sets and information granularity 384 Outline of a computational approach to meaning and
knowled g e representation based on the concept of assignment statement
41 2
a
Part 5 :Soft computing with words Fuzzy logic=Computing with words
435
Toward a theory of fuzzy information granulation and its
centrality in human reasoning and fuzzy logic What is soft computing? 504
461
Part 1 :Fuzzy Sets
Fuzzy Sets
A fuzzy
set i s a class
of objects with
a cunrinuum ui grade!:
of membership, Such a set is charac~erized by a membership
Icharacteristic)functton which assigns to each object
a gade
OI
membership ranging between zero and one. T h e nutions r ~ f inclusion * union, intersectiun,
complement, relation. convexity,
etcr,. are extended to such sets+ and various properties of
these
notions in the context of fuzzy sets are established, In particuinr ,
tor convex fuzzy sets is proved without requiring that the fuzzy sets be disjoint.
a separation theurem
l*Introduction More often than not + the classes o f objects encountered in
the real physical world do not have precisely defined criteria of
membership. For example. the class of animals clearly incl udes dogs, horses, birds,etc. as its members, a n d clearly excludes
such objects as rocks, fluids ,plants. etc. However, such objects as starfish, bacteria, etc. have an ambiguous status with respect
to the class of animals. The same kind of ambiguity arises in the case of a number such as 10 in relation to the "class" of all real
numbers which are much greater than 1. Clearly, the
d
class of all real numbers
which are much
greater than I + " or "the class of beautiful women, 7 t or "the class of tall men, -9 do not constitute classes or sets in the usual
mathematical sense uf these terms.
such imprecisely defined
u
Yet, the fact remains that
classes" play an
important role in
in the domains of pattern recognition, communication of information and abstraction. The purpose of this note is explore in a preliminary way some of the basic properties and implications of a concept which may be of use in dealing with "classes " of the type cited above. The concept in question is that of a h z z y set ,@ that is, a uclass" with a continuum of grades of membership. As will be seen in the sequel, the notion of a fuzzy set provides a convenient point of departure for the construction of a conceptual framework which paralIels in m a n y respects the framework used in t h e case of ordinary sets, but is more general than the latter and, potentially, may prove to have a much wider scope of applicability, particularly in the fields of pattern classification and information processing. Essentially, such a framework provides a natural way of dealing with problems in which the source of imprecision is the absence of sharply defined criteria of class membership rather than the presence of random variables. W e begin the discussion of fuzzy sets with several basic definitions. human thinking,
particularly
I
Let X be a space of points (objects ),with
a generic element
An application of this conceptto the formulation of B class ofproblems in pattern classification is described in RAND Memorandum RM-4307-PR , "Abstrac tion and PatternClassification+ "by R. kliman IR. Kalaba and L. A. Zadeh, Oerolxr. 1964.
of X denoted by
Thus,X=(xE, A fuzzy set (t(eiass) A in X is characterized by a mernbrship ( X 1 whit h a s s ~ ia c tes with each poi nr '!? ( CAamc~~risti6 )function 3,
-'\
in X a
real number in the interval [0,1]&.
(r ) a t x representing
with the value of f,,
the "grade ot membership" of x in A.
Thus, the nearer the value of S, ( a >to unity, the higher
the
grade of membership of x in A. When A is a set in the ordinary sense
of the term, i t s membership function can take on only t w o
values O and
I , with
fA ( x )= 1 or
not bebrig to A. Thus, in this case
0 according as x does or does
f i( 2 )reduces to the familiar
characteristic function of a set A. I When there is a need to
differentiate between such sets and fuzzy
sets, the sets
with two-
valued characteristic functions will be referred to as nrdinary sets
o r simply sets, )
Examp&e,Let X be the real line R' and let A be a fuzzy set of numbers which are much greater than 1. Then, one can give a
precise, a l beit subjective, characterization of A by specifying J I
(xt-) as a function on R 1 . Representative values of such a function might b t : h I O ) = & $ A r l ) = O i S p ( ( W = ~ * O 1 ; f A ( l O ) = O .
2rj-,4
(100)=0* 95;fA(500)=1.
It should be noted that, although the membership function of a ~ U W Yset has some resemblance t o a probability function More
the domain of definition of
f.4 (1) may
be restricted
10 a
s u k t of X. @ I n a more general setting, the range of the membership function can be taken to be a suitable partially ordered set P. For out purwses, it i s convenient and sufficitnt to restrict the m r w of / to the unit interval. tf the values of fA [ I ) a r t interpreted as tmth values, the latter rase corresponds to a tnultivnlued Logic with a con~inuumd truth values in tht interval 10-I].
when X is a countable set (or a probability density function when
X i s a continuum 1, there are essential differences between these concepts which will become clearer in the sequel once the rules of combination of membership functions and their basic properties have been established, In fact, the notion of a fuzzy set i s completely nonstatistical in nature, W e begin with several definitions involving f u u y sets which are obvious extensions of the corresponding definitions for ordinary sets,
A fuzzy set is m+ty if and only if i t s membership function is identically zero on X. T w o fuzzy sets A and B are equal, written as A = & i f and only if f A (x)= E n ( x ) for all x iri X, (ln the sequel ,instead of writing f A ( x ) = f s ( . x )for all x in X , we shall write more simply
f~'f&+ The complement of
a fuzzy set A is
denoted by A' and is
defined by fA,=lfA*
(1)
As in the case of ordinary sets, the notion of containment
plays a central role in the case of fuzzy sets. This notion and the
related notions of union and intersection are defined as follows. Containment, A is contained in B ( o r , equivalently, A is a
subset of
Bt or
A is smaller thun w e q w l to B)if and only if
fm45
In symbols
fD.
ACBW-ASfBh
(2)
Unicm. The union of two fuzzy sets A and B with respective
membership functions f,(x) and fB<x) is a fuuy set C , written a s C=A
6
UB .whose membership function i s related to those of A
and
B by fc.(s) =Max[.f,.,(s) , f n T x > ]
XEX
(3)
o r , in abbreviated form
(4) j;.= f ,v fl, Note that (J has the associative property. that is. A U (But.-)=
( A U U ) UCI Uf~ntnrent. A more intuitively appealing way of defining the
mion is the fol10wing:The union af A and Bis the smallest fuzzy
A and U,Mare precisely, if D is any fuzzy set which contains both A and S , then i t aisu contains the union of
set cantaining both
A and B,
T o show that this definition is equivalent to 3 > ,we
note.
f i r s t , that C as defined by I 3 I contains both A and U . sinre
M a x C J i +fE112J,
and Max[f:+ tf;iIZfr; Furthermore, if D is any fuzzy set containing both A and U. then . f f J > f .-l
fnZf ,l and
hence fnZMaxCf,4,f
ill
=f(.
which implies that CCD. Q. E. D,
The notion of an intersection o f fuzzy
sets can
be defined in
a n analogous manner. Specifically:
Inter.~rc&ion. The intcr,wctir,r~o l two iuzzy sets A and l$ with
respective membership functions f , . , ( x )and f r ; ( ~ ? is fuzzy written as C = A
set (',
n B, whose membership function is related 7
lu
those of A and B by
(51
f c ( x ) = ~ i n [ f ~ ( x ) r f ~ ( x ) ] tx E X I
or, in abbreviated form h = f A
Af ~ -
(6)
As in the case of the union* it is casy to show that the intersection of A and 3 is the largest fuzzy set which is contained in b t h e A and 3. As in the case of ordinary sets, A and 3 are dispint if A B is empty. Note that like U, has the asatxiat ive property, The intersection and union of two fuzzy sets in R' are illustrated in Fig. 1. The membership function of the union is comprised of curve segments 1 m d 2 t that of the intersection is mmprised of segments 3 and 4 (heavy lines).
n
n,
u Fig. I. fllustration of the union and intersection of fumy sets in
Cmmorc. Notc that the notion of 'belonging
RL
," which
plays
fundamental role in the case of ordinary sets, does not have the same role in the case of fuzzy sets. Thus, it is not memingful to
A except in the trivial sense of fa ( x 1 being positive. Less trivially, one can introduce two icvels a and /?(O
nP
can define a number of other ways of forming combinations of
fuzzy
sets and relaring them to one another.
Among the more
important o i these arc the following.
Algehrak prducr. The u I ~ P O ~ U ~ Cprrdltci . of A and 1j is
denoted by AB and i s defined in terms of the membership functir~nsof A and B by the relation =J.4.f-1i
(14)
nB.
(15)
Clearly, ABCA
Adgehaie sum. @The a l g c h i c sun, of A and B is denoted by
A - t B and is defined by
, (16)
~ A + B = ~ A + ~ B
provided the sum f A
+$B is less than ox equal to unity. Thus
9
unlike the algebraic prduct ,the algebraic sum is meaningful only when the condition fA Ix)+fs(x) M i n [ f A ( x , ) , f A ( r , ) ] .
Note that strong convexity does not imply strict convexity or vice -versa. Note also that if A and B are bounded, so is their union
and intersection. Similarly, if A and B are strictly (strongly) convex, their intersection is strictly(strongly)convex. Let A be a convex fuzzy set and let M = Sup, fA (x). If A i s bounded ,then ,as shown above ,either M is attained for some X , say x,,or there i s at least one point x, at which M is essentially attained in the sense that t for each E > 0, every spherical neighborhood of isonrains points in the s e t Q(E) = { x I M-fA 18
(r)st). In particular . i f
A
is
strongly convex and x,, is attained,
then .x0is unique. For.if M = f A ( . ~ O ) a nM d= then
fA
Max,,f,
f A ( ~ - , )
,with x , f s,,,
1M ior r -- 0.5 x o $- O. Ssl,which contradicts M
(1:)
=
(x),
More generally, let C ( A ) be the set of all points in X at which M is essentially attained. T h i s set will be referred to as t h e core of A . In the case of convex fuzzy sets. w e can assert the fo120wing property of C(.4 ), Theorem. lf -4 i s a
fuzzy set, then i t s cur-6 i s o
ct>?rvPs
Sel*
Prwf ;It will suffice
to show that
ii M is essentially attained
at x , and x,,lrl+x, ,then i t is also essentially attained at all n- nf the form r - - A x , + ( l - A ) x , , O ~ A ~ l .
To
the end, let p be a cylinder of r a d i u ~E with the line
passing through x, and x , as its axis. Ider x,,' be a point in
sphere of radius
E
:I
centering on x,, and a l f bc a point in a sphere of
radius E centering on x,such [hat f A 4 ( x , , ' l Z M -and ~ ~ A I x , ~ ) ~ M - s. Then, by the convexity of A t for a n y point tr on the segment x, r x, I , we have f A 4 ( rl j 2 M - E. Furt her-more by the convexity of P.all points a n x,,'xlr will lie i n P,
Now let x be any point in the segment
fn . X I + The
distance of
this point from the segment r , , ' x I ' must be less than or equal to 6,since sl;r,' must be less than or equal to &,sincexfi> X I ? lies in
P.Consequently,a sphere of radius E centering on x at [cast one point of the
segment
least one point ,say w , a t which that
M is essentially
J:~'X~ and ' fA
will contain
hence will contain at
(-ru)ZM--e.This establishes
attained at x and thus proves [he theorem.
Corollary. If X =E L ~ l A~ f d . strongly ~ c o * l v r r +thcln ikp
/wr'~zi
19
ur wlltich
M
is essenizrllly aituined i s urtzqw.
S k u d m of a furzy membership function f
5et. L e t
,. ( x 1 -
fA
A be a fuzzy set in E" with
I XI,
**-
, x, 1, For
simplicity, the notion of the shadow ( projection
notational
> of
A on a
hyperplane H will be defined below for the special case where H is a coordinate hyptrplane,e. g . , H = {x(K,-0 j .
SpecificalJy,the ~ A U ~ I Y L Uof A on H = { x l x l = O } i s defined to
be
a fuzzy set SFr(A)in En-'with fsH(A,(x)givenby
fs,(~~(x)=~
S , ~ ~ ~ ~ ( X ~ , * * * * X ~ ) = J U P* ~* -~ * ~r ~~ l () (. X ~
Note that this definition is consistent with ( 2 3 ).
When A is a convex fuzzy set, the fullowing property of SH (A)is a n immediate consequence of the above d e f i n i t i ~ n ~ lAf is a convex fuzzy set, then its shadow on any hyperplane is alsu a
convex fuzzy set . An interesting property of the shadows of two convex fuzzy sets
is expressed by the fr>llowi.ng implicarian
S H ( A ) = S H ( B ) + f o r all H * A = B . ,'7. To prove this assertion ,!%t is sufficient to show that if there exists a point ,say xo,such that f A I x ~ ) # ~ B ( x ~ ,then ) their exists a hyperplane
f-l such that
f3,(A,
x,, " IfJsf,(o, (xo'
.where I,
1
'
1s
H. Suppose that f d x , ) =i-.r>f,(x,) =jX Since B is a convex fuzzy set * the set & = 1 fB(x)>/3}is convex, end hence there exists a hyper-plane F supporting Fpand passing through xz. 1,et H be a hyperplane orthogonal to F ,and let r, be the projection the projection of xa on
{J+
Q This proof is ksed on an idea suggested by G. h n t z i g for the and B are ordinary tonvex sets.
20
c a w where A
of r, on H. Then .since f n ( r1 ) 3 for all r on ( xr * )
5 /3.
On the orher hand.
I+ f
/z,,,r<j(~fi'
;,,f.r,
F .we have
(:rod) >a. Consequently,
f:q,,,Al
(.rb' ) ,and similarly for the case where a>1) (that
is, A is the fuzzy set of real numbers
that are much larger than 1 ). Such a set may be defined subjectively by a
membership function such as ;
pA(x)~0
f
S< 1
=[1+(1-1)-~]-~ for x > l (2) It is important t o note that in the case of a fuzzy set it is not meaningful to speak of an object as belonging or not belonging ro
that
whose grade of membership in the set i s unity or zero. Thus , i f A is the fuzzy set of tall men +then the
.
set ,except for objects
sratementUJohni s tal1"should not be interpreted
as meanin g
that
A. Rather, such a statement should be interpreted as an association of John with the fuzzy set A- -an association which will be denoted b y John E A to distinguish i t from an assertion of belonging in the usual nonfuzzy sense- that
John belongs to
-
is .John
E A ,which is meaningful only
when
A is nonfuzzy.
@
Cmiainmrnt
Let A and B be fuezy sets in X. Then A is contut'ned in BIor A i s a subset of 3)written as A c B , i f and only if pAIx)5&B(x)
for all x in X* {In the sequel, to simplify the notation we shall omit x when an equality or inequality holds for all values of x in
x*1 Equality 2
T w o fuzzy s e t s are
equal, written as
A =B,if and only if
A fuzzy set A' is the co~nplernentOI a fuzzy set A if and only
if px= 1 --FA, Example
The fuzzy sets A = { xIx>>l) and A'
-
(aIs not>>l 'l are
complements of one another.
Unim
The unim of A and 3 is denoted by A l.J Band is defined as the smallest fuzzy set containing both 4 and 3. The membership function of A U B is given by p ~ ~ f i = M & ~ [ T~ h~u ,s i~f ~at ] a. point x ~ p ~ ( x ) - 0 ~ 9 , s a y , a n d p,(z;r)==O.4,then at that point p A U ~ ( x ) 9. @ Here and elsewhere in this chapter we shall employ the convention of underscoring a symbol with a wavy bar to represent a fuzzified version of
the meaning
of that symbol. For examplt.xy y will denote a fuzzy equality of x? y will denote Zuzzy implication ,etc.
34
A s in the case of nonfuzzy
of the union is * closely related to that of the connective or . Thus , i f A is n class af tall m e n , Z3 is a class oi fat men and " John is tall "or"John is sets, the notion ?I
t*
f a t , then John is associated with the union of A and B+ More
generally ,expressed in symbols we have
The intersection of A and B is denoted by A
n B and
is
defined as the largest fuzzy ser contained in both A and B. The
nLI is given by MinEpl, pl,J. It is easy to verify that A n Er = ( A f U L3' 1'. The relation between the connective"and"and nis expressed by
members hip function of A
xG -A
and
Algdn-uic P ~ I Y C L
The
/.tA4rfi=
-
A-€B*J€A~B n
A and B is denoted by A B and is defined by p ~ n = p - ~ pNote l ~ +that the product distributes over the union but nor vice-versa. algehruic p r d u c t of
Algehruii.- Stmi
The algebraic sum of A and B is denoted by A @ B and is defined by p A ~ l l =+pitp~ p I S . It is trivial to verify rhat A @ U = IAW 11. Redut im
A fuzzy r ~ l a l i o n,R .in the product spare X X Y = I ( ~ . . y )), x f X , y E Y ,is a fuzzy set in X X Y characterized b y a membership function p~ that associates with each ordered pair (r,y )a grade of membership p,((x,y)in R. More generally.an n-ary fuzzy relation in a product space X = X' x XZx * * * x Xu is a fuzzy set in X characterized by an n-variatc membership function p~{ r,, * - -
.
