Professional Documents
Culture Documents
n 0
Lomputing
;r’ 1
and Fuzzy
Logic
LOTFIA. ZADEH,University of California at Berkeley
does it stand today and where is it gramming, fault diagnosis, and net-
~
Soztrce h$u. I‘07l Ti?iiu\ \1/19ib 12, 1991
headed? And what is the role of fuzzy working.
logic in soft computing? In this article, I will focus on some
i of the basic ideas that underlie soft In this article, I focus on fuzzy
Sample application. Some of the most 1 computing and relate them to its guid- logic.
striking examples of the application of ing principle.
~
IEEE SOFTWARE 49
from the knowledge of the member-
ship functions of the so-called przmary
terms -young and old, for example. A
primary term plays the role of a gener-
ator whose meaning (its membership
function) must be calibrated in context.
For example, the meaning of not very
young might be computed as
knot i.m"OUnE (4 = 1 - (Jlyoung(4)2
where very plays the role of an intensi-
fier and young is a primary term whose
membership function is specified in
context.
Most current applications of fuzzy
logic employ a simpler framework,
Figure 1. Interpretation of' middle-aged as a linguistic value. illustrated in Figure 2 . Specifically, the
membership functions are assumed to
be triangular or trapezoidal, and the
number of linguistic values is usually in
logic (FLm)is more o r less synony- robustness. and low solution cost. the range of three to seven.
mous with fuzzy set theory; that is, the The concept of a linguistic variable
theory of classes with unsharp bound- linguistic variables. A concept in fuzzy plays a central role in the applications
aries. In this perspective, FL = FLU, logic that plays a key role in exploiting of fuzzy logic because it goes to the
and FLn is merely a branch of FL. the tolerance for imprecision is the heart of the way in which humans per-
\%%at is important to recognize is that linguistic variable. A linguistic vari- ceive, reason, and communicate.
today the term fuzzy logic is used pre- able, as its name suggests, is a variable Quintessentially, the use of words
dominantly in its wider sense. It is in whose values are words or sentences in may be viewed as a form of data com-
this sense that any field X can be a natural or synthetic language. For pression that exploits the tolerance
"fuzzified" - and hence generalized example, age is a linguistic variable if for imprecision to achieve tractabili-
- by replacing the concept of a crisp its linguistic values are young, old, mid- ty, robustness, and economy of com-
set in X by a fuzzy set. In application to dle-aged, very old, not very young, and so munication. This fits almost precisely
basic fields such as set theory, arith- on. A linguistic variable is interpreted the guiding principle of soft comput-
metic, topology, graph theory, proba- as a label of a fuzzy set that is charac- ing.
bility theory, and logic, fuzzification terized by a membership function, as
leads to fuzzy set theory, fuzzy arith- illustrated in Figure 1. Thus, if u is a Granulation. In a related sense, the
metic, fuzzy topology, fuzzy graph the- numerical age, say 53, then F , ~ use~ of ~ words~ may
~ be viewed as a form
ory, and fuzzy logic in its narrow sense. ,A53) is the grade of membership of 53 of fuzzy quantization or more general-
Similarly, in application to applied in middle-aged. Subjectively, you ma) ly as granulation, as Figure 3 shows.
fields like neurocomputing, stability interpret F ~ ~ ~ ~as ~the~ degree . ~ ~ tc~ ~ ( Basically,
u ) granulation involves a
theory, pattern recognition and mathe- which u fits your perception of mid- replacement of a constraint of the form
matical programming, fuzzification dle-aged in a specified context. X=a
leads to fuzzy neurocomputing, fuzzy In a general setting, a linguistic
stability theory, fuzzy pattern recogni- variable, V , can be viewed as 2 with a constraint of the form
tion, and fuzzy mathematical program- microlanguage with context-free gram- Xis A
ming. What is gained through fuzzifi- mar and attributed-grammar seman-
cation is greater generality, higher tics. The context-free grammar define: where A is a fuzzy subset of U, the uni-
expressive power, an enhanced ability the legal values of V. For example, ir verse of X.For example,
to model real-world problems, and - the case of age, the legal values arc x=2
most important - a methodology for young, not young, not very young, quit(
exploiting the tolerance for impreci- old, middle-aged, and so on. The attrib. might be replaced with
sion, a methodology that fits the guid- uted-grammar semantics provides ; X is small
ing principle of soft computing and mechanism for computing the mem
thus serves to achieve tractability, bership function of any value of L In fuzzy logic, X is a is interpreted as a
50 N O V E M B E R 1994
characterization of the possible values
of X , with A representing a possibility
X 0
distribution. Thus, the possibility that X
X can take a value U is given by __ __-
Pon{X = U ] = M(U)
1 .o
0
lSJ
0
3oc\.
Figure 3. (A) Quantization versus (B) granulation @zzy quantization).
Low High
W
n
P
s
’ 30
Speed
130 180
[A)
i-
- -
Control rules
1. If (speed 1s low) ond (shift IS high) lhen (-3) 3 If (throt IS low) and (speed is high) then (t3) 5 If (throt is high) ond (speed is high) then (-1)
14 2 ll (speed 15 high) and (shift is low) then (4)4 If (throt IS low) and (speed is low) then (tl) 6 If (throt is high) and (speed IS low) then (-3)
- - ._~__ - ._ - - - __ ._ -- _____- -- - - _.
Figure 4. Fuzzy rules used in Honda ifizzy-logic transmission. Here, the meaning of the numeric values associated with the
d e s is not important; they only illustrate how d e s are calibrated
Figure 4 shows an example of the cali- ’ later, one of the central problems in the proposition ;l/lary is young might be
brated fuzzy rules used in Honda’s
fiiz7y-logic transmission. .As I explain
~
1
the applications of fuzzy logic is that of
deriving the deep structure of a set of 1 expressed as
,wdF3,isvozrng--$ is young
.______
-
71
fuzzy rules from U 0 data.
I where Age(Mary) is the focal variable
and young is a fuzzy constraint on
, DERIVING RULES AND GRAPHS Age(lMd?y).
’i
Applying this concept of meaning
...................
In the semantics of FDCL, the representation to the fuzzy rule
1
~
’
U
i f X i s A then I’is B + (X,qis A x B ,
1,
A
n
I if X is A then Y is B I
where A x B is the Cartesian product
Fig41-e 5. .I x E ~ n t c i p ctrd
r 1ir n f i i z : ) where A and B are linguistlc values of of A and B The membership function
X and Y, respectlvely. The questlon is, of A x B is given by
what 1s the meaning of this rule P e n
the membership functlons of A and B? 1
p , x R (.,i) = p I (U) r\ p&)
’ film
p+Z1sC
1
propositlon p is expressed as a ranonzcal usually defined as min. A x B may be
interpreted as afizzy point or a grunule,
as shown in Figure 5 .
I
I
I where + means “translates into,” Z is Deriving graphs. In the case of a col-
1
the constrained variable, and C is an lection of rules expressed as
fuzzy relation that plays the role of a i f X i s , 4 , t h e n I ’ i s B , , t = l , ...,n
fuzzy constraint on 2.W h a t this
implies is that the meaning of p is and the meaning of the collection is
expressed as a fuzzy - or, equivalent- defined as
Figzlre 6. InteVretation of a colkction ly, elastic - constraint on a designated IfXisA, then 1-1sB,,
of&zzy rules as a@zzy graph. variable. T o illustrate, the meaning of (2 = 1, ...,n) + (XY)1s
-
52 NOVEMBER 1994
(A,x B , + ... +A,>xBJ
where + is used in place of v to denote
the disjunction operator, which is usu-
ally defined as max. For simplicity, the
right-hand member of the collection 1 ~
may be written as
(X,I.? is (E, 4 x BJ
T h e expression 1,A, x B, may be Figure 7. Rcpm~titingn collection of fiizzy rr1le.r ns n fiizzy gmph, f: which
viewed as a superposition of fuzzy nppl~orlltI"rer to f.
points o r granules, as illustrated in
Figure 7 . In effect, it represents a
coarse - or, equivalently, compressed
- characterization of the dependency
and for this reason it is called a&zzy
graph.5 Thus, a collection of fuzzy
rules is represented as a fuzzy graph.
For example:
if X is small then Y is small
if X is medium then Y is large I
INTERPOLATION
If we interpret a collection of rules Figure 8. Interpolation of a@zzy gvaph. The value of Y may be interpreted as the
as a coarse representation of the func- projection of the intersection of thehzzy graph with the cylindrical extension ofA.
tional dependence of Yon X , the prob-
lem of interpolation may be defined as
that of computing the value of Y given (A', kJ is K
a value of X that may not be a perfect or, equivalently,
XisA
match with any of the antecedent vari- B = Z, p, A B ,
ables in the collection. More specifi- Y is R*A
cally, this problem can be expressed as in which the composition operation is in which
the inference schema defined by P2 = (F,4,(.) A 1 ,(U)
(X,r? is (1,
A , x B,) p R e.3 (v)= rLip&R(zi,z') Ap4('))
The sequence of computations that
XisA in which pR(u,u)and pz4(u)are, respec- leads to B is standard in most fuzzy
Y is?B tively, the membership functions of R logic applications and is usually imple-
in which ? B signifies that B is the and A. mented in software or hardware. In
object of computation. In graphical In the example considered earlier, R some implementations, called max-
terms, as shown i n Figure 8 , the is given by product implementations, the conjunc-
problem may be viewed as that of tion A is interpreted as the arithmetic
assigning a linguistic value to X and R = (E,A,x B,) product.
computing the corresponding linguis- Interpolation lies at the heart of the
tic value of Y. utility of fuzzy rule-based systems
In fuzzy logic, computation of B is because it makes it possible to employ
carried out through the basic rule of a relatively small number of fuzzy rules
inference, called the compositional rule to characterize a complex relationship
of inference.? T h e rule in question between two or more variables. In a
reads typical application in a consumer
IEEE SOFTWARE 53
INDUCING RULES FROM OBSERVATION
41 1
Grodient pragromming which the input n-tuple X ( u I , , ... u,J
Genetic:olgorithms 1 matches the antecedents is taken to be
1 Reinforcementlearning f I I the product
m,= P I I ( U l i I,... Ilrn,(U,"J,
1
l!
Figure 10. Summary of alternative methods t o deduce the deep stmctures of a set
oj-rmles.
the output is expressed as
Y = Z, m,b,
54 NOVEMBER 1994
Note that in this architecture there
is no defuzzifier because the inputs X,,
... X , are assumed to be singletons.
In the application of gradient pro-
gramming to this architecture, the
membership functions of A,, , ... A,,
are assumed to be triangular, trape-
zoidal, or Gaussian in form. Then,
using backward iteration, the values of
membership-function parameters are
computed from right to left.10-11 In
this way, from the knowledge of 110
pairs we can compute the values of
parameters and thereby induce the
rules from observations. Figure 11. Representing a fuzzy Jystem as a multilayered structure. Il and N
The approach sketched here is one denote multipliers and normalizers, respectively.
way the methodologies of fuzzy rule-
based systems and neural networks can
be combined, leading to “neurofuzzy”
systems. Such systems are growing in of equations governing system behav- algorithm), expressed in terms of
number and visibility and are illustra- ior - can be employed because we do uncalibrated fuzzy rules of the form
tive of the advantages derived from not know how to model a ball rolling if State is A then Action is B
combining soft computing’s con- or sliding on a rug-like surface. This
stituent methodologies. In this con- rules out the use of classical control 3. Test the system without trying
text, it is important to note that inter- theory as well as any approach that to solve the problem
polation and induction of rules from requires simulation. 4. Calibrate the fuzzy rules in step
observations are key issues in both The set-interval may be viewed as a 2 using metarules, rules that modify
fuzzy logic and neurocomputing. disjunctive goal. This feature makes it other rules
difficult to employ neural-network 5. Test the algorithm constructed
techniques. in step 2.
FUZZY BALL AND BEAM PROBLEM By contrast, the problem is easy to 6. Refine the calibrated fuzzy rules
solve with fuzzy logic because it is rel- derived in step 5 .
atively easy for a human. In fact, the 7 . Iterate steps 5 and 6 until the
presence of a fuzzy layer makes the ball stays in the set-interval.
ball-and-beam problem easy for
humans and difficult or impossible for
alternative methodologies. As in most
fuzzy-logic applications, the solution is
in effect a translation of a human solu-
tion into FDCL. A human solution
would normally involve seven steps:
1. Compile uncalibrated fuzzy or
crisp rules from knowledge of natural
laws, to govern the behavior of the
ball and beam. For example
if 0 isPegative
then Y is positive
if 0 is,positive
then Y is negative
the more negative 0,
the more positive Y
the more positive 0 ,
t h e more negative Y
approach that is model-dependent - Figure 12. Fuzzy ball and beam prob-
in the sense of requiring a formulation 2. Construct a plan of action (an lem.
IEEE SOFTWARE 55
Translating these steps into a col-
lection of fuzzy rules expressed in
FDCL is by no means a trivial prob-
more difficult for a human because it
involves a conjunction of two goals:
+ confine the motion of the ball to
A lthough soft computing is still in
its initial stages of evolution, i t is
lem. This is particularly true of the so- the prescribed set-interval [a,,a,], and rapidly growing in importance and
called gradual rulesls of the form + enter the set-interval a t a time t tisibility. In the years ahead, soft com-
the more Xis A the more Y is B which is constrained to lie in a pre- puting and its principal constituents
scribed temporal set-interval [t,,t J . - fuzzy logic, neurocomputing, and
because such rules describe the global In this case, formulating a human probabilistic reasoning - are likely to
behavior of a functional dependency solution and translating it into FDCL emerge as essential tools for the con-
rather than its local properties. is a real challenge. W e do not yet ception, analysis, and design of high
However, what is important is that, completely understand how to apply MIQ systems. In the final analysis, the
though it is not easy, it is feasible to fuzzy logic to problems like this. But it role model for soft computing is the
translate a human solution i n t o is evident that fuzzy logic - used human mind.
FDCL, whereas it is not feasible to alone or in combination with neuro-
translate it into anal~aicaltechnisues. computing and probabilistic reasoning
Now suppose you wanted the ball - is the methodology of choice when
to reach the set interval at some time t ~ analytic models are impossible or hard
and stay there. This is significantly to formulate.
ACKNOWLEDGMENTS
This research was supported in part by the BISC Prograin, N . A S h (;rant NCC 2-?ij, EPRI
Agreement RP 8010-34 and MICRO State Program KO.92-180.
REFERENCES
I. LA. Zadeh, “Fuzzy Sets,” Infirmation and Conti-ol,J u n c 196.i, pp. 3 38-15!.
2. L.A. Zadeh, “Outline of a New Approach to the Analysis of Complex Systems and Dccision
Processes,” IEEE Trans. Systems, Man and Cybmzetics, 1973, pp. 28-44,
3. L.A. Zadeh, “Possibility Theory and Soft Data Analysis,” .\.lathernotical Frontreis ofthe Social und
PoliT Sciences, L. Cobb and R. M. Thrall, eds., \Vesmew Press, Boulder, Colo., 1081, pp.69-129. ..
4. L.A. Zadeh, “Fuzzy Logic, Neural Network? and Soft Computing,” fConrrn. :IC.%f,Mar. 1994, tions to artificial intelligence, linguistics, logic,
pp. 77-84. decision analysis, expert systems, and neural net-
5. L.A. Zadeh, “On the Analysis of Large-Scalc Systems,” in $.itmu ,?pproache.r and Enmnmnrnzt work.
Problems, H . Gottinger, ed., L’andenhoeck and Ruprecht, <;orringen, lY74, pp. 23-3 7 , Zadeh is a graduate of the University of
6. M. Mukaidono, Z.L. Shen, and L. Ding, “Fundamentals of Fuzzy Prolog,” lnt’/y.:lpproxmrutr Teheran, M I T , and Columhia University. H e has
Reasoning, No. 3, 1989, pp. 179-193. received honorary doctorates from t h e Paul-
7. B. Kosko, Neural Networks and Fuzzy Systems: ‘-1 L)ynnrnical Sy.itenrs. Ippi-nachto .llai.hriw Sabatier University, France. the State Universih of
Intelligence, Prentice-Hall, Englewood Cliffs, NJ., 1091. Nen York at Ringhaniton, Dortmund University,
8. T. Terano, K. Asai, and M. Sugeno, “Fuzzy Systems T h e o n and lts Xpplications,” .Academic Germany; and the University of Granada and
Press, San Diego, Calif., 1992. Oviedo, Spain, in recognition of his development of
9. T. Takagi and M. Sugeno, “Fuzzy Identification of Systems and it5 .Applications to &lodeling the theory of fuzzy sets. He is a fellow of the IEEE,
and Contro1,”IEEE Trans. Systems, Man, and Cvhevwtirr l i . 1985, pp. 116-132. AA~AS,hCh1, and .AAAAI and a member of the
10. C:T. Lin and C.S. George Lee, “Neural-Network-Based F u z q Logic Control and Decision National -\cademy of Engineering and the Russian
System,”IEEE Trans. Computeir. Dec. 1991, pp. 1310-1776. Academy of Natui 11 Sciences.
11.J.-S.R. Jang, “Self-Learning Fuzzy Controller Based on Temporal BacL~Pr(,pagation,” IEEE
Trans. Neural,Venuorks, May 1992, pp. 714-723.
12. C.C. Lee, “Fuzzy Logic in Control Systems: Fuzz)- 1-ogic Controller, Part 1 and Part 11,” IEEE
Trans. Systems, LVIan,and Cybernetics 20, 1990, pp. 404-418.
1 3 . C. Karr, “Genetic Algorithms for Fuzzy Controllers.”.?I Exprit, h-ov. 1001, pp. 26-33.
14. M.A. Lee and H . Takagi, “Integrating Design Stages of 1;uzzy Systems Using Genetic
Algorithms,” Proc. Int‘l Con$ on Fuzzy System. IFEE Press, S e w York, 1903, pp. 612-617.
15. D. Dubois and H. Prade, “Gradual lnference Rules in Approximate Rcasoning,” Z ~ r f b ~ m o t i o a Address questions ahout this article to Zadeh at
Sciences, 1992, pp. 103-122. the CS Div., D e p t . of E E C S , University of
California, Berkeley, Berkeley, Calif. 94720;
zadeh~cs.berkeley.edu
56 NOVEMBER 1994