Upcoming SlideShare
×

# Classical relations and fuzzy relations

8,029 views

Published on

1 Comment
3 Likes
Statistics
Notes
• Full Name
Comment goes here.

Are you sure you want to Yes No
• thank you

Are you sure you want to  Yes  No
Views
Total views
8,029
On SlideShare
0
From Embeds
0
Number of Embeds
7
Actions
Shares
0
505
1
Likes
3
Embeds 0
No embeds

No notes for slide

### Classical relations and fuzzy relations

1. 1. Classical Relations And Fuzzy Relations<br />Baran Kaynak<br />1<br />
2. 2. Relations<br />This chapter introduce the notion of relation.<br />The notion of relation is the basic idea behind numerous operations on sets suchas Cartesian products, composition of relations , difference of relations and intersections of relations and equivalence properties<br /> In all engineering , science and mathematically based fields, relations is very important<br />2<br />
3. 3. Relations<br />Similarities can be described with relations.<br />In this sense, relations is a very important notion to many different technologies like graph theory, data manipulation.<br />Graphtheory<br />3<br />
4. 4. Data manipulations<br />4<br />
5. 5. Inclassicalrelations (crisprelations),<br />Relationshipsbetweenelements of thesetsare<br />only in twodegrees; “completelyrelated” and<br />“not related”.<br />Fuzzyrelationstake on an infinitivenumber of degrees of relationshipsbetweentheextremes of “ completelyrelated” and “ not related”<br />5<br />
6. 6. Crisp system<br /><ul><li>Crisp, exact</li></ul>- Based on models (i.e.differential equations)<br />- Requires complete <br />set of data<br />- Typically linear <br />Fuzzy system<br />- Fuzzy, qualitative, vague<br />- Uses knowledge (i.e. rules)<br />- Requires fuzzy data<br />- Nonlinear method<br />6<br />
7. 7. Crisp system<br />-Complex systems hardto model<br />-incomplete information<br />leads to inaccuracy<br />-numerical<br />Fuzzy logic system<br />-No traditional modeling,inferences based on knowledge<br />- can handle incomplete information to some degree<br />-linguistic<br />7<br />
8. 8. CartesianProduct<br />Example 3.1. The elements in two sets A and B are given as A ={0, 1} and B ={a,b, c}.<br />Various Cartesian products of these two sets can bewritten as shown:<br />A × B ={(0,a),(0,b),(0,c),(1,a),(1,b),(1,c)}<br />B × A ={(a, 0), (a, 1), (b, 0), (b, 1), (c, 0), (c, 1)}<br />A × A = A2={(0, 0), (0, 1), (1, 0), (1, 1)}<br />B × B = B2={(a, a), (a, b), (a, c), (b, a), (b, b), (b, c), (c, a), (c, b), (c, c)}<br />8<br />
9. 9. CrispRelations<br />Cartesianproduct is denoted in form A1 x A2 x…..x Ar<br />Themostcommoncase is for r=2 andrepresentwith A1 x A2<br />The Cartesian product of two universes X and Y is determined as<br />X × Y = {(x, y) | x ∈ X,y ∈ Y}<br />This form showsthatthere is a matchingbetween X and Y , this is a unconstrainedmatching. <br />9<br />
10. 10. CrispRelations<br />Every element in universe X is related completely toevery element in universe Y<br />Thisrelationship’sstrenght is measuredbythecharacteristicsfunctionχ<br />χX×Y(x, y) = 1, (x,y) ∈ X × Y<br />0, (x,y) ∉ X × Y<br />Completerelationship is showedwith 1 and no relationship is showedwith 0 <br />10<br />
11. 11. When the universes, or sets, are ﬁnite the relation can be conveniently represented by a<br />matrix, called a relation matrix.<br />X ={1, 2, 3} and Y ={a, b, c}<br />Sagittal diagram of an unconstrained relation<br />11<br />
12. 12. Specialcases of theconstrainedCartesianproductforsetswhere r=2 arecalledidentityrelationdenoted IA<br />IA ={(0, 0), (1, 1), (2, 2)}<br />Specialcases of theunconstrainedCartesianproductforsetswhere r=2 arecalleduniversalrelationdenoted UA<br />UA ={(0, 0), (0, 1), (0, 2), (1, 0), (1, 1), (1, 2), (2, 0), (2, 1), (2, 2)}<br />12<br />
13. 13. Cardinality Of CripsRelations<br />TheCardinality of therelation r between X and Y <br />is n X x Y = nx * ny<br />Power set (P(X x Y)), nP(X×Y) = 2(nXnY)<br />13<br />
14. 14. Operations On CripsRelations<br />Deﬁne R and S as two separate relations on the Cartesian universe X × Y<br />Union: R ∪ S -> χR∪S(x, y) : χR∪S(x, y) = max[χR(x, y), χS(x, y)]<br />Intersection: R ∩ S -> χR∩S(x, y) : χR∩S(x, y) = min[χR(x, y), χS(x, y)]<br />Complement:R ->χR(x, y) : χR(x, y) = 1 − χR(x, y) <br />Containment: R ⊂ S ->χR(x, y) : χR(x, y) ≤ χS(x, y) <br />14<br />
15. 15. Properties Of CripsRelations<br />Commutativity<br />Associativity<br />Distributivity<br />Involution<br />Idempotency<br />15<br />2 × (1 + 3) = (2 × 1) + (2 × 3).<br />
16. 16. Composition<br />16<br />
17. 17. CrispBinaryRelation<br />17<br />
18. 18. Composition<br />Forthesetworelationsletsmake a compositionnamed T <br />R = {(x1, y1), (x1, y3), (x2, y4)}<br />S = {(y1, z2), (y3, z2)}<br />18<br />
19. 19. 19<br />
20. 20. A chain is only as strong as itsweakestlink<br />20<br />
21. 21. Example<br />Using themax–min composition operation,relationmatrices for Rand S would be expressed as<br />µT(x1, z1) = max[min(1, 0), min(0, 0), min(1, 0), min(0, 0)] = 0<br />21<br />
22. 22. Example<br />Using themax–min composition operation,relationmatrices for Rand S would be expressed as<br />µT(x1, z1) = max[min(1, 0), min(0, 0), min(1, 0), min(0, 0)] = 0<br />µT(x1, z2) = max[min(1, 1), min(0, 0), min(1, 1), min(0, 0)] = 1<br />22<br />
23. 23. FuzzyRelations<br />A fuzzy relation R is a mapping from the Cartesianspace X x Y to the interval [0,1], where thestrength of the mapping is expressed by themembership function of the relation μR(x,y)<br />μR : A × B -> [0, 1]<br />R = {((x, y), μR(x, y))| μR(x, y) ≥ 0 , x ∈ A, y ∈ B}<br />23<br />
24. 24. 24<br />
25. 25. Crisp relation vs. Fuzzyrelation<br />25<br />Crisprelation<br />Fuzzyrelation<br />
26. 26. Cardinality of FuzzyRelations<br />Since the cardinality of fuzzy sets on any universe is infinity, the cardinality of a fuzzyrelation between two or more universes is also infinity.<br />26<br />
27. 27. Operations on FuzzyRelations<br />Let R and S be fuzzy relations on the Cartesian space X × Y. Then the following operationsapply for the membership values for various set operations:<br />27<br />Union: µR∪S(x, y) = max(µR (x, y),µS(x, y)) <br />Intersection: µR∩S (x, y) = min(µR (x, y),µS (x, y)) <br />Complement:µR(x, y) = 1 − µR(x, y) <br />Containment:R⊂ S ⇒ µR (x, y) ≤ µS (x, y) <br />
28. 28. Fuzzy Cartesian Product and Composition<br />A fuzzy relation R is a mapping from the Cartesianspace X x Y to the interval [0,1], where thestrength of the mapping is expressed by themembership function of the relation μR(x,y)<br />μR: A × B -> [0, 1]<br />R = {((x, y), μR(x, y))| μR(x, y) ≥ 0 , x ∈ A, y ∈ B}<br />28<br />
29. 29. Max-minComposition<br />Two fuzzy relations R and S are defined on sets A,B and C. That is, R ⊆ A × B, S ⊆ B × C. Thecomposition S•R = SR of two relations R and S isexpressed by the relation from A to C:<br />For(x, y) ∈ A × B, (y, z) ∈ B × C,<br />µS•R(x, z) = max [min(µR(x, y), µS(y, z))]= ∨ [μR(x, y) ∧ μS(y, z)]<br />MS•R= MR•MS(matrixnotation)<br />29<br />
30. 30. Max-minComposition<br />30<br />
31. 31. Max-productComposition<br />Two fuzzy relations R and S are defined on sets A,B and C. That is, R ⊆ A × B, S ⊆ B × C. Thecomposition S•R = SR of two relations R and S isexpressed by the relation from A to C:<br />For(x, y) ∈ A × B, (y, z) ∈ B × C,<br />μS•R(x, z) = maxy[μR(x, y) • μS(y, z)]<br />= ∨y[μR(x, y) • μS(y, z)<br /> MS•R= MR• MS(matrixnotation)<br />31<br />
32. 32. 32<br />
33. 33. Example<br />Suppose we have two fuzzy sets, Adefined on a universe of three discretetemperatures, X = {x1, x2, x3}, and Bdefined on a universe of two discrete pressures, Y ={y1, y2}, and we want to find the fuzzy Cartesian product between them. Fuzzy set Acouldrepresent the ‘‘ambient’’ temperature and fuzzy setBthe ‘‘near optimum’’ pressure for a certainheat exchanger, and the Cartesian productmight represent the conditions (temperature–pressurepairs) of the exchanger that are associated with ‘‘efficient’’ operations.<br />33<br />
34. 34. FuzzyCartesianproduct, usingµS•R(x, z) = max [min (µR (x, y), µS (y, z))]results in a fuzzyrelation R (of size 3 × 2) representing ‘‘efficient’’ conditions,<br />34<br />
35. 35. Example<br />X = {x1, x2}, Y = {y1, y2}, and Z = {z1, z2, z3}<br />Consider the following fuzzy relations:<br />35<br />Thentheresultingrelation, T, which relates elements of universe X to elements of universe Z,<br />μT(x1, z1) = max[min(0.7, 0.9), min(0.5, 0.1)] = 0.7<br />
36. 36. andbymax–productcomposition,<br />36<br />μT(x2, z2) = max[(0.8 . 0.6), (0.4 .0.7)] = 0.48<br />
37. 37. Example<br /> A simple fuzzy system is given, which models the brake behaviour of a car driver depending on the car speed. The inference machine should determine the brake force for a given car speed. The speed is specified by the two linguistic terms"low"and "medium", and the brake force by "moderate"and "strong". The rule base includes the two rules<br />(1) IF the car speed is low THEN the brake force is moderate<br />(2) IF the car speed is medium THEN the brake force is strong<br />37<br />
38. 38. http://virtual.cvut.cz/dynlabmodules/ihtml/dynlabmodules/syscontrol/node123.html<br />Short Url: http://goo.gl/T2z5u<br />38<br />
39. 39. CrispEquivalenceRelation<br />Arelation R on a universeXcan also be thought of as a relation fromXtoX. The relation R is<br />an equivalence relation and it has the following three properties:<br />Reﬂexivity<br />Symmetry<br />Transitivity<br />39<br />
40. 40. Reﬂexivity<br />(xi ,xi ) ∈ R or χR(xi ,xi ) = 1<br />When a relation is reﬂexiveevery vertex in the graph originates a single loop, as shown in <br />40<br />
41. 41. Symmetry<br />(xi, xj ) ∈ R -> (xj, xi) ∈ R<br />41<br />
42. 42. Transitivity<br />(xi ,xj ) ∈ R and (xj ,xk) ∈ R -> (xi ,xk) ∈ R<br />42<br />
43. 43. CrispToleranceRelation<br />A tolerance relation R (also called a proximity relation) on a universe X is a relation that<br />exhibits only the properties of reﬂexivity and symmetry. <br />A tolerance relation, R, can be<br />reformed into an equivalence relation by at most (n − 1) compositions with itself, where n<br />is the cardinal number of the set deﬁning R, in this case X<br />43<br />
44. 44. Example<br />Suppose in an airline transportation system we have a universe composed ofﬁve elements: the cities Omaha, Chicago, Rome, London, and Detroit. The airline is studyinglocations of potential hubs in various countries and must consider air mileage between citiesand takeoff and landing policies in the various countries. <br />44<br />
45. 45. Example<br />These cities can be enumerated as the<br />elements of a set, i.e.,<br />X ={x1,x2,x3,x4,x5}={Omaha, Chicago, Rome, London, Detroit}<br />Suppose we have a tolerance relation, R1, that expresses relationships among these<br />cities:<br />This relation is reﬂexive and symmetric.<br />45<br />
46. 46. Example<br />The graph for this tolerance relation<br />If(x1,x5) ∈ R1can become an equivalence relation <br />46<br />
47. 47. Example:<br />Thismatrix is equivalence relation because it has (x1,x5)<br />47<br />Five-vertex graph of equivalence relation (reﬂexive, symmetric, transitive)<br />
48. 48. FUZZY TOLERANCE AND EQUIVALENCE RELATIONS<br />Reflexivity μR(xi, xi) = 1<br />Symmetry μR(xi, xj ) = μR(xj, xi)<br />Transitivity μR(xi, xj ) =λ1 and μR(xj, xk) = λ2 μR(xi, xk) =λwhereλ ≥ min[λ1, λ2].<br />48<br />
49. 49. Example<br />Suppose, in a biotechnology experiment, five potentially new strains of bacteriahave been detected in the area around an anaerobic corrosion pit on a new aluminum-lithiumalloy used in the fuel tanks of a new experimental aircraft. In order to propose methods toeliminate the biocorrosion caused by these bacteria, the five strains must first be categorized.One way to categorize them is to compare them to one another. In a pairwise comparison, thefollowing " similarity" relation,R1, is developed. For example, the first strain (column 1) hasa strength of similarity to the second strain of 0.8, to the third strain a strength of 0 (i.e., norelation), to the fourth strain a strength of 0.1, and so on. Because the relation is for pairwisesimilarity it will be reflexive and symmetric. Hence,<br />49<br />
50. 50. 50<br />is reflexive and symmetric. However, it is not transitive<br />μR(x1, x2) = 0.8, μR(x2, x5) = 0.9 ≥ 0.8<br />but<br />μR(x1, x5) = 0.2 ≤ min(0.8, 0.9)<br />
51. 51. 51<br />One composition results in the following relation:<br />where transitivity still does not result; for example,<br />μR2(x1, x2) = 0.8 ≥ 0.5 and μR2(x2, x4) = 0.5<br />but<br />μR2(x1, x4) = 0.2 ≤ min(0.8, 0.5)<br />
52. 52. 52<br />Finally, after one or two more compositions, transitivity results:<br />