# INFORMATIONSCIENCES

8,301-357

(1975)

301

The Concept of a Linguistic Variable and its Application to Approximate Reasoning-II*
Computer Sciences Division, Department of Electrical Engineering and Computer Sciences, and the Electronics Research Laboratory, University of California, Berkeley, California 94720

1. THE CONCEPT OF A FUZZY VARIABLE Proceeding in the development of Part I of this work, we are now in a position to generalize the concepts introduced in Part I, Sec. 2 to what might be called fuzzy variables. For our purposes, it will be convenient to formalize the concept of a fuzzy variable in a way that parallels the characterization of a nonfuzzy variable as expressed by Definition 2.1 of Part I. Specifically: DEFINITION 1.1. A fuzzy variable is characterized by a triple (X, U, R (X;u)). in which X is the name of the variable; U is a universe of discourse (finite or infinite set); u is a generic name for the elements of U; and R(X;u) is a fuzzy subset of U which represents a fuzzy restriction on the values of u imposed by X. [As in the case of nonfuzzy variables, R(X;u) will usually be abbreviated to R(X) or R(u) or R(x), where x denotes a generic name for the values of X, and R(X;u) will be referred to as the restriction on u or the restriction imposed by X.1 The nonrestricted nonfuzzy variable u constitutes the base variable for X. The assignment equation for X has the form
x=u

:R(X)

(1.1)

and represents an assignment of a value u to x subject to the restriction R(X). The degree to which this equation is satisfied will be referred to as the compatibility of u with R(X) and will be denoted by c(u). By definition,
*This work was supported in part by the Navy Electronic Systems Command under Contract N00039-71-C-0255, the Army Research Office, Durham, N.C., under Grant DAARO-D-31-124-71-G174, and the National Science FOUndatiOn under Grant GK-10656X3. The writing of the paper was completed while the author was participating in a Joint Study Program with the Systems Research Department, IBM Research Laboratory, San Jose, California.

@American Elsevier Publishing Company, Inc., 1975

302

d”) = i’+(x) h),

UEU

(1.2)

where pR (X1(u) is the grade of membership of u in the restriction R(X). COMMENT 1.1. It is important to observe that the compatibility of u is not the same as the probability of U. Thus, the compatibility of u with R(X) is merely a measure of the degree to which u satisfies the restriction R(X), and has no relation to how probable or improbable u happens to be. COMMENT 1.2. In terms of the valise analogy (see Part I, Comment 2. I), a fuzzy variable may be likened to a tagged valise with soft sides, with X representing the name on the tag, U corresponding to a list of objects which can be put in a valise, and R(X) representing a sublist of U in which each object u is associated with a number C(U)representing the degree of ease with which u can be fitted in valise X (Fig. 1).
Name X u Soft valise

r-&

Object

Fig. I. Valise analogy for a unary fuzzy variable.

In order to simplify the notation it is convenient to use the same symbol for both X and x, relying on the context for disambiguation. We do this in the following example. EXAMPLE 1.l . Consider a fuzzy variable named budget, with U = [0, -1 and R(X) defined by (see Fig. 2)

Fig. 2. Compatibility function of budget.

LINGUISTIC

VARIABLE
1000
00

303

R(budget) =

J
0

l/U + ,[ 1000

1+ (&I&@)2

1

-l/u.

(1.3)

Then, in the assignment

equation budget = 1100 : R(budget),
(l-4)

the compatibility

of 1100 with the restriction

imposed by budget is

= 0.80.

(1.5)

As in the case of nonfuzzy variables, if X1, . . . , X, are fuzzy variables in Ur, . . . , Un, respectively, then X 4 (XI, . . . , X,) is an n-aiy composite (joint) variable in U = Ur X . . . X U,, . Correspondingly, in the n-ary assignment equation

(Xl,.* .,x,>=(u1,...,
xi’

QR(XI

,...)

X,),

(1.6)

i=l,..., n, is a generic name for the values of Xi ; ui is a generic name for the elements of Ui; and R(X) 4 R(X1, . . . , X ) is an n-ary fuzzy relation in U which represents the restriction imposed by x”a (Xr , . . . , X,). The compatibility of (u 1, . . . , un) with R(X,, . . . , X,) is defined by

‘(‘I?...
where pR (*) is the membership

,“,)=,+(~)(b
function

. . ,u,,),
on u 4

(1.7)

of the restriction

(u, , . . . , un).

EXAMPLE 1.2. Suppose that U, = U2 = (- -,-), X1 2 horizontal proximity; X2 4 vertical proximity; and the restriction on u is expresse.d by (1 t UT t u\$
u2

R(X)=

s (II x

/(ur,u*).

(1.8)

Then the compatibility

of the value u = (2,l) in the assignment
(~1~2)=(2,1):RQ

equation (1.9)

304

is given by

4291)= l-54(&A 1)
= 0.16.

(1.10)

COMMENT 1.3. In terms of the valise analogy (see Comment 1.2), an n-ary composite fuzzy variable may be likened to a soft valise named X with IZcompartments named X1, . . . , X,, The compatibility function c(ur, . . . , uJ represents the degree of ease with which objects u 1, . . . , u, can be put into respective compartments X1, . . . , X, simultaneously (Fig. 3).

Soft partition Soft valise Object,

No&,

Nome

Fig. 3. Valise analogy for a binary fuzzy variable.

A basic question that arises in connection with an n-ary assignment equation relates to its decomposition into a sequence of n unary assignment equations, as in Part I, Eq. (2.21). In the case of fuzzy variables, the process of decomposition is somewhat more involved, and we shall take it up after defining marginal and conditioned restrictions.
MARGINAL AND CONDITIONED RESTRICTIONS

In Part I, Sec. 2, the concepts of marginal and conditioned restrictions were ~tention~y defined in such a way as to make them easy to extend to fuzzy

LINGUISTIC VARIABLE

305

restrictions. Thus, in the more general context of fuzzy variables, these concepts can be formulated in almost exactly the same terms as in Part I, Sec. 2. This is what we shall do in what follows. NOTE 1.1. As we have seen in our earlier discussion of the notions of marginal and conditioned restrictions in Part I, Sec. 2, it is convenient to simplify the representation of n-tuples by employing the following notation. Let 4 4 (ir, . . ) i/J (1.11)

be an ordered subsequence of the index sequence (1, . . . , n). E.g., for n = 7, 4 = (2,495). The ordered complement of 4 is denoted by
q”o’1,. ..

Pi,>.

(1.12)

E.g., for q = (2,4, 5) q’ = (1,3,6,7). A k-tuple of variables such as (uil, . . . , vik) is denoted by vC4).Thus

v(q)e,,(. . ,Vik),
and similarly

(1.13)

%7’)
For example, if

qvj*,, ...

vi m

).

(1.14)

then
vcq’) = (VI, v3, v6, v7 >*

If k = n, we shall write more simply
v = (VI, . . , VJ.

(1.15)

This notation will be used in the following without further explanation. DEFINITION 1.2. An n-ary restriction Z&Y,, . . . , X,) in Ur X . . . X U, induces a k-ary marginal restriction R(Xi, , . . . , Xik) which is defined as the

306
projection

(shadow) of R(X,,...,X,) on Ui, X * . * X Uik. Thus, using the

definition of projection [see Part I, Eq. (3.57)] and employing the notation of Note 1.1, we can express the membership function of the marginal restriction R(Xil,...Xi )as ,
k

(1.16) EXAMPLE 1.3. For the fuzzy binary variable defined in Example have RI 4R(X,),
R2 4NX21,

1.2, we

EXAMPLE 1.4. Assume that U,=U,=U,=Otlt2 and R(X,,X2, X,) is a ternary fuzzy relation in U1 X U2 X U, expressed by R(X,,X,,X,)=0.8/(0,0,0)+0.6/(0,0,1)+0.2/(0,1,0) + l/(1,0,2) + 0.7/(1,1,0) + 0.4/(0,1,1) 0.8/(1,1,2). (1.17)

+ 0.9/(1,2,0)+ Applying (1.16) to (1.17) we obtain

0.4/(2,1,1)+

R(X,,X,)= 0.8/(0,0) + 0.4/(0,1) + l/(1,0)
t 0.8/( 1,l) + 0.9/( 1,2) + 0.4/(2,1) and (1.18)

R(XI)= 0.8/O + l/l + 0.4/2,
R(X2) = l/O + 0.8/l + 0.9/‘2. (1.19)

LINGUISTICVARIABLE

307

DEFINITION 1.3. Let R(Xi, . . . , X,) be a restriction on (u,, . . . , u,), andletu?,... , u? be particular values of u.21”“’ u. , respectively. If in the lk member&p functkn of R(Xi, . . . , X,) the values of uil, . . . , u.
‘k

are set

, UP then the resulting function of the arguments Us,, . . . , equal to u? Ii”‘. lk’ ujm , where the index sequence 4’ = oi, . . . , j,) is complementary to 4 = (ii, . , i,), is defined to becthe membership function of a conditionzd restriction R(Xjl, . . . , Xi 1uil, . . . , u:~) or, more simply, R(Xt4)) 1ucqj). Thus m 0 ” 1, )‘pR(Xr _,, X )(U19”‘,UnIui %“i, ,...) Xj 1u;r )._., U. ) (u. Jr”“’ 1 ’ ‘rl ‘k m

=ql
or more compactly,

)...,

u.
‘k

=up>,
k

(1.20) The simplicity of the relation between conditioned and unconditioned restrictions becomes more transparent if the upare written without the superscript. Then, (1.20) becomes

or more compactly, (1.21)

NOTE 1.2. In some instances, it is preferable to use an alternative notation for conditioned restrictions. For example, ifn = 4, 4 = (1,3) and 4’ = (2,4), it may be simpler to write R(u~,X~,U~,X~) for R(X,,X, 1u~,u~). This is particularly true when numerical values are used in place of the subscripted arguments, e.g., 5 and 2 in place of U: and u:. In such cases, in order to avoid ambiguity we shall write explicitly R(X2, X4 1u ’1 = 5, ui = 2) or more simply, R(5,X, ,2,X,). EXAMPLE 1.5. In Example 1.4, we have R(X, ,X2 ,O) = 0.8/(0,0) + 0.2/(0,1) + 0.741 +0.9/(1,2), ,I) R(XI,X, ,l) = 0.6/(0,0) + 0.4/(0,1) + 0.4/(2,1), (1.22)

R(XI,X,,~)= l/(1,0)+0.8/(1,1),

308

and, using (1.16),

R(X, ,O) = 0.8/O + l/l,
R(X, ,l) = 0.4/O + 0.8/l R(X, ,2) = 0.9/ 1. It is useful to observe that an immediate consequence marginal and conditioned restrictions is the following PROPOSITION byR(XI,..., 4.1. Let R(Xil, . . , Xi of the definitions of + 0.4/2, (1.23)

) be a marginal restriction induced
. , u. ) or, more simply, ‘k

X,,),andletR(Xj,,.

. . ,Ximluil,.

be a restriction conditioned% uil , . . . , uik, with q = (il, . . , R(Xk71) I%)) ik)andq’=Q,, . . . , j, ) being complementary index sequences. Then, in consequence of (1.16), (1.2 1) and the definition of the union [see Part I, Eq. (3.34)] , we can assert that (1.24)

where %7).

c uG7)

stands for the union (rather than the arithmetic sum) over the

EXAMPLE 1.6. With reference to Example 1.3 and Note 1.2, it is easy to verify that

and R(X,)
SEPARABILITY

= R(X1 ,O) + R(X,

,I) +R(X, 2).

AND NONINTERACTION

DEFINITION 1.4. An n-ary restriction R(X,, . . , X,) is separable iff it can be expressed as the Cartesian product of unary restrictions R(X,, . . . ,X,)=R(X,)X-*XR(X,) or, equivalently, as the intersection of cylindrical extensions (1.25) [see Part I, Eq.

(3.6211

LINGUISTIC VARIABLE

309

NX,, . . . ,X,)=R(X,)n...nR(X,).

(1.26)

It should be noted that, if R(XI, . . . , X,) is normal, then so are its marginal restrictions (see Part I, Proposition 3.3). It follows, then, that the R(X,) in (1.25) are marginal restrictions induced by R(X1, . . . , X,). For, (1.25) implies that

and hence by Eq. (3.57) of Part I, Pi R(X, . . . , X,,) = R(Xi), , Unless stated to the contrary, is normal. i=l,...,n. that R(X,, (1.28) . . . , X,)

we shall assume henceforth

EXAMPLE 1.7. The relation matrix of the restriction shown below can be expressed as the max-min dyadic product of a column vector (a unary relation) and a row vector (a unary relation). This implies that the restriction in question is separable: 0.3 0.8 0.8 0.1

[0.3 0.2 0.3 0.2 0.6 0.2 0.6 0.1 0.1

0.8

1

0.11

EXAMPLE 1.8. The restrictions are not separable. An immediate consequence

defined in Definition

1.2 and Example

1.3

of separability

is the following

PROPOSITION 4.2. If R(X, , . . . , X,,) is separable, so is every marginal restriction induced by R(XI , . . . , X,,). Also, in consequence of (1.29, we can assert the is the

PROPOSITION 4.3. The separable restriction R(XI) X . . * X R(X,) largest restriction with marginal restrictions R(XI ), _ . . , R(X,).

The concept of separability is closely related to that of noninteraction of fuzzy variables. More specifically:

310

DEFINITION 1S. The fuzzy variables X1, . . . , X, are said to be noninteructive iff the restriction R(Xi, . . . , X,) is separable. It will be recalled that, in the case of nonfuzzy variables, the justification for characterizing X1, . . . , X, as nonintera~tive is that if [see Part I, Eq.

(2.1811 WI,. . . X,) = R(X,) x ’
)

’ ’

x R(X,),

(1.29)

then the n-ary assignment equation

(Xl,..., XJ = &I,.. . ,u,):R(X~,.

, . ,X,)

(1.30)

can be decomposed into a sequence of n unary assignment equations
x1 =u1 :

RN, h
(1.31)

.

.

xn =u, : R(X,). In the case of fuzzy variables, a basic consequence of noninteraction-from which Eq. (2.19) of Part I follows as a special case-is expressed by PROPOSITION 4.4. If fhe fuzzy variables X1, . . . , X, are ~on~n~erac~~~e, rhen the n-ary assignment equation (1.30) can be decomposed into a sequence of n unary assignment equations (1.3 l), with the understanding that if &I, *. * I un) is the compatibility of (ul, . . . , un) with R(X,, . . . , X,), and if c&4\$, i = 1, . . . , n, is the compatibility of ui with R(XJ, then

C&l,. . . , u,)=c,(U*)A”‘Ac,(un)’

(1.32)

fioo& By the definitions of compatibility, noninteraction and separability, we have at once

COMMENT 1.4. Pursuing the valise analogy further (see Comment 1.3), noninteractive fuzzy variables Xr , . . . , X, may be likened to n separafe soft valises with name-tags X1, . . . , X,. The restriction associated with valise Xi

LINGUISTIC

VARIABLE

311

is characterized by the compatib~ity function c(ui). Then the overall compatibility function for the valises X1, . . . , X,, is grven by (1.32) (Fig. 4). x Q (X,,X,l (\$) _ t&\$)+-S& valise

Name I

Nome, fuzzy

Fig. 4. Valise analogy for noninteractive variables.

COMMENT 1.5. In terms of the base variables of Xr, . . . , X, (see Definition 1. l), noninteraction implies that there are no constraints which jointly involve U1,...,Un’ where ui is the base variable for Xi, i = 1, . . . , n. For example, if the ui are constrained,by

thenXr, . . . , X, are interactive, i.e., are not noninteractive. (See Part I, Comment 3.5.) If Xr , . __ , X, are interactive, it is still possible to decompose an n-ary assig~ent equation into a sequence of n unary assignment equations. However, the restriction on ui will, in general, depend on the values assigned to u t, . . . , u~_~. Thus, the n assignment equations will have the following form [see also Part I, Eq. (2.21)] :
x1 =ul :

R(X,),
Id>

x2

=u2

: RN2

x3

=u3

: WX,

1~1s

~217

(1.34)

whereR(X,.lur,. . . , u~_~) denotes the restriction on ui conditioned on u,, . . _ , ui_ 1 (see Definition 1.3). EXAMPLE 1.9. Taking Example 1.4, assume that u 1 = 1, u2 = 2 and u3 = 0. Then

312 R(X,) = 0.8/O + l/l + 0.4/2,

R(X, 1u1 = 1) = l/O t 0.8/l + 0.9/2, R(X, 1u1 = 1, u2 = 2) = 0.9/O, so that

(1.35)

Cl(l) = 1,
c2 (2) = 0.9,
c3 (0) =

(1.36)

0.9. for (1.34) is provided by

As in the case of (1.3 l), the justification

PROPOSITION 4.5. 1.X,, . . . , X,, are interactive fuzzy variables subject to the restriction R(_X,, . . . , X,), and ci(ui), i = 1, . . . , n, is the compatibility of ui with the conditioned restriction R(Xi 1 1, . . . , u~_~) in (1.34) then u

C(UI,. . . , UJ =c1@1)A* * *+&J,
where c(uI, . . . , un) is the compatibility
Pr00.f By the definition for alli, 1 <i<n,

(1.37) with R(X,

of (ul , . . . , u,J
restriction

, . . . , X,).

of a conditioned

[see (1.20)] , we have,

pR(Xj

1~1,. , u~_~)

(“i)=pR(XI,.

,

xj)(‘lT ’ ’ “i)* ’

(1.38)

On the other hand, the definition of a marginal restriction plies that, for all i and all u 1, . . . , ui , we have
pR(X,, , Xi’ (U1,...rUi)311R~~1,...,~i+l)(U1’...,Ui+l),

[see (1.16)J im-

(1.39)

and hence that
pR(Xi+llul,. , ui)(ui+l)*pR(Xilu,,.

_. ,~~_~)(~i)=~R(X~+~lu~,

, u\$(“i+l)*

(1.40) Combining (1.40) with the defining equation
ci(ui)=pR(A’j~~l,.

, u~_~)(~\$’

(1.41)

LINGUISTIC VARIABLE we

313

derive

41,.

. . f UJ = cl@*)

A*

.

?y\$J.

Q.E.D.

(1.42)

This concludes our discussion of some of the properties of fuzzy variables which are relevant to the concept of a linguistic variable. In the following section, we shall formalize the concept of a linguistic variable and explore some of its implications. 2. THE CONCEPT OF A LINGUISTIC VARIABLE In our informal discussion of the concept of a linguistic variable in Part I, Sec. 1, we have stated that a linguistic variable differs from a numerical variable in that its values are not numbers but words or sentences in a natural or artificial language. Since words, in general, are less precise than numbers, the concept of a linguistic variable serves the purpose of providing a means of approximate characterization of phenomena which are too complex or too ill-defined to be amenable to description in conventional quantitative terms. More specifically, the fuzzy sets which represent the restrictions associated with the values of a linguistic variable may be viewed as summaries of various subclasses of elements in a universe of discourse. This, of course, is analogous to the role played by words and sentences in a natural language. For example, the adjective handsome is a summary of a complex of characteristics of the appearance of an individual. It may also be viewed as a label for a fuzzy set which represents a restriction imposed by a fuzzy variable named handsome. From this point of view, then, the terms very handsome, not handsome, extremely handsome, quite handsome, etc., are names of fuzzy sets which result from operating on the fuzzy set named handsome with the modifiers named very, not, extremely, quite, etc. In effect, these fuzzy sets, together with the fuzzy set labeled handsome, play the role of values of the linguistic variable
Appearance.

An important facet of the concept of a linguistic variable is that it is a variable of a higher order than a fuzzy variable, in the sense that a linguistic variable takes fuzzy variables as its values. For example, the values of a linguistic variable named Age might be: young, not young, old, very old, not young and not old, quite old, etc., each of which is the name of a fuzzy variable. If X is the name of such a fuzzy variable, the restriction imposed by X may be interpreted as the meaning of X. Thus, if the restriction imposed by the fuzzy variable named old is a fuzzy subset of U = [0, 1001 defined by
R(old)= s”” 50 [1 +(!f.\$!?jz] -1,u, u E u, (2.1)

314

then the fuzzy set represented by R(M) may be taken to be the meaning of
old (Fig. 5).

old.

Fig. 5. Compatibility

functions of old and very

Another important facet of the concept of a linguistic variable is that, in general, a linguistic variable is associated with two rules: (1) a syntactic rule, which may have the form of a grammar for generating the names of the values of the variable; and (2) a semantic rule which defines an ~gori~mic procedure for computing the meaning of each value. These rules constitute an essential part of the characterization of a structured linguistic variable.’ Since a linguistic variable is a variable of a higher order than a fuzzy variable, its characterization is necessarily more complex than that expressed by Definition 1.1. More specific~ly, we have DEFINITION 2.1. A linguistic variable is characterized by a quintuple (Z K\$?W G, W in whichsis the name of the variable; T( ,g+) (or simply 2”) denotes the term-set ofR, that is, the set of names of linguistic values of@, with each value being a fuzzy variable denoted generically by X and rang~g over a universe of discourse U which is associated with the base variable u; G is a syntactic rule (which usually has the form of a grammar) for generating the names, X, of values ofZ; and M is a semantic rule for associating with each X its meaning, M(X), which is a fuzzy subset of U. A particular X, that is, a name generated by G, is called a term. A term consisting of a word or words which function as a unit (i.e., always occur together) is called an atomic term. A term which contains one or more atomic terms is a composite term. A concatenation of components of a composite term is a subterm. If X1, X2, , . . are terms in T, then T may be expressed as the union
T=X, +X2 +.-. . (2.2)

‘It is primarily the semantic rule that distinguishes a linguistic variable from the more conventional concept of a syntactic variable.

LINGUISTIC

VARIABLE

315

Where it is necessary to place in evidence that T is generated by a grammar G, Twill be written as T(G). The meaning, M(X), of a term X is defined to be the restriction, R(X), on the base variable u which is imposed by the fuzzy variable named X. Thus M(X) %X), (2.3)

with the understanding that R(X)-and hence MQ-may be viewed as a fuzzy subset of (I carrying the name X. The connection between &?‘,the linguistic value X and the base variable u is illustrated in Fig. 3 of Part I. NOTE 2.1. In order to avoid a profusion of symbols, it is expedient to assign more than one meaning to some of the symbols occurring in Definition 2.1, relying on the context for disambiguation. Specifically: (a) We shall frequently employ the symbolZto denote both the name of the variable and the generic name of its values. Likewise, X will be used to denote both the generic name of the values of the variable and the name of the variable itself. (b) The same symbol will be used to denote a set and the name of that set. Thus, the symbols X, M(X) and R(X) will be used interchangeably, although strictly speaking X-as the name of M(X) [or R(X)] -is distinct from M(X). In other words, when we say that a term X (e.g. young) is a value of%‘(e.g., Age), it should be understood that the actual value is M(X) and that X is merely the name of the value. EXAMPLE 2.1. Consider a linguistic variable named Age, i.e.,&?= Age, with U = [0,1001. A linguistic value of Age might be named old, with old being an atomic term. Another value might be named very old, in which case very old is a composite term which contains old as an atomic component and has very and old as subterms. The value of Age named more or less young is a composite term which contains young as an atomic term and in which more or less is a subterm. The term-set associated with Age may be expressed as
T(Age) = old + very old + not old + more or less young t quite young t not very old and not very young + . . . , (2.4)

in which each term is the name of a fuzzy variable in the universe of discourse U= [0, 1001. The restriction imposed by a term, say R(old), constitutes the meaning of old. Thus, if R(old) is defined by (2.1), then the meaning of the linguistic value old is given by
M(old) = 1”” 50 [ 1 t (“F) -2] -l/u,

(2.5)

316 or more simply (see Note 2. I),

old =

Similarly, the meaning of a linguistic value such as very old may be expressed as (see Fig. 5)
M(very

oh) = very old =

50

1”” +(yj) [I

w2/~.

(2.7)

The assi~ment equation in the case of a linguistic variable assumes the form X = term in T(P) = name generated by G which implies that the meaning assigned to X is expressed by A4(X)= R (term in TC2’ ). (2.9) (2.8)

In other words, the meaning of X is given by the application of the semantic rule M to the value assigned to X by the right-hand side of (2.8). Furthermore, as defined by (2.3), M(X) is identical to the restriction imposed by X. COMME~ 2.1. In accordance with Note 2.1(a), the ass~~ent will usually be written as p= name in T(P) equation

(2.10)

rather than in the form (2.8). For example, if&Y= Age, and old is a term in TYA?,l, we shall write
Age = old,

(2.11)

with the understanding that old is a restriction on the values of u defined by (2.1), which is assigned by (2.11) to the linguistic variable named Age. It is important to note that the equality symbol in (2.10) does not represent a symmetric relation-as it does in the case of arithmetic equality. Thus, it would not be meaningful to write (2.11) as old = Age

LINGUISTIC

VARIABLE

317

To illustrate the concept of a linguistic variable, we shall consider first a very elementary example in which T(LZ”) contains just a few terms and the syntactic and semantic rules are trivially simple. EXAMPLE 2.2. Consider a linguistic variable named Number which is associated with the finite term-set
T(Number) = few t several t rnmy,

(2.12)

in which each term represents a restriction on the values of u in the universe of discourse
U=lt2t3t**.tlO. (2.13)

These restrictions are assumed to be fuzzy subsets of U which are defined as follows:
few = 0.4/l + 0.812 t l/3 t 0.414, several = 0.513 + 0.814 + l/5 t l/6 t 0.817 t 0.518, many = 0.416 + 0.617 t 0.818 t 0.919 t I/IO. Thus Wew) =M(few) = 0.4/l t 0.812 t 113 t 0.414,
(2.17)

(2.14) (2.15)
(2.16)

and likewise for the other terms in T. The implication of (2.17) is that few is the name of a fuzzy variable which is a value of the linguistic variable Number. The meaning of few-which is the same as the restriction imposed by few-is a fuzzy subset of U which is defined by the right-hand side of (2.17). To assign a value such as few to the linguistic variable Number, we write
Number = few, (2.18)

with the understanding that what we actually assign to Number is a fuzzy variable named few.
EXAMPLE 2.3. In this case, we assume that we are dealing with a composite linguistic variable’ named (Z, Y) which is associated with the base variable (u, v) ranging over the universe of discourse U X V, where ‘Composite linguistic variables will be discussed in greater detail in Sec. 3 in connection with linguistic truth variables.

318 UXV=(lt2+-3t4)x(lt2t3t4) =(1,1)+(1,2)+(1,3)+(1,4) ... ... + (4,l) with the understanding that iX j= Ci,j), Furthermore, i,j= 1,2,3,4. + (4,2) + (4,3) + (4,4),

(2.20)

(2.21)

we assume that the term-set of (P,

Y) comprises just two terms: (2.22)

T = approximately equal t more or less equal,

where approximately equal and more or less equal are names of binary fuzzy relations defined by the relation matrices

0.6 approximately equal = 0.4 ‘1 .0.2 and

1 0.6 0.4 0.6

0.6 1 0.6 0.4

0.4 (2.23) 0.6 1 0.2 1

0.8 0.8 more or less equal = 0.6 0.4 0.8 0.6 1

0.6

(2.24)

In these relation matrices, the (i,j)th entry represents the compatibility of the pair (i,j) with the restriction in question. For example, the (2,3) entry inapproximately equal-which is 0.6-is the compatibility of the ordered pair (2,3) with the binary restriction named approximately equal. To assign a value, say approximately equal, to (&?,q), we write

LINGUISTIC

VARIABLE (Z, 9) = approximately equal,

319 (2.25)

where, as in (2.18) it is understood that what we assign to (&?, 9) is a binary fuzzy relation named approximately equal, which is a binary restriction on the values of (u,v) in the universe of discourse (2.20). COMMENT 2.2. In terms of the valise analogy (see Comment 1.2), a linguistic variable as defined by Definition 2.1 may be likened to a hard valise into which we can put soft valises, as illustrated in Fig. 6. A soft valise corresponds to a fuzzy variable which is assigned as a linguistic value to Z’, with X playing the role of the name-tag of the soft valise.

Name

-Hard valise Soft valise

Objict Fig. 6. Valise analogy for a linguistic variable.

STRUCTURED

LINGlllSTIC

VARIABLES

In both of the above examples the term-set contains only a small number of terms, so that it is practicable to list the elements of T(Z) and set up a direct association between each element and its meaning. In the more general case, however, the number of elements in T(F) may be infinite, necessitating the use of an algorithm, rather than a table look-up procedure, for generating the elements of T(a”) as well as for computing their meaning. A linguistic variable Zwill be said to be structured if its term-set, T(Z), and the function,ll/l, which associates a meaning with each term in the term-set, can be characterized algorithmically. In this sense, the syntactic and semantic rules associated with a structured linguistic variable may be viewed as algorithmic procedures for generating the elements of T(AY’) and computing the meaning of each term in TW’), respectively. Unless stated to the contrary, we shall assume henceforth that the linguistic variables we deal with are structured. EXAMPLE 2.4. As a very simple illustration of the role played by the syntactic and semantic rules in the case of a structured linguistic variable, we shall

320

consider a variable named Age whose terms are exemplified by: old, very old, very very old, very very very old, etc. Thus, the term set of Age can be written as T(Age) = old + very old + very very old + * * * . (2.26)

In this simple case, it is clear by inspection that every term in T(Age) is of the form old or very very . .. very old. To deduce this rule in a more general way, we proceed as follows. Let xy denote the concatenation of character strings x and y, e.g., x = very, y = old, xy = very old. If A and B are sets of strings, e.g., A=xl +xz +*-+, (2.27) (2.28)

B =y, +y2 t * **,

where xi and y . are character strings, then the concatenation of A and B is denoted by Ai and is defined as the set of strings

=

;I:
i.i

'iYj

(2.29)

For example, if A = very and B = old t very old, then very (old + very old) = very old t very very old. (2.30)

Using this notation, the given expression for T(Age), or simply T, may be taken to be the solution of the equation3 T = old + very T, (2.3 1)

which, in words, means that every term in iris of the form old or very followed by some term in T. Equation (2.3 1) can be solved by iteration, using the recursion equation 3Asis well knownin the theory of regular expressions (see [32]), the solution of (2.31)
mn be expressed as T = (A + very + very2 + .I.) old, where Ais the null string. This expression for T is equivalent to that of (2.34).

LINGUISTIC VARIABLE
T i+l =old t very T’,

321 i=o,1,2 )..., (2.32)

with the initial value of T’ being the empty set 0. Thus
To =O, T’ =old, TZ = old + very old, T3 = old t very old t very very old,

(2.33)

and the solution of (2.31) is given by
T = T” = old + very old f very very old t very very very old t . . . . (2.34)

For the example under consideration, the syntactic rule, then, is expressed by (2.31) and its solution (2.34). Equivalently, the syntactic rule can be characterized by the production system
T + old, T-tvery T, (2.35) (2.36)

for which (2.3 1) plays the role of an algebraic representation.4 In this case, a term in T can be generated through a standard derivation procedure ([36] , [37]) involving a successive application of the rewriting rules (2.35) and (2.36) starting with the symbol i? Thus, if T is rewritten as very T and then Tin very T is rewritten as old, we obtain the term vev old. In a similar fashion, the term very very very old can be obtained from T by the derivation chain
T + very T + very very T +=very very very T + very very very old. (2.37)

Turning to the semantic rule for Age, we note that to compute the meaning of a term such as very. . . very old we need to know the meaning of old and the meaning of very. The term old plays the role of a primary term, that is, a term whose meaning must be specified as an initial datum in order to provide
4A discussion of the algebraic representation of context-free in [33], (341 and [35]. Algebraic treatment of fuzzy languages grammars may be found is discussed in [6] and [58].

322

a basis for the computation of the meaning of composite terms in T. As for the term very, it acts as a linguistic hedge, that is, as a modifier of the meaning of its operand. If-as very simple approximation-we assume that very acts as a concentrator [see Part I, Eq. (3.40)], then very old = CON (old) =old=. Consequently, the semantic rule for Age may be expressed as M(very . . very old) = old 2n, (2.39) (2.38)

where N is the number of occurrences of very in the term very. . . very old and M(very . . . very old) is the meaning of very. . very old. Furthermore, if the primary term old is defined as old =

1-'I~,
/O”
50

(2.40)

then M(very . . . very old) = [I t (yj’] -2n/u, n = 1,2,. . . . (2.41)

This equation provides an explicit semantic rule for the computation of the meaning of composite terms generated by (2.31) from the knowledge of the meaning of the primary term old and the hedge very.
BOOLEAN LINGUISTIC VARIABLES

The linguistic variable considered in Example 2.4 is a special case of what might becalled a Boolean linguistic variable. Typically, such a variable involves a finite number of primary terms, a finite number of hedges, the connectives and and or, and the negation not. For example, the term-set of a Boolean linguistic variable Age might be

T(Age) = young + old + not young + not old t veryyoung + very very young + not very young and not very old + quite young + more or less old + extremely old t . . . . (2.42) More formally, a Boolean linguistic variable may be defined recursively as follows.

LINGUISTICVARIABLE

323

DEFINITION 2.2. A Boolean l~~~~~ticvariable is a linguistic variable whose terms, X, are Boolean expressions in variables of the form Xp, hXp, X or hX, where h is a linguistic hedge, Xp is a primary term and hX 1s the name of a fuzzy set resulting from acting with h on X. As an ~lustration, in the case of the linguistic variable Age whose term-set is defined by (2.42), the term not very young and not very old is of this form, with h 4 very, X 4 oung and X 4 old. Similarly, in the case of the term very very young, ph-2 very very a,pd Xp 4 young. = Boolean linguistic variables are p~ticularly convenient to deal with because much of our experience in the manipulation and evaluation of Boolean expressions is transferable to variables of this type. To illustrate this point, we shall consider a simple example which involves two primary terms and a single hedge. EXAMPLE 2.5. Let Age be a Boolean linguistic variable with the term-set
T(Age) = young + not young + old + not old + very young + not young and not old t young or old + young or (not very young and not very old) t - . - . (2.43)

If we identify and with intersection, or with union, not with complementation and very with concentration [see (2.38)] , the meaning of a typical value of Age can be written down by inspection. For example,
M(no t young) = 1 young, M(not very young) = 1 (young’),

(2.44)
M(not very young and not very oZd) = 1 (young2 \ n 1 (old 2), Mboung or old) = young U old.

In effect, these equations express the meaning of a composite term as a function of the meanings of its constituent primary terms. Thus, if young and old are defined as
young = (2.45)

old =

(2.46)

then (see Fig. 7)

324

25 Fig. 7. Compatibility

50

u

function for young or old.

100 +

50

J
(2.47)

The ~nguisti~ variable considered in the above example involves just one type of hedge, namely, very. More generally, a Boolean linguistic variabIe may involve a finite number of hedges, as in (2.42). The procedure for computing the meaning of a composite term remains the same, however, once the operations COF responding to the hedges are defined. The question of what constitutes an appropriate representation for a particular hedge, e.g., more or less or @te or esse~~~~~y~ by no means a simple is one.’ To illustrate the point, in some contexts the effect of the hedge more or less may be approximated by [see Part I, Eq. (3,41)]
M(more or less X) = DIL(X) = X0*‘.

(2.48)

For example, if X = oki, and old is defined by (2.461, then more or less old = (2.49)

‘A more detailed discussion of linguistic hedges from a fuzzy-set~th~or~ti~ point of view may be found in f271 and [ 381. The idea of treating various types of linguistic hedges as operators on fuzzy sets originated in the course of the author’s collaboration with Professor C. Lakoff.

LINGUISTIC VARIABLE In many instances, however, more or less acts as a fuzzifier in the sense of Part I, Eq. (3.48), rather than as a dilator. As an illustration, suppose that the meaning of a primary term recent is specified as
recent = l/1974 + 0.811973 t 0.711972,

325

(2.50)

and that more or less recent is defined as the result of acting with a fuzzifier F on recent, i.e.,
more or less recent = F(recent; K)

(2.5 1)

where the kernel K of F is defined by K(1974) = l/1974 + 0.9/1973, K(1973) = l/1973 + 0.9/1972, K(1972) = l/1972 + 0.8/1971. (2.52)

On substituting the values of K into (3.48) of Part I, we obtain the meaning of
more or less recent, i.e.,

more or less recent = l/l974 + 0.911973 t 0.7211972 t 0.56/1971.

(2.53)

On the other hand, if the hedge more or less were assumed to be a dilator, then we would have
more or less recent = (l/1974 t 0.8/1973 + O.7/1972)o’5

= l/1974 + 0.911973 + 0.84/1972

(2.54)

which differs from (2.53) mainly in the absence of the term 0.56/1971. Thus, if this term were of importance in the definition of more or less recent, then the approximation to more or less by a dilator would not be a good one. In Example 2.5, we have deduced the semantic rule by inspection, taking advantage of our familiarity with the evaluation of Boolean expressions. To illustrate a more general technique, we shall consider the same linguistic variable as in Example 2.10, but use a method [39] which is an adaptation of the approach employed by Knuth in [40] to define the semantics of contextfree languages.

326

EXAMPLE 2.6. It can readily be verified that the term-set of Example 2.5 is generated by a context-free grammar G = (V,, VA,, T, P) in which the nonterminals (syntactic categories) are denoted by T,A,B,C, D, i.e., VN=T+A+B+C+D+E, while the set of terminals (components of terms in T) is expressed by (2.56) (2.55)

V, = young t old t very t not t and t or t (t), and the production system, P, is given by T+A T-+T A +B, A+AandB, B --f C, B + not C, C + (T). The production system, P, can also be represented set of equations (see Footnote 3) T=A + TorA, or A, C-tD, C+E, D + very D, E+very E,

(2.57)

D + young, E --f old,

in an algebraic form as the

A=BtAandB, B=CtnotC, (2.58) C=(T)tDtE, D = very D + young, E = very E t old. The solution of this set of equations for T yields the term set T as expressed by (2.43). Similarly, the solutions for A, B, C, D and E yield sets of terms which constitute the syntactic categories denoted by A, B, C, D and E, respectively. The solution of (2.58) can be obtained iteratively, as in (2.32), by using the recursion equation

LINGUISTICVARIABLE

327
i=O,1,2 ,... , (2.59)

(T,A, B, c D, E)‘* l =f((Tt A, B, c,D, E)Q,
with (T,A,B,C,D,E)O=(B ,.*.,

@)

where (1: A, B, C, D, E) is a sextuple whose components are the nonterminals in (2.58); fis the mapping defined by the system of equations (2.58); 0 is the empty set; and (T, A, B, C, D,E)’ is the ith iterate of (T, A, B, C, D, E). The solution of (2.58), which is the fixed point off, is given by (7’,A, B, C, D, E)=. However, it is true for all i that

(7’s B, C, 0, E)’ C (T, A, B, C, D, E), A,

(2.60)

which means that every component in the sextuple on the left of (2.60) is a subset of the corresponding component on the right of (2.60). The implication of (2.60), then, is that we generate more and more terms in each of the syntactic categories T, A, B, C, 13,E as we iterate (2.59) on i. In a more conventional fashion, a term in T, say not very youl?g and not very old, is generated by G through a succession of substitutions (derivations) involving the productions in P, with each derivation chain starting with T and terminating on a term generated by G. For example, the derivation chain for the term not ve~-y young and not very old is (see also Example 2.4)
T-+A+AandB-+BandB+notCandB+notDandB+notveryD and B + not very young and B + nor very young and not C + not very young and not E + not very young and not very E + not very young (2.61) and not very old.

This derivation chain can be deduced from the syntax (parse) tree shown in Fig. 8, which exhibits the phrase structure of the term nor very young and not very old in terms of the syntactic categories T, A, B, C, D, E. In effect, this procedure for generating the terms in T by the use of the grammar G constitutes the syntactic rule for the variable Age.
The semantic rule for Age is induced by the syntactic rule described above in the sense that the meaning of a term in T is determined, in part, by its syntax tree. Specificahy, each production in (2.57) is associated with a relation between the fuzzy sets labeled by the corresponding terminal and nonterminal symbols. The resulting dual system of productions and associated equations has the appearance shown below, with the subscripts L and R serving to differentiate

328
T

A

/I\ and B

i

/\

K”’ not

C

i E

very

KY i
D old

I A
young

Fig. 8. Syntax tree for not very young and not very old.

between the symbols on the left- and right-hand union): T+A T+T A+B A+AandB B+C B-tnotC or A

sides of a production

(+ 4

‘Tr > =A,, *Tr 1 =TR +AR, *A, =BR, “BR,

(2.62) (2.63) (2.64) (2.65) (2.66) (2.67) (2.68)

=+-A, =A, “Br *BL "CL =CR, =TCR,

C-G’?

= TR,

LINGUISTICVARIABLE
C+D C+E D -+ very D E-+very E D + young E+old This dual system is employed ing of a composite term in T. ‘CL =DR,

329
(2.69) (2.70) (2.71) (2.72) (2.73) (2.74) the mean-

*C L =ER, *D, =(DR)*,

=+-EL= (ER)*, *

D, = young,

*E I. = old. in the following manner to compute

1. The term in question, e.g., not very young and not very old, is parsed by the use of an appropriate parsing algorithm for G [37], yielding a syntax tree such as shown in Fig. 8. The leaves of this syntax tree are (a) primary terms whose meaning is specified a priori; (b) names of modifiers (i.e., hedges, connectives, negation, etc.); and (c) markers such as parentheses which serve as aids to parsing. 2. Starting from the bottom, the primary terms are assigned their meaning and, using the equations of (2.62), the meaning of nonterminals connected to the leaves is computed. Then the subtrees which have these nonterminals as their roots are deleted, leaving the nonterminals in question as the leaves of the pruned tree. This process is repeated until the meaning of the term associated with the root of the syntax tree is computed. In applying this procedure to the syntax tree shown in Fig. 9, we first assign to young and old the meanings expressed by (2.45) and (2.46). Then, using (2.73) and (2.74), we find D7 = young and E,, Next, using (2.71) and (2.72), we obtain D6 = 0; and E 1,, =E:, =old
2

(2.75)

= old.

(2.76)

= young’

(2.77)

(2.7 8)

330
T

very

D7

old

young
Fig. 9. Computation of the meaning of not very youngand not very old.

Continuing

in this manner, we obtain
C5 = D6 = young’,

(2.79) (2.80) (2.81) (2.82)
(2.83)

C, = El0 = old’, B4 = 1 C5 = 1 boung2), B8 = lC9 = l(oZd’),
A3 =B4=l~oung2),

A2 =A3 nB, and hence
nor very young

=l(young2)nl(old2),

(2.84)

and not very old = 1 (young2)

cl 1 (old 2),

LINGUISTIC

VARIABLE

331

which agrees with the expression which we had obtained previously by inspection [see (2.44)]. The basic idea behind the procedure described above is to relate the meaning of a composite term to that of its constituent primary terms by means of a system of equations which are determined by the grammar which generates the terms in T. In the case of the Boolean linguistic variable of Example 2.5, this can be done by inspection. More generally, the nature of the hedges in the linguistic variable and its grammar G might be such as to make the computation of the meaning of its values a nontrivial problem.
GRAPHICAL REPRESENTATION OFA LINGUISTIC VARIABLE

A linguistic variable may be represented in a graphical form which is similar to that of an object in the Vienna definition language [41,42,43] . Specifically, a variable p is represented as a fan (see Fig. 10) whose root is labeled Z and whose edges are labeled with the names of the values of Z , i.e., X1, X2, . . . The object attached to the edge labeled Xi is the meaning of Xi. For example, in the case of the variable named Age, the edges might be labeled young, old, not young, etc., and the meaning of each such label can be represented as the graph of the membership function of the fuzzy set which is the meaning of the label in question (Fig. 11). It is important to note that, in the case of a structured linguistic variable, both the labels of the edges and the objects attached to them are generated algorithmically by the syntactic and semantic rules which are associated with the variable.
__ f

Fig. 10. Representation of a linguistic a Vienna definition language object.

variable

as

More generally, the graph of a linguistic variable may have the form of a tree rather than a single fan (see Fig. 12). In the case of a tree, it is understood that the name of a value of the variable is the concatenation of the names associated with an upward path from the leaf to the root. For example, in the tree of Fig. 12, the composite name associated with the path leading from node 3 to the root is very tall. quite fat. extremely intelligent. This concludes our discussion of some of the basic aspects of the concept of a linguistic variable. In the following section and Part III, we shall focus our attention on some of the applications of this concept.

332

Fig. 11. Representation of the linguistic variable Age as a Vienna definition language object.

Fig. 12. Tree representation

of the linguistic variable Profile.

3. LINGUISTIC TRUTH VARIABLES AND FUZZY LOGIC In everyday discourse, we frequently characterize the degree of truth of a statement by expressions such as very true, quite true, more or less true, essentially true, false, completely false, etc. The similarity between these expressions and the values of a linguistic variable suggests that in situations in which the truth or faIsity of an assertion is not well defined, it may be appropriate to treat 5%&z as a linguistic variable for which true and false are merely two of the primary terms in its term-set rather than a pair of extreme points in the universe of truth-values. Such a variable and its values will be called a linguistic truth variable and linguistic truth-values, respectively. Treating truth as a linguistic variabIe Ieads to a fuzzy Linguisticlogic, or simply fuzzy logic, which is quite different from the’~onvention~ two-valued

LINGUISTIC

VARIABLE

333

or even n-valued logic. This fuzzy logic provides a basis for what might be called approximate reasoning, that is, a mode of reasoning in which the truth-values and the rules of inference are fuzzy rather than precise. In many ways, approximate reasoning is akin to the reasoning used by humans in ill-defined or unquantifiable situations. Indeed, it may well be the case that much-perhaps mostof human reasoning is approximate rather than precise in nature. In the sequel, the term proposition will be employed to denote statements of the form “u is A ,” where u is a name of an object and A is the name of a possibly fuzzy subset of a universe of discourse U, e.g., “John is young,” “X is small,” “ apple is red,” etc. If A is interpreted as a fuzzy predicate,6 then the statement “u is A” may be paraphrased as “u has property A.” Equivalently, “u is A” may be interpreted as an assignment equation in which a fuzzy set named A is assigned as a value to a linguistic variable which denotes an attribute ofu, e.g., John is young + Age (John) = young X is small apple is red * Magnitude (X) = small -* Color (apple) = red

A proposition such as “u is A” will be assumed to be associated with two fuzzy subsets: (i) The meaning of A, M(A), which is a fuzzy subset of U named A; and (ii) the truth-value of “u is A,” or simply truth-value of A, which is denoted by v(A) and is defined to be a possibly fuzzy subset of a universe of truth-values, V. In the case of two-valued logic, V = T t F (T 4 true, F 4 false). In what follows, unless stated to the contrary, it will be assumed that V = [0, 11. A truth-value which is a point in [0, 11, e.g. v(A) = 0.8, will be referred to as a numerical truth-value. The numerical truth-values play the role of the values of the base variable for the linguistic variable i’kuth. The linguistic values of Truth will be referred to as linguistic truth-values. More specifically, we shall assume that Truth is the name of a Boolean linguistic variable in which the primary term is true, with false defined not as the negation of true,’ but as its mirror image with respect to the point 0.5 in [0, 11. Typically, the term-set of Truth will be assumed to be the following:

6More precisely,a fuzzy predicatemay be viewedas the equivalentof the membership function of a fuzzy set. To simplify our terminology, both A and /.lA will be referred to as a fuzzy predicate. ‘As will be seen later (3.1 l), the definition of fulse as the mirror image of trtle is a consequence of defining false as the truth-value of not A under the assumption that the truthvalue of A is true.

334
~(~t~)

= true + nut true + very true t more or less true f very very true + essentially true + very (not true) +notverytrue+~~~ + false + not false + very false + - * * + . . . not very true and not very false t * - *, (3.1)

in which the terms are the names of the truth-values. The meaning of the primary term true is assumed to be a fuzzy subset of the interval V = [0, I] characterized by a membership function of the form shown in Fig. 13. More precisely, true should be regarded as the name of a fuzzy variabIe whose restriction is the fuzzy set depicted in Fig. 13.

I_0

2

I-o

a

Ita 2

I
linguistic

Fig. 13. Compatibility functionsof truth-vaIues true and f&e.

A possible approximation to the membership function of true is provided by the expression forOdv<a for a < v < C!_ 2 for--a_tl_<vGl 2

(3.2)

which has v = (1 +a)/2 as its crossover point, (Note that the support of true is the interval [a, l] .) Correspondin~y, for false, we have (see Fig. 13)
Pfalse (v) = EL true ( 1-v), O<v<l.

ln some instances it is simpler to assume that true is a subset of the fmite universe of truth-values

LINGUISTIC VARIABLE

335

V=oto.1to.2t~*-to.9t

1

(3.3) true may be

rather than of the unit interval V = [0, l] . With this assumption, defined as, say, true = 0.510.7 t 0.710.8 t 0.910.9 t l/l,

where the pair 0.5/0.7, for example, means that the compatibility of the truthvalue 0.7 with true is 0.5. In what follows, our main concern will be with relations of the general form Y(U is : linguistic value of a Boolean linguistic variablep) = linguistic value of a Boolean linguistic truth variable _Yas in v(John is tall and dark and handsome) = not very true and not very false, where tall and dark and handsome is a linguistic value of a variable named G? 4 Appearance, and not very true and not very false is that of a linguistic truth variable 7. In abbreviated form, (3.4) will usually be written as

(3.4)

v(X) = T,
where X is a linguistic value of Lz” and T is that of?. Now suppose that X1, XZ and X1 * X2, where * is a binary connective, are linguistic values of Z’with respective truth-values v(Xr), v(X,) and v(X, * X,). A basic question that arises in this connection is whether or not it is possible to express v(Xr * X,) as a function of v(Xr) and v(XZ), that is, write

v(X, *&)=vWd*‘v(&),
where *’ is a binary connective associated with the linguistic truth variable 7 It is this question that provides the motivation for the following discussion.
LOGICAL CONNECTIVES IN FUZZY LOGIC

(3.5) ’

To construct a basis for fuzzy logic it is necessary to extend the meaning of such logical operations as negation, disjunction, conjunction and implication to ‘From an algebraic
T(p), the term-set ofz, in T(y) induced by*.
point of view, Y may be regarded to T(y), the term-set ofy, as a homomorphic mapping from with *’ representing the operation

336

operands which have linguistic rather than numerical truth-values. In other words, given propositions A and B, we have to be able to compute the truthvalue of, say, A and B from the knowledge of the linguistic truth-values of A and B. In considering this problem it is helpful to observe that, if A is a fuzzy subset of a universe of discourse I/ and u E U. then the two statements (a) The grade of membership of u in the fuzzy set A is pA (u). (b) The truth-value of the fuzzy predicate A is pA (u).

(3.6)

are equivalent. Thus, the question “What is the truth-value of A and B given the linguistic truth-values of A and B?” is similar to the question to which we had addressed ourselves in Part I, Sec. 3, namely, “What is the grade of membership of u in A n B given the fuzzy grades of membership of u in A and B ?” To answer the latter question we made use of the extension principle. The same procedure will be followed to extend the meaning of not, and, or and implies to linguistic truth-values. Specifically, if v(A) is a point in V = [0, l] representing the truth-value of the proposition “U is A,” (or simply A), where u is an element of a universe of discourse U, then truth-value of not A(or 1A) is given by v(notA)=
1 -v(A).

(3.7)

Now suppose that v(A) is not a point in [0, l] but a fuzzy subset of [0, 11 expressed as

where the vi are points in [0, l] and the pi are their grades of membership in v(A). Then, by applying the extension principle [Part I, Eq. (3.80)] to (3.7), we obtain the expression for v(not A) as a fuzzy subset of [0, l] , i.e., v(notA)=~i/(l-Vi)+*--+~J(l-Vn). (3.9)

In particular,

if the truth-value

of A is true, i.e., Y(A) = true, (3.10)

then the truth-value false may be defined as A fake = v(not A). (3.11)

LINGUISTIC VARIABLE

337

For example, if true = 0.517 t 0.710.8 t 0.910.9 t l/l, then the truth-value of not A is given by (3.12)

false = v(not A) = OS/O.3 t 0.7/0.2 + 0.9/0.1 t l/O. COMMENT 3.1. It should be noted that if true=I.c,/vi then by (3.33) of Part I, not true = (I-j_fl)/vl t By contrast, if v(A) = true =/Jr/v1 then false = v (not A) =~l/(l-v~)t...t~~/(l-Vn). The same applies to hedges. For example, by the definition very true = pi/v1 t * *. t pi/v,. On the other hand, the truth-value of very A is expressed by . (3.18) (3.16) of very [see (2.38)], (3.17) + (3.15) (3.14) t+*.+-p n /v n’ (3.13)

v(vely A) = j_fi/v: + * * . + pn,/vi

Turning our attention to binary connectives, let v(A) and v(B) be the linguistic truth-values of propositions A and B, respectively. To simplify the notation, we shall adopt the convention of writing-as in the case where v(A) and v(B) are points in [0, l] v(A) A v(B) for v(A and@, (3.19)

338

L. A. ZADEH Y(A) v v(B) for for v(A 01 B), u(.4 *B), (3.20) (3.21)

v(A) * Y(B) and

iv(A)

for

v(not A),

(3.22)

with the understanding that A, Vand 1 reduce to Min (conjunction), Max (disjunction) and I- operations when v(A) and v(B) are points in [0, 11. Now if u(A) and v(B) are linguistic truth-values expressed as
v(A) = a I/VI f * . . + an/v,, , v(B) =0,/w, + * *. + P&v,>

(3.23) (3.24)

where the vi and wi are points in [0, l] and the oi and /.Iiare their respective grades of membership in A and B, then by applying the extension principle to v(A and B), we obtain
v(A and B) = v(A)Av(B) = (cQ/VI + . .

-+qv,>A(P1IwI
I

+-+~,/wm)
(3.25)

=

c
hi

(aiAPi)/(vpw.).

Thus, the truth-value of A and B is a fuzzy subset of [0, l] whose support comprises the points vi Aw., i = 1, . . . , n, j = 1, . . . , m, with respective grades of membership (C\$A 0.). Note that (3.25) is equivalent to the expression (3.107) of Part I for the membership function of the intersection of fuzzy sets having fuzzy membership functions. EXAMPLE 3.2. Suppose that
v(A) = true

= OS/O.7 + 0.7/0.8 + 0.910.9 + l/l

(3.26)

LINGUISTIC VARIABLE and v(B) = not true = l/O t l/O.1 t l/0.2 t l/O.3 t l/O.4 + l/O.5 + l/O.6 t O.SlO.7+ 0.3/0.8 + 0.1/0.9. Then the use of (3.25) leads to
v (A and B) = true A not true = l/(0 + 0.1 t 0.2 t 0.3 + 0.4 t 0.S •t 0.6) t O.SlO.7

339

(3.27)

t 0.310.8 t 0.110.9 = not true. In a similar fashion, for the truth-value of A or B, we obtain v(‘4 0rB) = v(A)Vv(B) = (cILI/VI+ . . . + ~,lv,>v(Bllw (3.28)

+. . . •t L&&J
(3.29)

=

c (cyi~Pj)l(V,V Wj). i, i
v(A *B)=lv(A)vv(A)~v(B)

The truth-value of A * B depends on the manner in which the connective * is defined for numerical truth-values. Thus, if we define [see Part III, Eq. (2.24)]
(3.30)

for the case where v(A) and v(B) are points in [0, 11, then the application of the extension principle yields (see Part I, Comment 3.5) v(A *B) = [(or/vr +
= C * * * + an/vn) * (PI/W + * * . + Pm/w,)1

(~~A(3i)/(l-v~>V(v~Awj)

(3.31)

i, i

for the case where v(A) and v(B) are fuzzy subsets of [0, I] .

340

COMMENT 3.3. It is important to have a clear understanding of the difference between and in, say, true and not true, and A in true Anot true. In the former, our concern is with the meaning of the term true and not true, and and is defined by the relation M(true and not true) = M(true) fl M(not true), (3.32)

where M is the function mapping a term into its meaning (see Definition 2.1). By contrast, in the case of true Anot true we are concerned with the truth-value of true Anot true, which is derived from the equivalence [see (3.19)] v(A and B) = v(A) Av(B). (3.33)

Thus, in (3.32) n is the operation of intersection of fuzzy sets, whereas in (3.33) Ais that of conjunction. To illustrate the difference by a simple example,let V=OtO.l t.+ - + 1, and let P and 0 be fuzzy subsets of V defined by P = 0.510.3 + 0.810.7 + 0.6/l, Q = 0.1/0.3 + 0.6/0.7 t l/l. Then P n Q = 0.110.3 + 0.610.7 t 0.6/l, whereas P/\Q = 0.510.3 t 0.810.7 + 0.611. (3.37) (3.36) (3.34) (3.35)

Note that the same issue arises in the case of not and 1, as pointed out in Comment 3.1. COMMENT 3.4. It should be noted that in applying the extension principle [Part I, Eq. (3.96)] to the computation of v(A and B), v(A or B) and ~(4 *B), we are tacitly assuming that v(A) and v(B) are noninteractive fuzzy variables in the sense of Part I, Comment 3.5. If Y(A) and v(B) are interactive, then it is necessary to apply the extension principle as expressed by (3.97) of Part I rather than (3.96). It is of interest to observe that the issue of possible interaction between v(A) and v(B) arises even when v(A) and v(B) are points in [0, l] rather than fuzzy variables. COMMENT 3.5. By employing the extension principle to define the operations A, v , 1 and =+on linguistic truth-values, we are in effect treating

LINGUISTIC VARIABLE

341

fuzzy logic as an extension of multivalued logic. In the same sense, the classical three-valued logic may be viewed as an extension of two-valued logic [see Eqs. (3.64) et seq.]. The expressions for v(not A), v(A and B), v(A or B) and v(A * f?) given above become more transparent if we first decompose v(A) and v(B) into level-sets and then apply the level-set form of the extension principle [see (3.86)] to the operations 1, A,V and =+-. this way, we are led to a simple In graphical rule for computing the truth-values in question (see Fig. 14). Specifically, let the intervals [ai, a21 and [br, b2] be the o-level sets for v(A) and v(B). Then, by using the extensions of the operations 1, AandV to intervals, namely [see Part I, Eq. (3.100)]
1 b1,azl = [1 -a2,1 -all, = [alAh,azAbzl, = [~IV h,a2vb21,

(3.38) (3.39) (3.40)

[a~,azl /\[b,,b21
bi,a2lv

[h,b21

we can find by inspection the a-level-sets for v (not A), v (A and B) and v (A or El). Having found these level-sets, u(not A), v(A and B) and v(A or B) can readily be determined by varying ar from 0 to 1. As a simple illustration, consider the determination of the conjunction of linguistic truth-values v(A) 4 true and v(B) &false, with the membership functions of true and false having the form shown in Fig. 15.

I

Membership

aI
Fig. 14. Level-sets

02

bl

b2 of A and B.

V

of truth-values

We observe that, for all values of CY,
b1,a21" [h,b21 = [h,b21, (3.41)

which implies that [see Part I, Eq. (3.118)] (3.42)

342
, Membership

Fig. 15. Computation of the truth-value of the conjunction of true and fake.

Consequently, merely on the basis of the form of the membership functions of true and j&e, we can conclude that
true A false = false,

(3.43)

which is consistent with (3.25).
TRUTH TABLES AND LINGUISTIC APPROXIMATION

In two-valued, three-valued and, more generally, iz-valued logics the binary connectives A ,V and * are usually defined by a tabulation of the truthvalues of A and B, A or B and A * B in terms of the truth-v~ues of A and B. Since in a fuzzy Logicthe number of truth-values is, in general, infinite,r\, Vand * cannot be defined by tabulation. However, it may be desirable to tabulate say,A ,for a finite set of truth-values of interest, e.g., true, not true, false, very true, very (not true), more or less true, etc. In such a table, for the entry in the ith row (say not true) and in the jth column (say more or less true), the (i,j)th entry would be
(i, j)th entry = ith row label (4 not true))\ jth column label (4 more or less true).

(3.44) Given the definition of the primary term true and the definitions of the modifiers nof and more or less, we can compute the right-hand side of (3.44), that is,
not true fY more or less true

(3.45)

LINGUISTIC

VARIABLE

343

by using (3.25). However, the problem is that in most instances the result of the computation would be a fuzzy subset of the universe of truth-values which may not correspond to any of the truth-values in the term-set of Truth. Thus, if we wish to have a truth table in which the entries are linguistic, we must be content with an approximation to the exact truth-value of (ith row label A jth column label). Such an approximation will be referred to as a linguistic approximation. (See Part I, Fig. 5.) As an illustration, suppose that the universe of truth-values is expressed as V=OtO.l and that true = 0.7/0.8 + 110.9 + l/l, more or less true = 0.510.6 t 0.710.7 + l/O.8 t l/0.9 t l/l and almost true = 0.610.8 + 110.9 t 0.6/l. (3.49) (3.47) (3.48) to.2+*.*+ 1, (3.46)

In the truth-table for V , assume that the ith row label is more or less true and the jth column label is almost true. Then, for the (i,j)th entry in the table, we have

more or less true Valmost

true = (0.510.6 + 0.710.7 + l/0.8 + 110.9 •t l/l)v(O.6/0.8 + l/O.9 +0.6/l) = 0.6/0.8 + l/0.9 + l/l. (3.50)

Now, we observe that the right-hand side of (3.50) is approximately equal to rrue as defined by (3.47). Consequently, in the truth table for V, a linguistic approximation to the (i,j)th entry would be true.

THE TRUTH- VALUES UNKNOWN AND UNDEFINED

Among the truth-values that can be associated with the linguistic variable Truth, there are two that warrant special attention, namely, the empty set 8 and the unit interval [0, l] -which correspond to the least and greatest elements (under set inclusion) of the lattice of fuzzy subsets of [0, l] . The importance of these particular truth-values stems from their interpretability as

344

the truth-values undefined and unknown, 9 respectively. For convenience we shall denote these truth-values by f3and ?, with the understanding that f3and ? are defined by

e 42 j
0

o/v

(3.51)

and A ? = V = universe of truth-values = [OS11
I =

J l/w.
0

(3.52)

Interpreted as grades of membership, undefined and unknown enter also in the representation of fuzzy sets of type 1. For such sets, the grade of membership of a point u in U may have one of three possible forms: (i) a number in the m interval [0, I] ; (ii) B (unde~ned); and (“‘> ? (un k nown). As a simple example, let U=a+b+c+d+e and consider a fuzzy subset of U represented as
A =

(3.53)

O.la f 0.9b + ?c + 5d.

(3.54)

In this case, the grade of membership of c in A is unknown and that of d is undefined. More generally, we may have (3.55) meaning that the grade of membership of c in A is partiafly unknown, with 0.8 ?c interpreted as 0.8?& (3.56)

‘The concept of unknown is reiated to that of don? care in the context of switching circuits [44]. Another related concept is that of quasi-truth-functionality [46].

LINGUISTICVARIABLE

345

It is important to have a clear understanding of the difference between 0 and 0. When we say that the grade of membership of a point u in A is 6’) what we mean is that the membership function pA : II + [0, 11 is undefined at u. For example, suppose that U is the set of real numbers and pA is a function defined on integers, with cl, (u) = 1 if u is an even integer and pA (u) = 0 if u is an odd integer. Then the grade of membership of u = 1.5 in A is 6 rather than 0. On the other hand, if PA were defined on real numbers and ,uA4 = 1 (u) iff u is even, then the grade of membership of 1.5 in A would be 0. Since we know how to compute the truth-values of A and B, A or B and not B given the linguistic truth-values of A and B, it is a simple matter to compute v(A and B), v(A or B) and v(not B) when v(B) = ?. Thus, suppose that

d4=
and v(B)=?=

1 /-G)I~
0

(3.57)

1 l/w.
0

(3.58)

By applying the extension principle, as in (3.25), we obtain

v(A)A?

=

1 p(v),m)
I/w
0 0
1 1

=

ss
u
0

I*(v)l(vA WI,

(3.59)

where

ds s
1 1

b

(3.60)

[O, 11 x LO,11 ’

and which upon simplification reduces to
1

v(A)A?

=

s

Wp,

1)P @)I /w.

(3.61)

0

In other words, the truth-value of A and B, where v(B) = unknown, is a fuzzy subset of [0, I] in which the grade of membership of a point w is given by the

346

supremum of p(y) (member~ip function of A) over the interval [w, I] . In a similar fashion, the truth-value of A or B is found to be expressed by

(3.62)

It should be noted that both (3.61) and (3.62) can readily be obtained by the graphical procedure described earlier [see (3.38) et seq.]. An example illustrating its application is shown in Fig. 16.

Fig. 16. Conjunction and disjunction of the truth-value of A with the truth-value unknown (4 ?).

Turning to the case where v(B) = 6, we find v(A)A@ = j
0

i
0

O~~VAW)

1 = f 0 = 8 o/w

(3.63)

and likewise for v(A)v

8.

LINGUISTIC VARIABLE

347

It is instructive to examine what happens to the above relations when we apply them to the special case of two-valued logic, that is, to the case where the universe V is of the form
v=ot 1,
(3.64)

or, expressed more conventionally,
V=T+F, (3.65)

where T stands for true and F stands forfilse. Since ? is V, we can identify the truth-value unknown with true or false, that is,
?=TtF (3.66)

The resulting logic has four truth-values: 0, T, F and T t F (i?), and is an extension of two-valued logic in the sense of Comment 3.5. Since the universe of true-v~ues has only two elements, it is expedient to derive the truth tables for V, A and * in this four-valued logic directly rather than through specialization of the general formulae (3.25), (3.29) and (3.3 1). Thus, by applying the extension principle to A, we find at once

TAO=8, TA(TtF)=TAT+TAF =TtF, FA(TtF)=FATtFAF =FtF = F, (TtF)A(T+F)=TATtTAFtFATtFAF =TtFtFtF =TtF,

(3.67)

(3.68)

(3.69)

(3.70)

and consequently the extended truth-table for Ahas the form shown in Table 1.

348
TABLE 1 F T+F

Ale

T

Upon suppression

of the entry 0, this reads as shown in Table 2.
TABLE 2 F T+F

Similarly, for the operationv

we obtain Table 3.
TABLE 3

These tables agree-as they should-with the corresponding truth tables for A andv in conventional three-valued logic [46]. The approach employed above provides some insight into the definition of * in two-valued logic-a somewhat controversial issue which motivated the development of modal logic [45,47] . Specifically, instead of defining * in the conventional fashion, we may define * as a connective in three-valued logic by the partial truth table in Table 4,
TABLE 4

LINGUISTIC VARIABLE

349

which expresses the intuitively reasonable idea that if A * B is frue and A is false, then the truth-value of B is unknown. Now we can raise the question: How shduld the blank entries in the above table be filled in order to yield the entry T in the (2,3) position in Table 4 upon the application of the extension principle? Thus, denoting the unknown entries in positions (2, 1) and (2,2) by x and y, respectively, we must have F=‘(T+F)=(F*T)t(F*F)
=x ty

=r, which necessitates that x=y=T.

(3.7 1)

(3.72)

In this way, we are led to the conventional definition of * in two-valued logic, which is expressed by the truth table

As the above example demonstrates, the notion of the unknown truth-value in conjunction with the extension principle helps to clarify some of the concepts and relations in the conventional two-valued and three-valued logics. These logics may be viewed, of course, as degenerate cases of a fuzzy logic in which the truth-value unknown is the entire unit interval rather than the set 0 + 1.
COMPOSITE TRUTH VARIABLES AND TRUTH-VALUE DISTRIBUTIONS

In the foregoing discussion, we have limited our attention to linguistic truth variables which are unary variables in the sense of Part I, Definition 2.1. In the following, we shall define the concept of a composite truth variable and dwell briefly on some of its implications. Thus, let 5r-4 (Y-i, . . . ) _Fn) (3.73)

denote an nary composite linguistic truth variable in which each?, i = 1, . . . , n, is a unary linguistic truth variable associated with a term-set Ti , a universe of discourse Vi, and a base variable vi (see Definition 2.1). For simplicity, we shall

3.50

sometimes employ the symboWi in the dual role of (a) the name of the ith variable in (3.73), and (b) a generic name for the truth-values of Yi. Furthermore,we-shallassumethat Tr =T2 =**.=T, and Vr = Vz =.e.= V, = [0, I]. Viewed as a composite variable whose component variables ,3-r, . . . , Y, take values in their respective universes T1, . . . , T,,, ._F is an n-ary nonfuzzy variable [see Part I, Eq. (2.3) et seq.]. Thus, the restriction R(Y) imposed byy is an n-ary nonfuzzy relation in T1 X . . * X T, which may be represented as an unordered list of ordered n-tuples of the form
R(Y) = (true, very true, false, . . . , quite true) + (quite true, true, very true, . . . , very true) + (true, true, more or less true, . . . , true) +...

(3.74)

The n-tuples in R(Y) will be referred to as truth-value assignment lists since each such n-tuple may be interpreted as an assignment of truth-values to a list of propositions A 1, . . . , A,, with AQ4,,...,‘4,) representing a composite proposition. For example, if
A 4 (Scott is tall, Pat is dark-haired, Tina is very pretty),

(3.75)

then a triple in R(F) of the form (very true, true, very true) would represent the following trut&alue assignments: v(Scott is tall) = very true, v(Pat is dark-haired) = true, v(Tina is very pretty) = very true.
(3.76) (3.77) (3.78)

Based on this interpretation of the n-tuples in Re), we shall frequently refer to R(F) as a truth-value distribution. Correspondingly, the restriction R(.+. . . ,yik) which is imposed by the k-ary variable (Yi,, . . . ,qk), whereq=(ir,... , ik) is a subsequence of the index sequence (1, . , . , n), will be referred to as a marginal truth-value distribution induced by R( yI, . . . ,Y,) [see Part I, Eq. (2.8)]. Then, using the notation employed in Part I, Sec. 2 (see also Note 1.1 in this Part), the relation between R(YiI, . . . .qk) and R(Y-r,.. . .&> may be expressed compactly as

LINGUISTIC VARIABLE R(qJ =pq R(Y)?

351 (3.79)

where Pq denotes the operation of projection on the Cartesian product Ti, X
- . . X T.
‘k

EXAMPLE 3.1 Suppose that R( 9 ) is expressed by

= (true, quite true, veq true) + (very true, true, very very true) t (rrue, false, quite true) + (f&e, false, very true).

(3.80)

TO obtain R( Fr , sr;) we delete the Y3 component in each triple, yielding
MY,, F2) = (true, quite true) t (very true, true) t (true, false) t cfaise, fake).

(3.8 1)
we obtain

Similarly, by deleting theFz

components in R( c”r;. Yi),

R(ygjW= true + very true + false.

(3.82)

If we view .Y as an n-ary nonfuzzy variable whose values are linguistic truthvalues, the definition of noninteraction (Part I, Definition 2.2) assumes the following form in the case of linguistic truth variables. DEFINITION 3.1. The components of an n-ary linguistic truth variabler = are A-noninteractive (X standing for linguistic) iff the truth-value o-1, *. . ?_F-J distribution R( pi, . . . . ~Tn) is separable in the sense that
R(,~P-~,...,~,)=R(~)X...XR(~~).

(3.83)

The implication of this definition is that, ifyr , . . . . yn are X-noninteractive, then the assignment of specific linguistic true-v~ues to 4,) . . . , .Yik does not affect the truth-values that can be assigned to the complementary com. ponents in (Yr , . . . ,,a ,), Y. , . . . ,yj Before proceeding to illustrate the conczpt of X-noninteraction by examples, we shall define another type of noninteraction which will be referred to as @zoninteraction (6 standing for base variable).
Ii

352

DEFINITION 3.2. The components of an n-ary linguistic truth variable =(Yr,. . . . Fn) are Pnoninteractive iff their respective base variables Vl,. . . I v,, are noninteractive in the sense of Part I, Definition 2.2; that is, the vi are not jointly constrained. To illustrate the concepts of noninteraction defined above we shall consider a few simple examples. EXAMPLE 3.2. For the truth-value distribution of Example 3.1, we have
R( _TI ) = true + very true t false, R( Yz) = quite true t true t false, R(Ta) = very true t very very true t quite true,

(3.84)

and thus
R( .~;)XR(S)XR(Y-S)= (true, quite true, very true) t (verytrue, quite true, very true) ... + (false, false, quite true) #R(S .Fz, 55), . Y2,

(3.85) Fs

which implies that R(YI z2 are h-interactive.

yy3) is not separable and hence/T1

EXAMPLE 3.3. Consider a composite proposition of the form (A, not A) and assume for simplicity that T(Y) = true t false. In view of (3.1 l), if the truth-value of A is true then that of not A is false, and vice versa. Consequently, the truth-value distribution for the propositions in question must be of the form
R(Y, Z2) = (true, false) + (fdse, true),

(3.86)

which induces
R(,F~) = R(yz) = true + false.

(3.87)

Now
R(yI) X R(,~E~) = (true + false) X (true + false) = (true, true) + (true, false) t (false, true) t (false, false),

(3.88)

and since

LINGUISTIC VARIABLE

353

it follows that .Fr and Yz are h-interactive. EXAMPLE 3.4. The above example can also be used as an illustration of P-interaction. Specifically, regardless of the truth-values assigned to A and not A, it follows from the definition of not [see Part I, Eq. (3.33)] that the base variables vi and v2 are constrained by the equation
Vl

tv2

=

1.

(3.89)

In other words, in the case of a composite proposition of the form (A, not A), the sum of the numerical truth-values of A and not A must be unity. REMARK 3.1. It should be noted that, in Example 3.4, &interaction is a consequence of A2 being related to A 1 by negation. In general, however, Yi, . . . _Tn may be h-interactive without being o-interactive. A useful application of the concept of interaction relates to the truth-value unknown [see (3.52)] . Specifically, assuming for simplicity that V = T + F, suppose that A 1 4 Pat lives in Berkeley, A2 2 Pat lives in San Francisco, (3.90) (3.91)

with the understanding that one and only one of these statements is true. This implies that, although the truth-values of A 1 and A2 are unknown (4 ? = T t F), that is, t&l,)
=-T+ F,

~(4,) = T+ F, they are constrained by the relations

(3.92)

v(Ar)A

v(A2) = F.

(3.94)

Equivalently, the truth-value distribution associated with (3.90) and (3.91) may be regarded as the solution of the equations

l+i1;v

442) = T,

(3.95)

354

which is
R(&, 3) = (T, F) + (F, T). (3.97)

Note that (3.97) implies
v(A1)=R(_jLjT)=T+F (3.98)

and
v(A,)=R(<rz)=T+F, (3.99)

in agreement with (3.92). Note also that .Tr and 3s are P-interactive in the sense of Definition 3.2, with I/ = T + F. Now if A, and A, were changed to A 1 4 Pat lived in Berkeley, A z 4 Pat lived in San Francisco, (3.100) (3.101)

with the possibility that both A 1 and As could be true, then we would still have
v(AI)=?=T+F, (3.102) (3.103)

v(Az) = ? = T+ F, but the constraint equation would become v(Alj v v(A,)=T.

(3.104)

In this case, the truth-value distribution is the solution of (3.104), which is given by
R@t, Y2) = (true, true) + (true, false) + Cfalse, true).

(3.105)

An important observation that should be made inconnection with the above examples is that in some cases a truth-value distribution may be given in an implicit from, e.g., as a solution of a set of truth-value equations, rather than as an explicit list of ordered n-tunles of truth-values. In general, this will be the case where linguistic truth-values are assigned not to eachAj in A = (A 1, . . . , A,), but to Boolean expressions involving two or more of the components of A.

LINGUISTIC VARIABLE

355

Another point that should be noted is that truth-value distributions may be nested. As a simple illustration, in the case of a unary proposition we may have a nested sequence of assertions of the form “ “ “Vera is very very intelligent” is very true” is true.” (3.106)

Restrictions induced by assertions of this type may be computed as follows. Let the base variable in (3.106) be IQ, and let R,(IQ) denote the restriction on the IQ of Vera. Then the proposition “Vera is very very intelligent” implies that R,(IQ) = very very intelligent.
(3.107)

Now, the proposition “ “Vera is very vev intelligent” is very true” implies that the grade of membership of Vera in the fuzzy set R. (IQ) is very true [see (3.6)1. Let P ve,,, tme denote the membership function of very true [see (3.17)] , and let /.L~ denote that of R,, (IQ). Regarding /.L~ as a relation from the range o ofIQto [d l],letpS i0 denote the inverse relation from [0, l] to the range of IQ. This relation, then, induces a fuzzy set R 1 (IQ) expressed by

RI (IQ) I.\$o (vev true>, =

(3.108)

which can be computed by the use of the extension principle in the form given in Part I, Eq. (3.80). The fuzzy set R 1 (IQ) represents the restriction on IQ induced by the assertion “ “Vera is very very intelligent” is very true. ” Continuing the same argument, the restriction on IQ induced by the assertion “ “ “Vera is very very intelligent” is very true” is true” may be expressed as

R2 (IQ) = I-\$/,We>,

(3.109)

where pm’1 denotes the relation inverse to /+ , which is the membership funcR tion of R I (IQ) given by (3.108). In this way,‘we can compute the restriction induced by a nested sequence of assertions such as that exemplified by (3.106). The basic idea behind the technique sketched above is that an assertion of the form “ “u is A” is T,” where A is a fuzzy predicate and T is a linguistic truth-value, modifies the restriction associated with A in accordance with the expression

-’ where IJ~ is the inverse of the membership function of A, and A’ is the restriction induced by the assertion “ “u is A” is T.”

LINGUISTICVARIABLE

357

33. E. Shamir, Algebraic, Rational and Context-Free Power Series in Noncommuting Variables, in M. Arbib’s Algebraic Theory of Machines, Languages and Semigroups, Academic, New York, 1968, pp. 329-341. 34. A. Blikle, Equational languages,Inf. Control 21, 134-147 (1972). 35. D. J. Rosenkrantz, Matrix equation and normal forms for context-free grammars, J. Assoc. Comput. Mach. 14,501-507,1967. 36. J. E. Hopcroft and J. D. Ullman, Formal Languages and Their Relations to Automata, Addison-Wesley, Reading Mass., 1969. 37. A. V. Aho and J. D. Ullman, The Theory of Parsing, Translation and Compiling, Prentice-Hall, Englewood Cliffs, N.J., 1973. 38. G. Lakoff, Hedges: a study in meaning criteria and the logic of fuzzy concepts, in Proc. 8th Reg. Meeting of Chic. Linguist. Sot., Univ. of Chicago Linguistics Dept., April 1972. 39. L. A. Zadeh, Quantitative fuzzy semantics, Znf Sci. 3, 159-176 (1971). 40. D. Knuth, Semantics of context-free languages, Math. Syst. Theory, 2,127-145 (1968). 41. P. Lucas et al., Method and notation for the formal definition of programming languages, Rept. TR 25.087, IBM Laboratory, Vienna, 1968. 42. P. Wegner, The Vienna definition language, ACM Comput. Surv. 4, S-63, (1972). 43. J. A. Lee, Computer Semantics, Van Nostrand-Reinhold, New York, 1972. 44. Z. Kohavi, Switching and Finite Automata Theory, McGraw-Hill, New York, 1970. 45. G. E. Hughes and M. J. Cresswell, An Introduction to Modal Logic, Methuen, London, 1968. 46. N. Rescher, Many-Valued Logic, McGraw-Hill, New York, 1969. 47. R. Barkan, A functional calculus of first order based on strict implication, J. Symbol. Logic 11, 1-16 (1946). 48. L. A. Zadeh, Probability measures of fuzzy events, J. Math. Anal. Appl. 23,421427 (1968). 49. A. DeLuca and S. Termini, A definition of non-probabilistic entropy in the setting of fuzzy set theory, Znfi Control 20,201-312 (1972). 50. J. Hintikka and P. Suppes (Eds.), Aspects of Inductive Logic, North-Holland, Amsterdam, 1966. 51. T. Winograd, Understanding Natural Language, Academic, New York, 1972. 52. A. DeLuca and S. Termini, Algebraic properties of fuzzy sets, J. Math. Anal. Appl. 40,
53.

54. 55. 56. 57. 58. 59. 60.

(1972). A. Rosenfeld, Fuzzy groups, J. Math. Anal. Appl. 35,512-517 (1971). L. A. Zadeh, Fuzzy Algorithms,Znf Control 12,94-102 (1968). E. Santos, Fuzzy algorithms,Inf Control 17,326-339 (1970). S. K. Chang, On the execution of fuzzy programs using finite state machines, IEEE Trans. Electron. Comput., C-21, 241-253 (1972). S. S. L. Chang and L. A. Zadeh, Fuzzy mapping and control, IEEE Trans. Syst., Man and Cybern., SMC-2, 30-34 (1972). E. T. Lee, Fuzzy languages and their relation to automata, Dissertation, Dept. of Electr. Eng. and Comput. Sci., Univ. of Calif., Berkeley, 1972. R. C. T. Lee, Fuzzy logic and the resolution principle, .I. Assoc. Comput. Mach. 19, 109-119 (1972). K. M. Colby, S. Weber and F. D. Hilf, Artificial paranoia, J. Arti' Intell. 2, l-25 (1971).

373-386