![Page 1: PART 8 Approximate Reasoning 1. Fuzzy expert systems 2. Fuzzy implications 3. Selecting fuzzy implications 4. Multiconditional reasoning 5. Fuzzy relation](https://reader035.vdocument.in/reader035/viewer/2022062516/56649d575503460f94a35b6b/html5/thumbnails/1.jpg)
PART 8Approximate Reasoning
1. Fuzzy expert systems2. Fuzzy implications3. Selecting fuzzy implications4. Multiconditional reasoning5. Fuzzy relation equations6. Interval-valued reasoning
FUZZY SETS AND
FUZZY LOGICTheory and Applications
![Page 2: PART 8 Approximate Reasoning 1. Fuzzy expert systems 2. Fuzzy implications 3. Selecting fuzzy implications 4. Multiconditional reasoning 5. Fuzzy relation](https://reader035.vdocument.in/reader035/viewer/2022062516/56649d575503460f94a35b6b/html5/thumbnails/2.jpg)
2
Fuzzy expert systems
![Page 3: PART 8 Approximate Reasoning 1. Fuzzy expert systems 2. Fuzzy implications 3. Selecting fuzzy implications 4. Multiconditional reasoning 5. Fuzzy relation](https://reader035.vdocument.in/reader035/viewer/2022062516/56649d575503460f94a35b6b/html5/thumbnails/3.jpg)
Fuzzy implications
Extensions of classical implications:
•
•
•
3
1]. [0, allfor ) ),(() ,( a, bbacubaJ
on.intersectifuzzy continuous a denotes where
1], [0, allfor }) ,(|]1 ,0[sup{) ,(
i
a, bbxaixba J
laws.Morgen De esatisfy th torequired are where
), )),( ),((() ,(
)), ,( ),(() ,(
u, i, c
bbcaciuba
baiacuba
J
J
![Page 4: PART 8 Approximate Reasoning 1. Fuzzy expert systems 2. Fuzzy implications 3. Selecting fuzzy implications 4. Multiconditional reasoning 5. Fuzzy relation](https://reader035.vdocument.in/reader035/viewer/2022062516/56649d575503460f94a35b6b/html5/thumbnails/4.jpg)
Fuzzy implications
S-implications
1.Kleene-Dienes implication
2.Reichenbach implication
3.Lukasiewicz implication
4
1]. [0, allfor ) ,1max() ,( a, bbababJ
1]. [0, allfor 1) ,( a, bababarJ
1]. [0, allfor )1 ,1min() ,( a, bbabaaJ
![Page 5: PART 8 Approximate Reasoning 1. Fuzzy expert systems 2. Fuzzy implications 3. Selecting fuzzy implications 4. Multiconditional reasoning 5. Fuzzy relation](https://reader035.vdocument.in/reader035/viewer/2022062516/56649d575503460f94a35b6b/html5/thumbnails/5.jpg)
Fuzzy implications
S-implications
4. Largest S-implication
5
1]. [0, allfor
otherwise,
0when
1when
1
1) ,(
a, bb
a
a
b
baLSJ
![Page 6: PART 8 Approximate Reasoning 1. Fuzzy expert systems 2. Fuzzy implications 3. Selecting fuzzy implications 4. Multiconditional reasoning 5. Fuzzy relation](https://reader035.vdocument.in/reader035/viewer/2022062516/56649d575503460f94a35b6b/html5/thumbnails/6.jpg)
Fuzzy implications
Theorem 8.1
6
![Page 7: PART 8 Approximate Reasoning 1. Fuzzy expert systems 2. Fuzzy implications 3. Selecting fuzzy implications 4. Multiconditional reasoning 5. Fuzzy relation](https://reader035.vdocument.in/reader035/viewer/2022062516/56649d575503460f94a35b6b/html5/thumbnails/7.jpg)
Fuzzy implications
R-implications
1. Gödel implication
2. Goguen implication
7
.when
when
1}) ,min(|sup{) ,(
ba
ba
bbxaxbag
J
.when
when
/
1}|sup{) ,(
ba
ba
abbaxxba
J
![Page 8: PART 8 Approximate Reasoning 1. Fuzzy expert systems 2. Fuzzy implications 3. Selecting fuzzy implications 4. Multiconditional reasoning 5. Fuzzy relation](https://reader035.vdocument.in/reader035/viewer/2022062516/56649d575503460f94a35b6b/html5/thumbnails/8.jpg)
Fuzzy implications
R-implications
3. Lukasiewicz implication
4. the limit of all R-implications
8
).1 ,1min(
})1 ,0min(|sup{) ,(
ba
bxaxbaa
J
otherwise.
1when
1) ,(
ab
baLRJ
![Page 9: PART 8 Approximate Reasoning 1. Fuzzy expert systems 2. Fuzzy implications 3. Selecting fuzzy implications 4. Multiconditional reasoning 5. Fuzzy relation](https://reader035.vdocument.in/reader035/viewer/2022062516/56649d575503460f94a35b6b/html5/thumbnails/9.jpg)
Fuzzy implications
Theorem 8.2
9
![Page 10: PART 8 Approximate Reasoning 1. Fuzzy expert systems 2. Fuzzy implications 3. Selecting fuzzy implications 4. Multiconditional reasoning 5. Fuzzy relation](https://reader035.vdocument.in/reader035/viewer/2022062516/56649d575503460f94a35b6b/html5/thumbnails/10.jpg)
Fuzzy implications
QL-implications
1. Zadeh implication
2. When i is the algebraic product and u is the algebraic sum.
10
)].(min1[max) ,( a, ba, bam J
.1) ,( 2baabap J
![Page 11: PART 8 Approximate Reasoning 1. Fuzzy expert systems 2. Fuzzy implications 3. Selecting fuzzy implications 4. Multiconditional reasoning 5. Fuzzy relation](https://reader035.vdocument.in/reader035/viewer/2022062516/56649d575503460f94a35b6b/html5/thumbnails/11.jpg)
Fuzzy implications
QL-implications
3. When i is the bounded difference and u is the bounded sum, we obtain the Kleene-Dienes implication.
4. When i = imin and u = umax
11., ba
, ba
a
a
b
baq
11when
11when
1when
1
1) ,(
J
![Page 12: PART 8 Approximate Reasoning 1. Fuzzy expert systems 2. Fuzzy implications 3. Selecting fuzzy implications 4. Multiconditional reasoning 5. Fuzzy relation](https://reader035.vdocument.in/reader035/viewer/2022062516/56649d575503460f94a35b6b/html5/thumbnails/12.jpg)
Fuzzy implications
Combined ones
12
![Page 13: PART 8 Approximate Reasoning 1. Fuzzy expert systems 2. Fuzzy implications 3. Selecting fuzzy implications 4. Multiconditional reasoning 5. Fuzzy relation](https://reader035.vdocument.in/reader035/viewer/2022062516/56649d575503460f94a35b6b/html5/thumbnails/13.jpg)
Fuzzy implications
Axioms of fuzzy implications
13
![Page 14: PART 8 Approximate Reasoning 1. Fuzzy expert systems 2. Fuzzy implications 3. Selecting fuzzy implications 4. Multiconditional reasoning 5. Fuzzy relation](https://reader035.vdocument.in/reader035/viewer/2022062516/56649d575503460f94a35b6b/html5/thumbnails/14.jpg)
Fuzzy implications
Axioms of fuzzy implications
14
![Page 15: PART 8 Approximate Reasoning 1. Fuzzy expert systems 2. Fuzzy implications 3. Selecting fuzzy implications 4. Multiconditional reasoning 5. Fuzzy relation](https://reader035.vdocument.in/reader035/viewer/2022062516/56649d575503460f94a35b6b/html5/thumbnails/15.jpg)
Fuzzy implications
Axioms of fuzzy implications
15
![Page 16: PART 8 Approximate Reasoning 1. Fuzzy expert systems 2. Fuzzy implications 3. Selecting fuzzy implications 4. Multiconditional reasoning 5. Fuzzy relation](https://reader035.vdocument.in/reader035/viewer/2022062516/56649d575503460f94a35b6b/html5/thumbnails/16.jpg)
Fuzzy implications
Theorem 8.3
16
![Page 17: PART 8 Approximate Reasoning 1. Fuzzy expert systems 2. Fuzzy implications 3. Selecting fuzzy implications 4. Multiconditional reasoning 5. Fuzzy relation](https://reader035.vdocument.in/reader035/viewer/2022062516/56649d575503460f94a35b6b/html5/thumbnails/17.jpg)
Selecting fuzzy implications
Generalized modus ponens
any fuzzy implication suitable for approximate reasoning based on the generalized modus ponens should satisfy (8.13) for arbitrary fuzzy sets A and B.
17
![Page 18: PART 8 Approximate Reasoning 1. Fuzzy expert systems 2. Fuzzy implications 3. Selecting fuzzy implications 4. Multiconditional reasoning 5. Fuzzy relation](https://reader035.vdocument.in/reader035/viewer/2022062516/56649d575503460f94a35b6b/html5/thumbnails/18.jpg)
Selecting fuzzy implications
Theorem 8.4
18
![Page 19: PART 8 Approximate Reasoning 1. Fuzzy expert systems 2. Fuzzy implications 3. Selecting fuzzy implications 4. Multiconditional reasoning 5. Fuzzy relation](https://reader035.vdocument.in/reader035/viewer/2022062516/56649d575503460f94a35b6b/html5/thumbnails/19.jpg)
Selecting fuzzy implications
Theorem 8.5
19
![Page 20: PART 8 Approximate Reasoning 1. Fuzzy expert systems 2. Fuzzy implications 3. Selecting fuzzy implications 4. Multiconditional reasoning 5. Fuzzy relation](https://reader035.vdocument.in/reader035/viewer/2022062516/56649d575503460f94a35b6b/html5/thumbnails/20.jpg)
Selecting fuzzy implications
Generalized modus tollens
Generalized hypothetical syllogism
20
![Page 21: PART 8 Approximate Reasoning 1. Fuzzy expert systems 2. Fuzzy implications 3. Selecting fuzzy implications 4. Multiconditional reasoning 5. Fuzzy relation](https://reader035.vdocument.in/reader035/viewer/2022062516/56649d575503460f94a35b6b/html5/thumbnails/21.jpg)
Multiconditional reasoning
• general schema of multiconditional approximate reasoning
The method of interpolation is most common way to determine B‘. It consists of the following two steps:
21
![Page 22: PART 8 Approximate Reasoning 1. Fuzzy expert systems 2. Fuzzy implications 3. Selecting fuzzy implications 4. Multiconditional reasoning 5. Fuzzy relation](https://reader035.vdocument.in/reader035/viewer/2022062516/56649d575503460f94a35b6b/html5/thumbnails/22.jpg)
Multiconditional reasoning
22
![Page 23: PART 8 Approximate Reasoning 1. Fuzzy expert systems 2. Fuzzy implications 3. Selecting fuzzy implications 4. Multiconditional reasoning 5. Fuzzy relation](https://reader035.vdocument.in/reader035/viewer/2022062516/56649d575503460f94a35b6b/html5/thumbnails/23.jpg)
Multiconditional reasoning
23
![Page 24: PART 8 Approximate Reasoning 1. Fuzzy expert systems 2. Fuzzy implications 3. Selecting fuzzy implications 4. Multiconditional reasoning 5. Fuzzy relation](https://reader035.vdocument.in/reader035/viewer/2022062516/56649d575503460f94a35b6b/html5/thumbnails/24.jpg)
Multiconditional reasoning
four possible ways of calculating the conclusion B':
Theorem 8.624
![Page 25: PART 8 Approximate Reasoning 1. Fuzzy expert systems 2. Fuzzy implications 3. Selecting fuzzy implications 4. Multiconditional reasoning 5. Fuzzy relation](https://reader035.vdocument.in/reader035/viewer/2022062516/56649d575503460f94a35b6b/html5/thumbnails/25.jpg)
Fuzzy relation equations
• Suppose now that both modus ponens and modus tollens are required. The problem of determining R becomes the problem of solving the following system of fuzzy relation equation:
25
![Page 26: PART 8 Approximate Reasoning 1. Fuzzy expert systems 2. Fuzzy implications 3. Selecting fuzzy implications 4. Multiconditional reasoning 5. Fuzzy relation](https://reader035.vdocument.in/reader035/viewer/2022062516/56649d575503460f94a35b6b/html5/thumbnails/26.jpg)
Fuzzy relation equations
Theorem 8.7
![Page 27: PART 8 Approximate Reasoning 1. Fuzzy expert systems 2. Fuzzy implications 3. Selecting fuzzy implications 4. Multiconditional reasoning 5. Fuzzy relation](https://reader035.vdocument.in/reader035/viewer/2022062516/56649d575503460f94a35b6b/html5/thumbnails/27.jpg)
Fuzzy relation equations
If
then is also the greatest approximate solution to the system (8.30).
27
![Page 28: PART 8 Approximate Reasoning 1. Fuzzy expert systems 2. Fuzzy implications 3. Selecting fuzzy implications 4. Multiconditional reasoning 5. Fuzzy relation](https://reader035.vdocument.in/reader035/viewer/2022062516/56649d575503460f94a35b6b/html5/thumbnails/28.jpg)
Fuzzy relation equations
Theorem 8.8
![Page 29: PART 8 Approximate Reasoning 1. Fuzzy expert systems 2. Fuzzy implications 3. Selecting fuzzy implications 4. Multiconditional reasoning 5. Fuzzy relation](https://reader035.vdocument.in/reader035/viewer/2022062516/56649d575503460f94a35b6b/html5/thumbnails/29.jpg)
Interval-valued reasoning
Let A denote an interval-valued fuzzy set.
LA,UA are fuzzy sets called the lower bound and the upper bound of A.
A shorthand notation of A( x )
When LA = UA, A becomes an ordinary fuzzy set.29
![Page 30: PART 8 Approximate Reasoning 1. Fuzzy expert systems 2. Fuzzy implications 3. Selecting fuzzy implications 4. Multiconditional reasoning 5. Fuzzy relation](https://reader035.vdocument.in/reader035/viewer/2022062516/56649d575503460f94a35b6b/html5/thumbnails/30.jpg)
Interval-valued reasoning
given a conditional fuzzy proposition (if - then rule)
where A, B are interval-valued fuzzy sets defined on the universal sets X and Y.
given a fact
how can we derive a conclusion in the form
30
![Page 31: PART 8 Approximate Reasoning 1. Fuzzy expert systems 2. Fuzzy implications 3. Selecting fuzzy implications 4. Multiconditional reasoning 5. Fuzzy relation](https://reader035.vdocument.in/reader035/viewer/2022062516/56649d575503460f94a35b6b/html5/thumbnails/31.jpg)
Interval-valued reasoning
view this conditional proposition as an interval-valued fuzzy relation R = [LR,UR], where
It is easy to prove that LR (x, y) ≦ UR (x, y) and, hence, R is well defined.
31
![Page 32: PART 8 Approximate Reasoning 1. Fuzzy expert systems 2. Fuzzy implications 3. Selecting fuzzy implications 4. Multiconditional reasoning 5. Fuzzy relation](https://reader035.vdocument.in/reader035/viewer/2022062516/56649d575503460f94a35b6b/html5/thumbnails/32.jpg)
Interval-valued reasoning
Once relation R is determined, it facilitates the reasoning process. Given A’ = [LA’,UA’], we derive a conclusion B’ = [LB’,UB’] by the compositional rule of inference
where i is a t-norm and
32
![Page 33: PART 8 Approximate Reasoning 1. Fuzzy expert systems 2. Fuzzy implications 3. Selecting fuzzy implications 4. Multiconditional reasoning 5. Fuzzy relation](https://reader035.vdocument.in/reader035/viewer/2022062516/56649d575503460f94a35b6b/html5/thumbnails/33.jpg)
Interval-valued reasoning
Examplelet a proposition be given, where
Assuming that the Lukasiewicz implication
33
![Page 34: PART 8 Approximate Reasoning 1. Fuzzy expert systems 2. Fuzzy implications 3. Selecting fuzzy implications 4. Multiconditional reasoning 5. Fuzzy relation](https://reader035.vdocument.in/reader035/viewer/2022062516/56649d575503460f94a35b6b/html5/thumbnails/34.jpg)
Interval-valued reasoning
![Page 35: PART 8 Approximate Reasoning 1. Fuzzy expert systems 2. Fuzzy implications 3. Selecting fuzzy implications 4. Multiconditional reasoning 5. Fuzzy relation](https://reader035.vdocument.in/reader035/viewer/2022062516/56649d575503460f94a35b6b/html5/thumbnails/35.jpg)
Exercise 8
• 8.2
• 8.4
• 8.8
• 8.9
35