Beruflich Dokumente
Kultur Dokumente
Abstract
This paper deals with Zadeh’s compositional rule of inference [12] under triangular
norms: IF X is P AND X and Y have relation R, THEN Y is Q, where P and Q are
fuzzy sets of the real line IR, R is a fuzzy relation on IR and the conclusion Q is defined
via sup-T composition of P and R:
It is shown that (i) when the triangular norm T and the membership function of the
observation P are continuous, then the conclusion Q depends continuously on the
observation; (ii) when T and the membership function of the relation R are continuous,
then the observation Q has continuous membership function. Furthermore, we present
similar results for the discrete case and for multiple fuzzy reasoning schemes.
Keywords: Compositional rule of inference, fuzzy relation, fuzzy interval, triangular norm,
extension principle
1 Preliminaries
In this Section we set up the notations and present a lemma needed in order to prove stability
and continuity properties of the compositional rule of inference under continuous triangular
norms.
1
Definition 1.2 A function T : [0, 1] × [0, 1] → [0, 1] is said to be a triangular norm [10]
(t-norm for short) if T is symmetric, associative, non-decreasing in each argument, and
T (x, 1) = x for all x ∈ [0, 1].
Definition 1.3 Let A be a fuzzy interval, then for any θ ≥ 0 we define ωA (θ), the modulus
of continuity of A by
ωA (θ) = max |µA (u) − µA (v)|.
|u−v|≤θ
where d denotes the classical Hausdorff metric in the family of compact subsets of IR2 , i.e.
When the fuzzy sets A and B have finite support {x1 , . . . , xn }, then their Hamming distance
is defined as
n
H(A, B) = |µA (xi ) − µB (xi )|.
i=1
The following lemma [2] shows that if the distance between the α-level sets of fuzzy inter-
vals A and B is small, then the distance between their membership grades can not be too
big.
D(A, B) ≤ δ,
then
sup |µA (t) − µB (t)| ≤ max{ωA (δ), ωB (δ)}.
t∈IR
2
Observation: X has property P X has property P
Relation: X and Y have relation R X and Y have relation R
Conclusion: Y has property Q Y has property Q
Q = P ◦ R, Q = P ◦ R
i.e.,
µQ (y) = sup T (µP (x), µR (x, y)), µQ (y) = sup T (µP (x), µR (x, y)).
x∈IR x∈IR
The following theorem shows that when the observations are close to each other in the
metric D, then there can be only a small deviation in the membership functions of the
conclusions.
Theorem 2.1 Let δ ≥ 0 and T be a continuous triangular norm, and let P , P be fuzzy
intervals. If
D(P, P ) ≤ δ
then
sup |µQ (y) − µQ (y)| ≤ ωT (max{ωP (δ), ωP (δ)}).
y∈IR
|µQ (y) − µQ (y)| = | sup T (µP (x), µR (x, y)) − sup T (µP (x), µR (x, y))| ≤
x∈IR x∈IR
sup |T (µP (x), µR (x, y)) − T (µP (x), µR (x, y))| ≤ sup ωT (|µP (x) − µP (x)|) ≤
x∈IR x∈IR
Remark 2.1 It should be noted that the stability property of the conclusion Q with respect
to small changes in the membership function of the observation P in the compositional rule
of inference scheme is independent from the relation R (it’s membership function can be
discontinuous).
Remark 2.2 Since the membership function of the conclusion in the compositional rule of
inference can have unbounded support, it is possible that the maximal distance between the
α-level sets of Q and Q is infinite, but their membership grades are arbitrarily close to
each other.
The following theorem establishes the continuity property of the conclusion in the compo-
sitional rule of inference scheme.
Theorem 2.2 Let R be continuous fuzzy relation, and let T be a continuous t-norm. Then
Q is continuous and
ωQ (δ) ≤ ωT (ωR (δ)) for each δ ≥ 0.
3
Proof. Let δ ≥ 0 be a real number and let u, v ∈ IR such that |u − v| ≤ δ. Then
|µQ (u) − µQ (v)| = | sup T (µP (x), µR (x, u)) − sup T (µP (x), µR (x, v))| ≤
x∈IR x∈IR
sup |T (µP (x), µR (x, u)) − T (µP (x), µR (x, v))| ≤ sup ωT (|µR (x, u) − µR (x, v)|) ≤
x∈IR x∈IR
Remark 2.3 From Theorem 3.2. it follows that the continuity property of the membership
function of the conclusion Q in the compositional rule of inference scheme is independent
from the observation P (it’s membership function can be discontinuous).
The next theorem shows that the stability property of the conclusion under small changes
in the membership function of the observation holds in the discrete case, too.
Theorem 2.3 Let T be a continuous t-norm. If the observation P and the relation matrix
R are finite, then
H(Q, Q ) ≤ ωT (H(P, P )) (1)
where H denotes the Hamming distance and the conclusions Q and Q are computed as
The proof of this theorem is carried out analogously to the proof of Theorem 3.1.
It should be noted that in the case of T (u, v) = min{u, v} (1) yields
H(Q, Q ) ≤ H(P, P ).
The above theorems can be easily extended to Multiple Fuzzy Reasoning (MFR) schemes.
Consider the following MFR schemes:
Observation: P P
Implication 1: P1 → Q1 P1 → Q1
... ...
Implication m: Pm → Qm Pm → Qm
Conclusion: Q Q
4
i.e.,
µQ (y) = sup T (µP (x), min µPi (x) → µQi (y)),
x∈IR i=1,...,m
µQ (y) = sup T (µP (x), min µPi (x) → µQi (y)),
x∈IR i=1,...,m
The following two theorems can be proved similarly to Theorems 3.1 and 3.2.
Theorem 2.4 Let δ ≥ 0, let T be a continuous triangular norm, let P , P , Pi , Pi , Qi , Qi ,
i = 1, . . . , m, be fuzzy intervals and let → be a continuous fuzzy implication operator. If
then
sup |µQ (y) − µQ (y)| ≤ ωT (max{ω(δ), ω→ (ω(δ))}),
y∈IR
where
ω(δ) = max{ωPi (δ), ωPi (δ), ωQi (δ), ωQi (δ)},
and ω→ denotes the modulus of continuity of the fuzzy implication operator.
Theorem 2.5 Let → be a continuous fuzzy implication operator, let P , P ,Pi , Pi , Qi , Qi ,
i = 1, . . . , m, be fuzzy intervals and let T be a continuous t-norm. Then Q is continuous
and
ωQ (δ) ≤ ωT (ω→ (ω(δ)) for each δ ≥ 0,
where
ω(δ) = max{ωPi (δ), ωPi (δ), ωQi (δ), ωQi (δ)},
and ω→ denotes the modulus of continuity of the fuzzy implication operator.
Remark 2.4 From limδ→0 ω(δ) = 0 and Theorem 3.4. it follows that
if
D(P, P ) → 0, D(Pi , Pi ) → 0 and D(Qi , Qi ) → 0,
for i = 1, . . . , m, which means the stability of the conclusion under small changes of the
observation and rules.
The stability property of the conclusion under small changes of the membership function
of the observation and rules guarantees that small rounding errors of digital computation
and small errors of measurement of the input data can cause only a small deviation in the
conclusion, i.e. every successive approximation method can be applied to the computation
of the linguistic approximation of the exact conclusion.
5
References
[1] D.Dubois, R.Martin-Clouarie and H.Prade, Practical computing in fuzzy logic, In:
M.M.Gupta and T.Yamakawa eds., Fuzzy Computing: Theory, Hardware, and Ap-
plications, North-Holland, Amsterdam, 1988 11-34.
[5] H.Hellendoorn, Closure properties of the compositional rule of inference, Fuzzy Sets
and Systems, 35(1990) 163-183.
[6] O.Kaleva, Fuzzy differential equations, Fuzzy Sets and Systems, 24(1987) 301-317.
[9] P.Margrez and P.Smets, Fuzzy modus ponens: A new model suitable for applications
in knowledge-based systems, International Journal of Intelligent systems, 4(1989)
181-200.
[10] B.Schweizer and A.Sklar, Associative functions and abstract semigroups, Publ.
Math. Debrecen, 10(1963) 69-81.
[12] L.A.Zadeh, Outline of a new approach to the analysis of complex systems and de-
cision processes, IEEE Transactions on Systems, Man and Cybernetics, Vol.SMC-3,
No.1, 1973 28-44.
[13] L.A.Zadeh, The role of fuzzy logic in the management of uncertainty in expert sys-
tems, Fuzzy Sets and Systems, 11(1983) 199-228.
[14] H.-J.Zimmermann, Fuzzy sets, Decision Making and Expert Systems, Boston, Dor-
drecht, Lancaster 1987.