1 vagueness the oxford companion to philosophy (1995): “words like smart, tall, and fat are vague...

44
1 Vagueness The Oxford Companion to Philosophy (1995): “Words like smart, tall, and fat are vague since in most contexts of use there is no bright line separating them from not smart, not tall, and not fat respectively …”

Upload: daniel-henderson

Post on 06-Jan-2018

218 views

Category:

Documents


0 download

DESCRIPTION

3 Fuzzy Sets Zadeh, L.A. (1965). Fuzzy Sets Journal of Information and Control

TRANSCRIPT

Page 1: 1 Vagueness The Oxford Companion to Philosophy (1995): “Words like smart, tall, and fat are vague since in most contexts of use there is no bright line

1

Vagueness• The Oxford Companion to Philosophy (1995):

“Words like smart, tall, and fat are vague since in most contexts of use there is no bright line separating them from not smart, not tall, and not fat respectively …”

Page 2: 1 Vagueness The Oxford Companion to Philosophy (1995): “Words like smart, tall, and fat are vague since in most contexts of use there is no bright line

2

Vagueness• Imprecision vs. Uncertainty:

The bottle is about half-full.

vs.

It is likely to a degree of 0.5 that the bottle is full.

Page 3: 1 Vagueness The Oxford Companion to Philosophy (1995): “Words like smart, tall, and fat are vague since in most contexts of use there is no bright line

3

Fuzzy Sets• Zadeh, L.A. (1965). Fuzzy Sets

Journal of Information and Control

Page 4: 1 Vagueness The Oxford Companion to Philosophy (1995): “Words like smart, tall, and fat are vague since in most contexts of use there is no bright line

4

Fuzzy Set DefinitionA fuzzy set is defined by a membership function that maps elements of a given domain (a crisp set) into values in [0, 1].A: U [0, 1]

A A

0

1

25

40

Age30

0.5young

Page 5: 1 Vagueness The Oxford Companion to Philosophy (1995): “Words like smart, tall, and fat are vague since in most contexts of use there is no bright line

5

Fuzzy Set Representation• Discrete domain:

high-dice score: {1:0, 2:0, 3:0.2, 4:0.5, 5:0.9, 6:1}

• Continuous domain:

A(u) = 1 for u[0, 25]A(u) = (40 - u)/15 for u[25, 40]A(u) = 0 for u[40, 150]

0

1

25

40

Age30

0.5

Page 6: 1 Vagueness The Oxford Companion to Philosophy (1995): “Words like smart, tall, and fat are vague since in most contexts of use there is no bright line

6

Fuzzy Set Representation• -cuts:

A = {u | A(u) }A = {u | A(u) } strong -cut

A0.5 = [0, 30]

0

1

25

40

Age30

0.5

Page 7: 1 Vagueness The Oxford Companion to Philosophy (1995): “Words like smart, tall, and fat are vague since in most contexts of use there is no bright line

7

Fuzzy Set Representation• -cuts:

A = {u | A(u) }A = {u | A(u) } strong -cut

A(u) = sup { | u A}

A0.5 = [0, 30]

0

1

25

40

Age30

0.5

Page 8: 1 Vagueness The Oxford Companion to Philosophy (1995): “Words like smart, tall, and fat are vague since in most contexts of use there is no bright line

8

Fuzzy Set Representation• Support:

supp(A) = {u | A(u) > 0} = A0+

• Core: core(A) = {u | A(u) = 1} = A1

• Height: h(A) = supUA(u)

Page 9: 1 Vagueness The Oxford Companion to Philosophy (1995): “Words like smart, tall, and fat are vague since in most contexts of use there is no bright line

9

Fuzzy Set Representation• Normal fuzzy set: h(A) = 1

• Sub-normal fuzzy set: h(A) 1

Page 10: 1 Vagueness The Oxford Companion to Philosophy (1995): “Words like smart, tall, and fat are vague since in most contexts of use there is no bright line

10

Membership Degrees• Subjective definition

• Voting model:Each voter has a subset of U as his/her own crisp definition of the concept that A represents.

A(u) is the proportion of voters whose crisp definitions include u.

A defines a probability distribution on the power set of U across the voters.

Page 11: 1 Vagueness The Oxford Companion to Philosophy (1995): “Words like smart, tall, and fat are vague since in most contexts of use there is no bright line

11

Membership Degrees• Voting model:

P1 P2 P3 P4 P5 P6 P7 P8 P9 P10

1

2

3 x x4 x x x x x5 x x x x x x x x x6 x x x x x x x x x x

Page 12: 1 Vagueness The Oxford Companion to Philosophy (1995): “Words like smart, tall, and fat are vague since in most contexts of use there is no bright line

12

Fuzzy Subset Relations

A B iff A(u) B(u) for every uU

A is more specific than B

“X is A” entails “X is B”

Page 13: 1 Vagueness The Oxford Companion to Philosophy (1995): “Words like smart, tall, and fat are vague since in most contexts of use there is no bright line

13

Fuzzy Set Operations• Standard definitions:

Complement: A(u) = 1 A(u)

Intersection: (AB)(u) = min[A(u), B(u)]

Union: (AB)(u) = max[A(u), B(u)]

Page 14: 1 Vagueness The Oxford Companion to Philosophy (1995): “Words like smart, tall, and fat are vague since in most contexts of use there is no bright line

14

Fuzzy Set Operations• Example:

not young = young

not old = old

middle-age = not youngnot old

old = young

Page 15: 1 Vagueness The Oxford Companion to Philosophy (1995): “Words like smart, tall, and fat are vague since in most contexts of use there is no bright line

15

Fuzzy Numbers• A fuzzy number A is a fuzzy set on R:

A must be a normal fuzzy setA must be a closed interval for every (0, 1]supp(A) = A0+ must be bounded

Page 16: 1 Vagueness The Oxford Companion to Philosophy (1995): “Words like smart, tall, and fat are vague since in most contexts of use there is no bright line

16

Basic Types of Fuzzy Numbers

1

0

1

0

1

0

1

0

Page 17: 1 Vagueness The Oxford Companion to Philosophy (1995): “Words like smart, tall, and fat are vague since in most contexts of use there is no bright line

17

Basic Types of Fuzzy Numbers

1

0

1

0

Page 18: 1 Vagueness The Oxford Companion to Philosophy (1995): “Words like smart, tall, and fat are vague since in most contexts of use there is no bright line

18

Operations of Fuzzy Numbers• Extension principle for fuzzy sets:

f: U1...Un V

induces

g: U1...Un V ~~~

Page 19: 1 Vagueness The Oxford Companion to Philosophy (1995): “Words like smart, tall, and fat are vague since in most contexts of use there is no bright line

19

Operations of Fuzzy Numbers• Extension principle for fuzzy sets:

f: U1...Un V

induces

g: U1...Un V

[g(A1,...,An)](v) = sup{(u1,...,un) | v =

f(u1,...,un)}min{A1(u1),...,An(un)}

~~~

Page 20: 1 Vagueness The Oxford Companion to Philosophy (1995): “Words like smart, tall, and fat are vague since in most contexts of use there is no bright line

20

Operations of Fuzzy Numbers• EP-based operations:

(A + B)(z) = sup{(x,y) | z = x+y}min{A(x),B(y)}

(A B)(z) = sup{(x,y) | z = x-y}min{A(x),B(y)}

(A * B)(z) = sup{(x,y) | z = x*y}min{A(x),B(y)}

(A / B)(z) = sup{(x,y) | z = x/y}min{A(x),B(y)}

Page 21: 1 Vagueness The Oxford Companion to Philosophy (1995): “Words like smart, tall, and fat are vague since in most contexts of use there is no bright line

21

Operations of Fuzzy Numbers• EP-based operations:

+

1about 2 more or less 6 = about 2.about

3about 3

02 3 6

Page 22: 1 Vagueness The Oxford Companion to Philosophy (1995): “Words like smart, tall, and fat are vague since in most contexts of use there is no bright line

22

Operations of Fuzzy Numbers• Arithmetic operations on intervals:

[a, b][d, e] = {fg | a f b, d g e}

Page 23: 1 Vagueness The Oxford Companion to Philosophy (1995): “Words like smart, tall, and fat are vague since in most contexts of use there is no bright line

23

Operations of Fuzzy Numbers• Arithmetic operations on intervals:

[a, b][d, e] = {fg | a f b, d g e}

[a, b] + [d, e] = [a + d, b + e]

[a, b] [d, e] = [a e, b d]

[a, b]*[d, e] = [min(ad, ae, bd, be), max(ad, ae, bd, be)]

[a, b]/[d, e] = [a, b]*[1/e, 1/d] 0[d, e]

Page 24: 1 Vagueness The Oxford Companion to Philosophy (1995): “Words like smart, tall, and fat are vague since in most contexts of use there is no bright line

24

Operations of Fuzzy Numbers• Interval-based operations:

(A B)= A B

Page 25: 1 Vagueness The Oxford Companion to Philosophy (1995): “Words like smart, tall, and fat are vague since in most contexts of use there is no bright line

25

Possibility Theory• Possibility vs. Probability

• Possibility and Necessity

Page 26: 1 Vagueness The Oxford Companion to Philosophy (1995): “Words like smart, tall, and fat are vague since in most contexts of use there is no bright line

26

Possibility Theory• Zadeh, L.A. (1978). Fuzzy Sets as a Basis for a

Theory of PossibilityJournal of Fuzzy Sets and Systems

Page 27: 1 Vagueness The Oxford Companion to Philosophy (1995): “Words like smart, tall, and fat are vague since in most contexts of use there is no bright line

27

Possibility Theory• Membership degree = possibility degree

Page 28: 1 Vagueness The Oxford Companion to Philosophy (1995): “Words like smart, tall, and fat are vague since in most contexts of use there is no bright line

28

Possibility Theory• Axioms:

0 Pos(A) 1Pos() = 1 Pos() = 0Pos(A B) = max[Pos(A), Pos(B)]Nec(A) = 1 – Pos(A)

Page 29: 1 Vagueness The Oxford Companion to Philosophy (1995): “Words like smart, tall, and fat are vague since in most contexts of use there is no bright line

29

Possibility Theory• Derived properties:

Nec() = 1 Nec() = 0Nec(A B) = min[Nec(A), Nec(B)]max[Pos(A), Pos(A)] = 1min[Nec(A), Nec(A)] = 0Pos(A) + Pos(A) 1Nec(A) + Nec(A) 1Nec(A) Pos(A)

Page 30: 1 Vagueness The Oxford Companion to Philosophy (1995): “Words like smart, tall, and fat are vague since in most contexts of use there is no bright line

30

Possibility Theory

Probability Possibilityp: U [0, 1]Pro(A) = uAp(u)

r: U [0, 1]Pos(A) = maxuAr(u)

Normalization: uUp(u) = 1 maxuUr(u) = 1

Additivity: Pro(AB) = Pro(A) + Pro(B) Pro(AB)

Pos(AB) = max[Pos(A), Pos(B)]

Pro(A) + Pro(A) = 1 Pos(A) + Pos(A) 1

Total ignorance: p(u) = 1/|U| for every uU r(u) = 1 for every uU

Probability-possibility consistency principle: Pro(A) Pos(A)

Page 31: 1 Vagueness The Oxford Companion to Philosophy (1995): “Words like smart, tall, and fat are vague since in most contexts of use there is no bright line

31

Fuzzy Relations• Crisp relation:

R(U1, ..., Un) U1 ... Un

R(u1, ..., un) = 1 iff (u1, ..., un) R or = 0 otherwise

Page 32: 1 Vagueness The Oxford Companion to Philosophy (1995): “Words like smart, tall, and fat are vague since in most contexts of use there is no bright line

32

Fuzzy Relations• Crisp relation:

R(U1, ..., Un) U1 ... Un

R(u1, ..., un) = 1 iff (u1, ..., un) R or = 0 otherwise

• Fuzzy relation is a fuzzy set on U1 ... Un

Page 33: 1 Vagueness The Oxford Companion to Philosophy (1995): “Words like smart, tall, and fat are vague since in most contexts of use there is no bright line

33

Fuzzy Relations• Fuzzy relation:

U1 = {New York, Paris}, U2 = {Beijing, New York, London}R = very far

R = {(NY, Beijing): 1, ...}

NY ParisBeijing 1 .9NY 0 .7London .6 .3

Page 34: 1 Vagueness The Oxford Companion to Philosophy (1995): “Words like smart, tall, and fat are vague since in most contexts of use there is no bright line

34

Multivalued Logic• Truth values are in [0, 1]

• Lukasiewicz:a = 1 aa b = min(a, b)a b = max(a, b)a b = min(1, 1 a + b)

Page 35: 1 Vagueness The Oxford Companion to Philosophy (1995): “Words like smart, tall, and fat are vague since in most contexts of use there is no bright line

35

Fuzzy Logic• if x is A then y is B R(u, v) A(u) B(v)

x is A’ A’(u) ------------------------ ----------------------------------------

y is B’ B’(v)

Page 36: 1 Vagueness The Oxford Companion to Philosophy (1995): “Words like smart, tall, and fat are vague since in most contexts of use there is no bright line

36

Fuzzy Logic• if x is A then y is B

x is A’ ------------------------

y is B’

B’ = B + (A/A’)

Page 37: 1 Vagueness The Oxford Companion to Philosophy (1995): “Words like smart, tall, and fat are vague since in most contexts of use there is no bright line

37

Fuzzy Controller• As special expert systems

• When difficult to construct mathematical models

• When acquired models are expensive to use

Page 38: 1 Vagueness The Oxford Companion to Philosophy (1995): “Words like smart, tall, and fat are vague since in most contexts of use there is no bright line

38

Fuzzy ControllerIF the temperature is very highAND the pressure is slightly lowTHEN the heat change should be sligthly

negative

Page 39: 1 Vagueness The Oxford Companion to Philosophy (1995): “Words like smart, tall, and fat are vague since in most contexts of use there is no bright line

39

Fuzzy Controller

Controlledprocess

Defuzzificationmodel

Fuzzificationmodel

Fuzzy inference engine

Fuzzy rule base

actions

conditions

FUZZY CONTROLLER

Page 40: 1 Vagueness The Oxford Companion to Philosophy (1995): “Words like smart, tall, and fat are vague since in most contexts of use there is no bright line

40

Fuzzification

1

0x0

Page 41: 1 Vagueness The Oxford Companion to Philosophy (1995): “Words like smart, tall, and fat are vague since in most contexts of use there is no bright line

41

Defuzzification• Center of Area:

x = (A(z).z)/A(z)

Page 42: 1 Vagueness The Oxford Companion to Philosophy (1995): “Words like smart, tall, and fat are vague since in most contexts of use there is no bright line

42

Defuzzification• Center of Maxima:

M = {z | A(z) = h(A)}

x = (min M + max M)/2

Page 43: 1 Vagueness The Oxford Companion to Philosophy (1995): “Words like smart, tall, and fat are vague since in most contexts of use there is no bright line

43

Defuzzification• Mean of Maxima:

M = {z | A(z) = h(A)}

x = z/|M|

Page 44: 1 Vagueness The Oxford Companion to Philosophy (1995): “Words like smart, tall, and fat are vague since in most contexts of use there is no bright line

44

Exercises• In Klir’s FSFL: 1.9, 1.10, 2.11, 4.5, 5.1 (a)-(b), 8.6,

12.1.