1. Theory and Applications
FUZZY SETS AND
FUZZY LOGIC
Theory and Applications
PART 6 Fuzzy Logic
1. Classical logic
2. Multivalued logics
3. Fuzzy propositions
4. Fuzzy quantifiers
5. Linguistic hedges

2. Theory and Applications
FUZZY SETS AND
FUZZY LOGIC
Theory and Applications
6. Inference from conditional fuzzy propositions 7. Inference from conditional and qualified propositions 8. Inference from quantified propositions

3. Classical logic Inference rules
Various forms of tautologies can be used for making deductive inferences. They are referred to as inference rules. Examples :

4. Classical logic Existential quantifier
Existential quantification of a predicate P(x) is expressed by the form
"There exists an individual x (in the universal set X of the variable x) such that x is P". We have the following equality:

5. Classical logic Universal quantifier
Universal quantification of a predicate P(x) is expressed by the form.
“For every individual x (in the universal set) x is P". Clearly, the following equality holds:

6. Classical logic General quantifier Q
The quantifier Q applied to a predicate P(x),
x X, as a binary relation
where α, β specify the number of elements of X for which P(x) is true or false, respectively. Formally,

7. Multivalued logics

8. Multivalued logics n-valued logics
For any given n, the truth values in these generalized logics are usually labelled by rational numbers in the unit interval [0, 1]. The set Tn of truth values of an n-valued logic is thus defined as
These values can be interpreted as degrees of truth.

9. Multivalued logics
Lukasiewicz uses truth values in Tn and defines the primitives by the following equations:

10. Multivalued logics
Lukasiewicz, in fact, used only negation and implication as primitives and defined the other logic operations in terms of these two primitives as follows:

11. Fuzzy propositions Unconditional and unqualified proposition
The canonical form of fuzzy propositions of this type, p, is expressed by the sentence
where V is a variable that takes values v from some universal set V, and F is a fuzzy set on V that represents a fuzzy predicate, such as tall, expensive, low, normal, and so on.

12. Fuzzy propositions
Given a particular value of V (say, v), this value belongs to F with membership grade F(v). This membership grade is then interpreted as the degree of truth, T(p), of proposition p. That is,
for each given particular value v of variable V in proposition p. This means that T is in effect a fuzzy set on [0,1], which assigns the membership grade F(v) to each value v of variable V.

13. Fuzzy propositions

14. Fuzzy propositions
In some fuzzy propositions, values of variable V are assigned to individuals in a given set / . That is, variable V becomes a function V : / → V, where V ( i ) is the value of V for individual i in V. The canonical form must then be modified to the form

15. Fuzzy propositions Unconditional and qualified proposition
Propositions p of this type are characterized by either the canonical form
or the canonical form

16. Fuzzy propositions
In general, the degree of truth, T(p), of any truth-qualified proposition p is given for each v V by the equation
An example of a truth-qualified proposition is the proposition "Tina is young is very true."

17. Fuzzy propositions

18. Fuzzy propositions
Let us discuss now probability-qualified propositions of the form (8.8). For any given probability distribution f on V, we have
and, then, the degree T(p) to which proposition p of the form (8.8) is true is given by the formula

19. Fuzzy propositions
As an example, let variable V be the average daily temperature t in °F at some place on the Earth during a certain month. Then, the probability-qualified proposition
p : Pro { temperature t (at given place and time) is around 75 °F } is likely
may provide us with a meaningful characterization of one aspect of climate at the given place and time.

20. Fuzzy propositions

21. Fuzzy propositions Conditional and unqualified proposition
Propositions p of this type are expressed by the canonical form
where X, Y are variables whose values are in sets X, Y, respectively, and A, B are fuzzy sets on X, Y, respectively.

22. Fuzzy propositions
These propositions may also be viewed as propositions of the form
where R is a fuzzy set on X x Y that is determined for each x X and each y Y by the formula
where J denotes a binary operation on [0, 1] representing a suitable fuzzy implication.

23. Fuzzy propositions
Here, let us only illustrate the connection for one particular fuzzy implication, the Lukasiewicz implication
This means, for example, that T(p) = 1 when X = x1 and Y = y1; T(p) = .7 when X = x2 and Y = y1 and so on.

24. Fuzzy propositions Conditional and qualified proposition
Propositions of this type can be characterized by either the canonical form
or the canonical form
where Pro {X is A | Y is B} is a conditional probability.

25. Fuzzy quantifiers First Kind - Ⅰ
There are two basic forms of propositions that contain fuzzy quantifiers of the first kind. One of them is the form
where V is a variable that for each individual i in a given set / assumes a value V(i), F is a fuzzy set defined on the set of values of variable V, and Q is a fuzzy number on R.

26. Fuzzy quantifiers
Any proposition p of this form can be converted into another proposition, p', of a simplified form,
where E is a fuzzy set on a given set / that is defined by the composition

27. Fuzzy quantifiers For example, the proposition
p : "There are about 10 students in a given class whose fluency in English is high“
can be replaced with the proposition
p’ : "There are about 10 high-fluency English-speaking students in a given class."
Here, E is the fuzzy set of "high-fluency English-speaking students in a given class."

28. Fuzzy quantifiers Proposition p' may be rewritten in the form
where W is a variable taking values in R that represents the scalar cardinality, W = |E|,
and,

29. Fuzzy quantifiers Example :
p : There are about three students in / whose fluency in English, V( i ), is high.
Assume that / = {Adam, Bob, Cathy, David, Eve}, and V is a variable with values in the interval [0, 100] that express degrees of fluency in English.

30. Fuzzy quantifiers

31. Fuzzy quantifiers First Kind - Ⅱ
Fuzzy quantifiers of the first kind may also appear in fuzzy propositions of the form
where V1, V2 are variables that take values from sets V1, V2, respectively, / is an index set by which distinct measurements of variables V1,V2 are identified (e.g., measurements on a set of individuals or measurements at distinct time instants), Q is a fuzzy number on R, and F1, F2 are fuzzy sets on V1, V2 respectively.

32. Fuzzy quantifiers
Any proposition p of this form can be expressed in a simplified form,
where E1, E2 are

33. Fuzzy quantifiers Moreover, p’ may be interpreted as
we may rewrite it in the form
where W is a variable taking values in R and W = | E1 ∩ E2|.

34. Fuzzy quantifiers Using the standard fuzzy intersection, we have
Now, for any given sets E1 and E2 ,

35. Fuzzy quantifiers Second Kind
These are quantifiers such as "almost all," "about half," "most," and so on. They are represented by fuzzy numbers on the unit interval [0, 1].
Examples of some quantifiers of this kind are shown in Fig. 8.5.

36. Fuzzy quantifiers

37. Fuzzy quantifiers
Fuzzy propositions with quantifiers of the second kind have the general form
where Q is a fuzzy number on [0, 1], and the meaning of the remaining symbols is the same as previously defined.

38. Fuzzy quantifiers
Any proposition of the this form may be written in a simplified form,
where E1, E2 are fuzzy sets on X defined by

39. Fuzzy quantifiers we may rewrite p’ in the form where
for any given sets E1 and E2.

40. Linguistic hedges Linguistic hedges
Given a fuzzy predicate F on X and a modifier h that represents a linguistic hedge H, the modified fuzzy predicate HF is determined for each x X by the equation
This means that properties of linguistic hedges can be studied by studying properties of the associated modifiers.

41. Linguistic hedges
Every modifier h satisfies the following conditions:

42. Linguistic hedges
A convenient class of functions that satisfy these conditions is the class
where α R+ is a parameter by which individual modifiers in this class are distinguished and a [0, 1]. When α < 1, hα is a weak modifier; when α > 1, hα is a strong modifier; h1 is the identity modifier.

43. Exercise 6
8.4
8.8
8.9