Documente Academic
Documente Profesional
Documente Cultură
Correspondence
Approximation Capability of Fuzzy Systems
Using Translations and Dilations of One
Fixed Function as Membership Functions
I. INTRODUCTION
The study on approximation theory of fuzzy systems is very
important and necessary. In most applications of fuzzy systems, the
main design objective can be transformed to find desired mappings
from the input space to the output space, which may also be denoted
as functions. Thus, the problems of designing fuzzy systems can be
considered as approximation problems of functions. Before a type of
fuzzy systems is put into application, it is helpful if we know clearly
the basic mechanism of how they approximate a desired function
and whether they are universal approximators (i.e., whether they can
approximate any continuous functions on a compact set to an arbitrary
degree of accuracy). All this will be significant for the appropriate
design of fuzzy systems.
The approximation capability of fuzzy systems has been studied in
detail in the past few years [1][5]. It is shown that the appropriate
selection or construction of membership functions plays an essential
role to ensure the system capability. In the recent studies of B. Kosko
[1], L. X. Wang et al. [2], X. L. Zeng et al. [3], [4], and J. L. Castro
[5], different types of membership functions are discussed. From
their work, we can see that under certain conditions, fuzzy systems
can be universal approximators. In these fuzzy systems, the types
of membership functions are constrained to Gaussian membership
functions [2] or membership functions with compact supports [1],
[3][5]. However, many fuzzy systems do not belong to these classes,
the main reason being that other membership functions are used.
Manuscript received August 30, 1996; revised December 12, 1996. This
work was supported in part by the Climbing Program, National Key Project
for Fundamental Research, Beijing, China, under Grant NSC92097 and the
National Science Foundation, Beijing, China, under Grant 69682010.
Z.-H. Mao and X.-F. Zhang are with the Department of Automation,
Tsinghua University, Beijing, 100084 PR China.
Y.-D. Li is with the School of Information Science and Technology,
Tsinghua University, Beijing, 100084 PR China.
Publisher Item Identifier S 1063-6706(97)04845-5.
1 + e(0x0a)=
0 1 + e 0x10a =
(
+15
(1)
where > 0, a 2 R;
2) in a two input (x1 ; x2 ) and single output fuzzy system, each
membership function describing (x1 ; x2 ) is the product of a
Gaussian membership function and a triangular membership
function;
3) in a multi-input x 2 Rr and single output fuzzy system, the
membership functions describing the components of vector x
are Gaussian membership functions, but the T -norm is min.
In 1), the membership functions do not belong to Gaussian membership functions or membership functions with compact supports.
In 2), the membership functions are not identical to either Gaussian
membership functions or membership functions with compact supports, but the combination of them. In 3), although the membership
functions are Gaussian membership functions, the T -norm applied
is not a product as discussed in [2]. We can easily find that
the fuzzy systems in the above examples do not belong to any
classes of fuzzy systems that have been proved to be universal
approximators by the known results. Thus, the question, Are they
also universal approximators?, or in a more general form, What
other types of fuzzy systems are universal approximators?, still
remains unanswered.
Here, we will answer whether a fuzzy system with weaker constraints to its membership functions can be a universal approximator.
The rest of the paper is designed as follows. Section II introduces the
formula of fuzzy systems. Section III presents the basic principles
of choosing and constructing membership functions and proposes the
concept of membership functions with translation factors and dilation
factors. Section IV discusses the approximation capability of fuzzy
systems using translations and dilations of one fixed function (we
call it basis function) as their membership functions and proves that
a fuzzy system is a universal approximator under conditions that its
basis function is integrable with nonvanishing integral and almost
everywhere (a.e.) continuous. Finally, some conclusions are given.
II. FORMULA
OF
FUZZY SYSTEMS
Rk : If x is Ak ; then y is Ck
(3)
(4)
y = k=1
M
yk VAR (yk )
k=1
(5)
VAR (yk )
y = y(x)
M
= k=1M
yk Ak (x)
k=1
Ak (x)
(6)
469
A(x) =
where = supU f + 1;
based on the two rules
1 f (x) 0
0
(7)
x is A; then f is B2
(8)
If x is not A; then f is B1
(9)
where the output fuzzy sets B1 and B2 are unit area fuzzy subsets of
R with centroid at and , respectively. We will find that the fuzzy
systems output is F (x) = f (x).
If
Suppose function A: Rr 7!
dilations of A have the form
[0; 1];
A[3(x 0 )] = A x1 0 1 ; 1 1 1 ; xr 0 r
1
r
(10)
470
A[3(x 0 )] = A1 x1 0 1 ? A2 x2 0 2
1
2
x
r 0 r
r
?111 ?A
:
r
Especially in the case that 1 = 2 = 1 1 1 = r = , (10)
simplified to
A x0 :
(11)
can be
(12)
wi A[3(x 0 ai )]
y(x) = =1M
i
=1
A[3(x 0 ai )]
(13)
471
y (x) = i=1
M
!i A
i=1
x 0 ai
x 0 ai
(14)
472
lim
n!1 E
jun () 0 vn ()jp d
such that
A(x) dx
"
A3 (x) dx < R 1=p
8
m
(
E
) 1h
R nD
[0T3 ; T3 ]r . Since R
for any D
from (15), we have
A(x) dx 0
(15)
A3 (x) dx < :
r
3 ( 0 ai )fC (ai ) 2T
n
i=1
n
r
wn () =
A3 ( 0 ai ) 2T
n
i=1
n
(17)
(18)
i=1
A3 ( 0 ai )
[0T;T ]
lim
n!1
[0T; T ]
A3 ( 0 x) dx
A(x) dx
(20)
A3 ( 0 x) dx:
(21)
jvn()j [hj3j(2T )r =
j(3 3 fC )() 0 vn ()jp d = 0
A(x) dx]
(22)
n!1
(23)
01
[0T; T ] A3 ( 0 x) dx 0 1 d:
E
A(x) dx
R
A3 ( 0 x) dx =
A3 (x) dx
(25)
[0T; T ] +
when 2 E [0T2 ; T2 ]r , one has [0T; T ]r + [0T3 ; T3 ]r .
[0T; T ]
A(x) dx 0
2 E , we have
[0T; T ] +
A3 (x) dx <
so
3 ( 0 x)fC (x) dx
wn () 0 1
A(x) dx
hp 1
(19)
lim v () =
n!1 n
[0T; T ]
lim w () =
n!1 n
2 d
A3 ( 0 ai )fC (ai )
un () = i=1 n
Rr :
(16)
lim un ()
n!1
2 d
vn () =
(26)
lim
n!1 E
m(E )
A(x) dx
i.e.,
n!1
(27)
(28)
Thus, there exists N2 > 0 such that k(un 0 vn )1E kp =8+ =8 =
for any n N2 .
Let N = max fN1 ; N2 g; then k(uN 0 f )1E kp = k(uN 0
=4
such that
ACKNOWLEDGMENT
(24)
REFERENCES
[1] B. Kosko, Fuzzy system as universal approximators, in Proc. IEEE
Int. Conf. Fuzzy Syst., San Diego, CA, Mar. 1992, pp. 11531162.
[2] L. X. Wang and J. M. Mendel, Fuzzy basis functions, universal approximation, and othogonal least-squares learning, IEEE Trans. Neural
Networks, vol. 3, pp. 807814, May 1992.
[3] X. J. Zeng and M. G. Singh, Approximation theory of fuzzy systemsSISO case, IEEE Trans. Fuzzy Syst., vol. 2, pp. 162176, May
1994.
, Approximation theory of fuzzy systemsMIMO case, IEEE
[4]
Trans. Fuzzy Syst., vol. 3, pp. 219235, May 1995.
[5] J. L. Castro, Fuzzy logic controllers are universal approximators, IEEE
Trans. Syst., Man, Cybern., vol. 25, pp. 629635, Apr. 1995.
473
[6] C. H. Wang, W. Y. Wang, T. T. Lee, and P. S. Tseng, Fuzzy Bspline membership function (BMF) and its applications in fuzzy-neural
control, IEEE Trans. Syst., Man, Cybern., vol. 25, pp. 841851, May
1995.
[7] F. A. Watkins, Comments on Singh and Zeng: Approximation theory
of fuzzy systemsSISO case, IEEE Trans. Fuzzy Syst., vol. 4, p. 80,
Feb. 1996.
[8] X. J. Zeng and M. G. Singh, Authors reply to Watkins comments,
IEEE Trans. Fuzzy Syst., vol. 4, p. 81, Feb. 1996.
[9] J. Park and I. W. Sandberg, Universal approximation using radial-basisfunction networks, Neural Computat., vol. 3, pp. 246257, 1991.
[10] W. Rudin, Real and Complex Analysis. New York: McGraw-Hill,
1974.