Professional Documents
Culture Documents
Hypothetical Syllogism
pq p q
pq q p
pq qr pr
( B ') = ( A ') o ( R )
A is the vector associated to fuzzy set A R is the matrix associated to fuzzy relation R B is the vector associated to the inferred fuzzy set B
R( x, y ) = J ( A ( x), B ( y ))
The operator J(,) denotes a fuzzy implication
Example
X = {x1, x2, x3}, Y = {y1, y2} A = .5/x1 + 1/x2 + .6/x3, B = 1/y1 + .4/y2 A = .6/x1 + .9/x2 + .7/x3 Use the compositional rule of inference to derive a conclusion in the form Y is B Use Lukasiewiczs implication
J(x, y) = min(1, 1-a+b)
Or in matrix form:
A ' = B 'o R
Example
X = {x1, x2, x3}, Y = {y1, y2} A = .5/x1 + 1/x2 + .6/x3, B = 1/y1 + .4/y2 B = .9/y1 + .7/y2 Use the compositional rule of inference to derive a conclusion in the form X is A Use Lukasiewiczs implication
J(x, y) = min(1, 1-a+b)
In this case, we can say that the HS holds if: R3 ( x, z ) = sup min ( R1 ( x, y ), R2 ( y, z ) )
yY
Or in matrix form:
R3 = R1 o R2
Example
X = {x1, x2, x3}, Y = {y1, y2}, Z = {z1, z2} A = .5/x1 + 1/x2 + .6/x3, B = 1/y1 + .4/y2, C = .2/z1 + 1/z2 Determine whether or not the HS holds in this case Use the following implication:
1 a b J ( a, b) = b a > b
Exercise (Homework)
Determine whether or not the HS holds for the case presented in the previous slide Use the Lukasiewiczs implication