130 ieee transactions on fuzzy systems, vol. 16, no....
TRANSCRIPT
130 IEEE TRANSACTIONS ON FUZZY SYSTEMS, VOL. 16, NO. 1, FEBRUARY 2008
On the Law of Importation(x y) z (x (y z))
in Fuzzy LogicBalasubramaniam Jayaram, Member, IEEE
Abstract—The law of importation, given by the equivalence () ( ( )), is a tautology in classical
logic. In -implications defined by Turksen et al., the above equiv-alence is taken as an axiom. In this paper, we investigate the generalform of the law of importation ( ( ) ) ( ( )),where is a -norm and is a fuzzy implication, for the threemain classes of fuzzy implications, i.e., -, - and -implicationsand also for the recently proposed Yager’s classes of fuzzy implica-tions, i.e., - and -implications. We give necessary and sufficientconditions under which the law of importation holds for -, -,
- and -implications. In the case of -implications, we inves-tigate some specific families of -implications. Also, we investi-gate the general form of the law of importation in the more generalsetting of uninorms and -operators for the above classes of fuzzyimplications. Following this, we propose a novel modified schemeof compositional rule of inference (CRI) inferencing called the hi-erarchical CRI, which has some advantages over the classical CRI.Following this, we give some sufficient conditions on the operatorsemployed under which the inference obtained from the classicalCRI and the hierarchical CRI become identical, highlighting thesignificant role played by the law of importation.
Index Terms—Approximate reasoning, compositional rule of in-ference, fuzzy implications, fuzzy inference, law of importation,rule reduction.
I. INTRODUCTION
THE equation , knownas the law of importation, is a tautology in classical logic.
The general form of the above equivalence is given by
(LI)
where is a -norm and a fuzzy implication.In the framework of fuzzy logic, the law of importation has
not been studied so far in isolation. In -implications definedby Turksen et al. [51], (LI) with as the product -norm
was taken as one of the axioms. Baczynski[1] has studied the law of importation in conjunction with thegeneral form of the following distributive property of fuzzyimplications:
(1)
Manuscript received June 11, 2006; revised October 26, 2006 and January 8,2007.
The author is with the Department of Mathematics and Computer Sciences,Sri Sathya Sai University, Prasanthi Nilayam, A.P. 515134, India. (e-mail:[email protected]).
Digital Object Identifier 10.1109/TFUZZ.2007.895969
and has given a characterization. Bouchon-Meunier andKreinovich [11] have characterized fuzzy implications thathave the law of importation (LI) as one of the axioms alongwith (1). They have considered forthe -norm and claim that Mamdani’s choice of implication“min” is “not so strange after all.”
A. Motivation for This Work
Recently, there have been many attempts to examine classicallogic tautologies involving fuzzy implication operators, bothfrom a theoretical perspective and from possible applicationalvalue. There were a number of correspondences [10], [13]–[15],[18], [34], [48] on (1), the following equivalence:
(2)
and related distributive properties in fuzzy logic, in the contextof inference invariant complexity reduction in fuzzy rule basedsystems (see [8], [9], [45], and [53]). Daniel-Ruiz and Torrenshave investigated the distributivity of fuzzy implications overuninorms (see Section II-D) in [43]. Fodor [20] has investigatedthe contrapositive symmetry of the three classes of fuzzy im-plications -, - and -implications with respect to a strongnegation. Igel and Tamme [28] have dealt with chaining of im-plication operators in a syllogistic fashion. Thus the investiga-tion of these properties of fuzzy implications has interesting ap-plications in approximate reasoning.
In this paper, we consider the general form of the law of im-portation in the setting of fuzzy logic and explore its potentialapplications in the field of approximate reasoning along the fol-lowing lines.
The compositional rule of inference (CRI) proposed by Zadeh[57] is one of the earliest and most important inference schemesin approximate reasoning involving fuzzy propositions. Infer-encing in CRI involves fuzzy relations that are multidimensionaland hence is resource consuming—both memory and time. Wepropose a novel modified scheme of the classical CRI infer-encing called the hierarchical CRI that alleviates some of thedrawbacks of the classical CRI. Next we investigate when theinference obtained from the classical CRI and the hierarchicalCRI become identical. Toward this end, we give some sufficientconditions on the operators employed in the inferencing, con-ditions that highlight the significant role played by the law ofimportation.
1063-6706/$25.00 © 2007 IEEE
Authorized licensed use limited to: IEEE Xplore. Downloaded on January 14, 2009 at 23:40 from IEEE Xplore. Restrictions apply.
JAYARAM: ON THE LAW OF IMPORTATION IN FUZZY LOGIC 131
B. Main Contents of the Paper
The three established and well-studied classes of fuzzy im-plications in the literature are the -, - and -implications.Recently, Yager [54] has proposed two new classes of fuzzy im-plications— - and -implications—that can be seen to be ob-tained from the additive generators of continuous Archimedean-norms and -conorms (see Section II-C), respectively. In this
paper, we consider the law of importation (LI) for these classesof fuzzy implications: -, -, -, -, and -implications. Wegive necessary and sufficient conditions under which the aboveequivalence can be established for -, -, -, and -implica-tions. In the case of -implications, we investigate some spe-cific families of -implications. Also we have investigated thegeneral form of law of importation in the more general settingof uninorms and -operators and show that they get reduced to-norms.
We propose a novel modified scheme of CRI inferencingcalled the hierarchical CRI that has many advantages overclassical CRI. Subsequently, we give sufficient conditionson the operators employed in the hierarchical CRI underwhich the inference obtained from the classical CRI and thehierarchical CRI become identical. The law of importationplays a significant role in the above equivalence. We illustratethe above concepts through some numerical examples. It isnot uncommon to use a -norm for relating antecedents toconsequents in CRI, in which case we have shown that undereven less restrictive conditions the equivalence between theinferences in the classical CRI and hierarchical CRI can beobtained.
C. Outline of This Paper
In Section II, we review the basic fuzzy logic operators andtheir different properties. The main theoretical results of thispaper are contained in Section III, wherein we investigate thegeneral form of law of importation for some well-known classesof fuzzy implications, and in Section IV, where we investigatethe general form of law of importation in the more general set-ting of uninorms and -operators. In Section V, we propose anovel scheme of inferencing called hierarchical CRI and high-light its advantages. In Section VI, we illustrate the applicationalvalues of the theoretical results in Sections III and IV by demon-strating the significant role the law of importation plays in theequivalence of the outputs obtained from classical CRI and hi-erarchical CRI. Section VII gives a few concluding remarks.
II. PRELIMINARIES
To make this paper self-contained, we briefly mention someof the concepts and results employed in the rest of this paper.
Definition 1: Let be an increasing bijec-tion.
• If is any function, then the -conjugateof is given by
(3)
• If is any binary function, then the-conjugate of is
(4)
A. Negations
Definition 2 ([21, Def. 1.2–1.4]:i) A function is called a fuzzy negation if
, , and is nonincreasing.ii) A fuzzy negation is called strict if, in addition, is
strictly decreasing and is continuous.iii) A fuzzy negation is called strong if it is an involution,
i.e., for all .Theorem 1 [47], [21, Theorem 1.1]: A function
is a strong negation if and only if there exists an increasingbijection , such that .
B. -Norms and -Conorms
Definition 3 [44], [29, Definition 1.1]: An associative, com-mutative, increasing operation is called a-norm if it has neutral element equal to one.
Definition 4 [44], [29, Def. 1.13]: An associative, commuta-tive, increasing operation is called a -conormif it has neutral element equal to zero.
If is an associative binary operation on a domain, then by the notation we mean
for an and . Also .
Definition 5 [29, Def. 2.9 and 2.13]: A -norm ( -conorm, respectively) is said to be:• continuous if it is continuous in both the arguments;• Archimedean if ( , respectively) is such that for every
( , respectively) there is anwith ;
• strict if ( , respectively) is continuous and strictly mono-tone, i.e., when-ever ( , respectively) and ;
• nilpotent if ( , respectively) is continuous and if eachis such that for some
.Table I lists the basic -norms and -conorms along with theirproperties.
Theorem 2 ([29, Theorem 5.1]: For a function, the following are equivalent.
i) is a continuous Archimedean -norm.ii) has a continuous additive generator, i.e., there exists
a continuous, strictly decreasing functionwith , which is uniquely determined up to
a positive multiplicative constant, such that for all
(5)
Authorized licensed use limited to: IEEE Xplore. Downloaded on January 14, 2009 at 23:40 from IEEE Xplore. Restrictions apply.
132 IEEE TRANSACTIONS ON FUZZY SYSTEMS, VOL. 16, NO. 1, FEBRUARY 2008
TABLE IBASIC t-NORMS AND t-CONORMS WITH THEIR PROPERTIES
where is the pseudoinverse of and is defined as:
ifif
(6)
If , then is strict and if , then isnilpotent.
Theorem 3 [29, Corollary 5.5]: For a function, the following are equivalent.
i) is a continuous Archimedean -conorm.ii) has a continuous additive generator, i.e., there exists
a continuous, strictly increasing functionwith , which is uniquely determined up to
a positive multiplicative constant, such that for allwe have
where is the pseudoinverse of and is given by
ifif
(7)
Theorem 4 [21, Theorem 1.8]: A continuous -conorm sat-isfies , for all with a strict negation
, if and only if there exists a strictly increasing bijection ofthe unit interval [0,1] such that and have the following rep-resentations:
(8)
(9)
C. Uninorms and -Operators
Definition 6 [22, Definition 1]: A uninorm is a two-placefunction that is associative, commutative,nondecreasing in each place, and such that there exists someelement called the neutral element such that
, for all .If , then is a -conorm; and if , then is a
-norm. For any uninorm , . A uninormsuch that is called a conjunctive uninorm and if
it is called a disjunctive uninorm. Note that it can beeasily shown that a uninorm that is continuous on the whole
of [0,1] is either a -norm or a -conorm. There are three mainclasses of uninorms that have been well studied in the literature.
1) Pseudocontinuous uninorms (see [32]), i.e., uninormsthat are continuous on [0,1] except on the segments
0 1 and 0 1 . These are precisely theuninorms such that both functions 1 and 0are continuous except at the point . The class ofconjunctive uninorms having this property are usuallyreferred to as and the disjunctive ones by (see[22]).
2) Idempotent uninorms, i.e., uninorms such thatfor all (see [55], [5], [30],
and [42]).3) Representable uninorms that have additive generators and
are continuous everywhere on the [0,1] except at thepoints (0, 1) and (1, 0) (see [22]).
Definition 7 [31, Definition 3.1]: A -operator is a two-placefunction which is associative, commutative,nondecreasing in each place, and such that:
• ;• the sections are continuous func-
tions, where ; , for all.
D. Fuzzy Implications
Definition 8 [21, Definition 1.15]: A functionis called a fuzzy implication if, for all , it
satisfies
if (J1)
if (J2)
(J3)
(J4)
(J5)
A fuzzy implication is said to be neutral if
(NP)
Remark 1: Though the above axioms are the usually requiredset in literature, they are not mutually exclusive. For example,it can be shown that (J1) implies (J4). Since a fuzzy implicationoperator coincides with the Boolean implication on {0, 1}, we
Authorized licensed use limited to: IEEE Xplore. Downloaded on January 14, 2009 at 23:40 from IEEE Xplore. Restrictions apply.
JAYARAM: ON THE LAW OF IMPORTATION IN FUZZY LOGIC 133
TABLE IISOME S-IMPLICATIONS WITH THEIR CORRESPONDING t-CONORMS AND THEIR N -DUAL t-NORMS, WHERE N IS THE STANDARD NEGATION 1� x
know that . Now by (J1) we have implies, i.e., (J1) implies (J4). Similarly, from
and (J2), we obtain (J3).The following are the two important classes of fuzzy impli-
cations well established in the literature:Definition 9 [21, Definition 1.16]: An -implication is
obtained from a -conorm and a strong negation as follows:
(10)
Definition 10 [21, Definition 1.16]: An -implication isobtained from a -norm as follows:
(11)A -norm and -implication obtained from are said
to have the residuation principle if they satisfy the following:
iff (RP)
Remark 2: It is important to note that (RP) is a characterizingcondition for a left-continuous -norm (see [21, p. 25] and [27,Proposition 5.4.2]. In this paper, we only consider -implica-tions obtained from -norms such that the pair ( )satisfy the residuation principle (RP) or, equivalently, is aleft-continuous -norm. Also if is a left-continuous -norm,then in (11) reduces to .
Any -implication obtained from a left-continuous-norm satisfies (NP) and has the ordering property (OP)
(see, for example, [50]) for all
Ordering Property (OP)
Since for any , we have that(see also [39] and [40])
(12)
Proposition 1 [2, Propositions 12 and 21]: Letbe an increasing bijection.
i) If is an -implication obtained from a -conormand a strong negation , then its -conjugate isalso an -implication obtained from the -conorm andthe strong negation .
ii) If is an -implication obtained from a left continuous-norm , then its -conjugate is also an -impli-
cation obtained from the left continuous -norm .A third important class of fuzzy implications studied in the
literature is the following.
TABLE IIISOME R-IMPLICATIONS AND THEIR CORRESPONDING t-NORMS
Definition 11 [21, p. 24]: A -implication is obtained froma -conorm , -norm , and strong negation as follows:
(13)
Remark 3: It should be emphasized that not all -implica-tions satisfy the condition (J1) of Definition 8. For example, con-sider the function , called theZadeh implication in the literature. Letand . Then andhence does not satisfy (J1), but it is a -implication obtainedfrom the triple .
Further, a -implication satisfies (J4), and hence (J1), onlyif the strong negation and the -conorm in Definition 11are such that for all .
We say that a -implication obtained from the tripleis a fuzzy implication only if satisfies (J1). For
more recent works on -implications, we refer the readers to[33] and [49].
Remark 4: An -implication (Definition 9) or a -im-plication can be considered for noninvolutive negationsalso (see [4]), but in this paper we only consider the strongerdefinition as given in [21].
All the above three classes of -, -, and -implicationsare neutral. Tables II–IV list a few of the well-known -, -,and -implications, respectively.
E. Yager’s Classes of Fuzzy Implications
Recently, Yager [54] has proposed two new classes of fuzzyimplication operators— - and -generated implications—thatcannot be strictly categorized to fall in the above classes. Refer-ence [3] discusses the intersection of the above classes of fuzzyimplications with the classes of - and -implications.They can be seen to be obtained from additive generators of-norms and -conorms, whose definitions we give below along
with a few of their properties.Definition 12 [54, p. 196]): An -generator is a function
that is a strictly decreasing and continuousfunction with . Also we denote its pseudoinverse by
given by (6).
Authorized licensed use limited to: IEEE Xplore. Downloaded on January 14, 2009 at 23:40 from IEEE Xplore. Restrictions apply.
134 IEEE TRANSACTIONS ON FUZZY SYSTEMS, VOL. 16, NO. 1, FEBRUARY 2008
TABLE IVSOME QL-IMPLICATIONS WITH THEIR CORRESPONDING t-CONORMS AND t-NORMS, WHERE N IS THE STANDARD NEGATION 1�x
TABLE VSOME J IMPLICATIONS WITH THEIR f -GENERATORS
TABLE VISOME J IMPLICATIONS WITH THEIR g-GENERATORS
Definition 13 [54, p. 197]): A function from to [0, 1]defined by an -generator as
(14)
with the understanding that is called an -generatedimplication.
It can easily be shown that is a fuzzy implication (see [54,p. 197]).
Definition 14 [54, p. 201]: A -generator is a functionthat is a strictly increasing and continuous func-
tion with . Also we denote its pseudoinverse bygiven by (7).
Definition 15 (Yager [54, p. 201]): A function from [0,1] to[0, 1] defined by a -generator as
(15)
with the understanding that is a fuzzy implicationand is called a -generated implication.
Note that for any , since ,and hence in (14). As can be seen from The-
orems 2 and 3, the - and -generators can be used as additivegenerators for generating -norms and -conorms, respectively.We will use the terms -generated ( -generated, respectively)implication and -implication ( -implication, respectively) in-terchangeably.
It is easy to see that , are neutral fuzzy implications, anda few examples from these two classes are given in Tables V andVI (see [54, pp. 199–203]).
Lemma 1: Let be:i) an -implication obtained from an -generator; or
ii) a -implication obtained from a -generator such that.
Then iff either or .Proof:
i) Let be an -implication . Then the reverse implica-tion is obvious. On the other hand
which implies either or , which by thestrictness of means .
ii) Let be a -implication obtained from a -generatorsuch that . Again, the reverse implication isobvious. On the other hand, since , we have
and
which implies either , since if thencannot be , or , i.e., .
Lemma 2: Let be:i) an -implication obtained from an -generator with
; orii) a -implication .
Authorized licensed use limited to: IEEE Xplore. Downloaded on January 14, 2009 at 23:40 from IEEE Xplore. Restrictions apply.
JAYARAM: ON THE LAW OF IMPORTATION IN FUZZY LOGIC 135
Then
ifif
Proof: If , then since ,are fuzzy implications. If , then:i) ,
by definition of .ii) , and since is strictly increasing and ,
we have .
III. THE LAW OF IMPORTATION
In the following sections we discuss the validity of (LI) whenis an -, -, -, -, and -implication.
A. - and -Implications and the Law of Importation
Theorem 5: An -implication , obtained from a-conorm and a strong negation satisfies (LI) with a-norm iff is the -dual of .
Proof: Let be an -implication obtained from a-conorm and a strong negation .
( :) Let satisfy (LI) with a -norm . If is the-dual -conorm of , then
LHS LI
(16)
RHS LI
(17)
Since (16) (17), taking , we havefor all . Since is a strong negation
and hence both one-to-one and onto on [0, 1], for every, there exists such that. Now it follows that for all
, and that is the -dual -conorm of .( :) If is the -dual of , then and (16)
(17) by the associativity of . Thus an -implication anda -norm satisfy (LI) iff is the -dual of .
Theorem 6 [38], [21, Theorem 1.14]: An -implicationobtained from a left-continuous -norm satisfies (LI) with a-norm iff .
Proof: Let be the -implication obtained asthe residuation of the left-continuous -norm . Then
, for all. Since satisfy the residuation principle
(RP), we have . Also by(OP), we have iff .
( :) Let . Now, since is left-continuous we haveby the associativity of and (RP)
LHS LI
RHS LI
( :) Let satisfy (LI) for some -norm . Letbe arbitrary but fixed and . Now, by em-
ploying the following properties—commutativity of , (12),and (OP)—we have
(18)
On the other hand, for the above fixed , let .Then we have, from (OP) and (RP)
(19)
From (18) and (19) and since are arbitrary, we see that.In Table II, the -norms under column and in Table III
the -norms under column are the -norms corresponding tothe -implications and -implications (under the columnsand ), respectively, that satisfy (LI).
From Theorems 5 and 6 and Proposition 1, we have the fol-lowing corollary.
Corollary 1: Let be an increasing bijec-tion.
i) The -conjugate of an -implication satisfies (LI)iff is the -dual of .
ii) The -conjugate of an -implication obtained froma left-continuous -norm satisfies (LI) iff ,where is the -conjugate of the -norm .
B. -Implications and the Law of Importation
Let the -implication obtained from a -conorm ,-norm , and strong negation be a fuzzy implication; then
, for all (see Remark 3). In the restof this section, we consider only continuous -conorms andhence by Theorem 4 we have that and have the represen-tation as given in (8) and (9), respectively, i.e.,
for all .Let us consider the extreme case when
(from the same bijection ), in which case from Theorem1 we have that is a strong negation.
Now, if we consider the obtained from the triplewhere is any -norm, then since
Authorized licensed use limited to: IEEE Xplore. Downloaded on January 14, 2009 at 23:40 from IEEE Xplore. Restrictions apply.
136 IEEE TRANSACTIONS ON FUZZY SYSTEMS, VOL. 16, NO. 1, FEBRUARY 2008
for any -norm and , we have, for all ,the following (see also [33] and [49]):
(20)
If we consider to be either a -conjugate of a continuousArchimedean -norm or , it can be easily verified thatobtained from the triple all satisfy (J1) andhence are fuzzy implications. In fact, Fodor [20, Corollary 4]has shown that an “if and only if” relation exists between thedifferent -norms employed below and the resulting -im-plications.
i) If the -norm in (20) is conjugate with the Łukasiewicz-norm , then is the -implication obtained
from and , i.e.,
(21)
ii) If the -norm in (20) is conjugate with the product-norm , then is conjugate with the Reichenbach
implication , i.e., and is given by
(22)
iii) If the -norm in (20) is the minimum -norm , thenis conjugate with the Łukasiewicz implication ,
i.e., and is given by
(23)
Theorem 7: Let be a continuous -conorm with represen-tation (8) for an increasing bijection andbe the associated strong negation, i.e., .Let be a -implication obtained from .
i) If the -norm is the -conjugate of the Łukasiewicz-norm , then satisfies (LI) with a -norm iff
, the minimum -norm.ii) If the -norm is the -conjugate of the product -norm
, then satisfies (LI) with a -norm iff .iii) If the -norm , the minimum -norm, then
satisfies (LI) with a -norm iff is the -conjugate ofthe Łukasiewicz -norm .
Proof:i) We know from (21) that is the -conjugate of the
Łukasiewicz implication .Now by Corollary 1–ii, we have that satisfies (LI)if and only if is the -conjugate of the Łukasiewicz-norm , i.e.,
.ii) From (22), we see that is an -implication obtained
from the algebraic sum -conormand the strong negation . Now by
Corollary 1–i, we have that satisfies (LI) if and only ifis the -dual of the -conjugate of the algebraic sum
-conorm ,
where . Now by aneasy verification, we can see that
iii) From (23), we see that is an -implication with. Hence by Theorem 5, we have that satisfies
(LI) iff , which is the -dual of for anystrong .
C. Yager’s - and -Implications and the Law of Importation
Theorem 8: Let be an -generated implication. satis-fies the law of importation (LI) with a -norm if and only if
, the product -norm.Proof: ( :) Let be the product -norm. Then for any
RHS LI
LHS LI
( :) Let obey the law of importation (LI) with a -norm .Then for any , we have
LHS LI RHS LI
(24)
Now, if , then, since is strictly decreasing,and hence from (24) we have for all.
Lemma 3: If a -implication satisfies the law of impor-tation (LI) with a -norm , then for any
.Proof: On the contrary, let for some
. Let . Thenby (J3). Since satisfies the law of importation
(LI) with respect to , we have . Inparticular, if , then and
from Lemma 2–ii, fromwhich we have , a contradiction. Hence forany .
Theorem 9: Let be a -generated implication withsuch that . satisfies the law of
importation (LI) with a -norm if and only if , theproduct -norm.
Proof: Let be a -generated implication obtained froma -generator such that . Then we have .First, since is a neutral fuzzy implication, if or
or , then (LI) holds for any -norm . Againfrom Lemma 2–ii, , for all , and hence(LI) holds for and any -norm such that for all
Authorized licensed use limited to: IEEE Xplore. Downloaded on January 14, 2009 at 23:40 from IEEE Xplore. Restrictions apply.
JAYARAM: ON THE LAW OF IMPORTATION IN FUZZY LOGIC 137
, when . Hence in the following, we consider(LI) only for , which also implies .
( :) Let be the product -norm. Then for all
RHS LI
LHS LI
( :) Let obey the law of importation (LI) with a -norm. Then for all , we note that from Lemma 3
, and also
from which we obtain , for all , since.
Theorem 10: Let be a -generator such that .Then , the -generated implication, satisfies the law of im-portation (LI) if and only if , the product -norm.
Proof: Let be a -generator such that .( :) Clearly if , then it can be easily verified thatsatisfies (LI) with .
( :) To prove the converse, let be a -norm for whichsatisfies the law of importation and note that from Lemma 3,
for any .Suppose first that for some , we have
, and let . Then we have
and so
whereas
a contradiction.
On the other hand, if for some we haveand let , since
, we have
and so
whereas
a contradiction. Hence necessarily for all, i.e., in (LI).
IV. THE LAW OF IMPORTATION IN THE SETTING OF UNINORMS
AND -OPERATORS
In this section, we investigate the equivalence (LI) when iseither a uninorm or a -operator.
A. Law of Importation With a Uninorm Instead of a -Norm
In this section, we consider the following equality, whereis a uninorm:
(LI.U)
Lemma 4: If a neutral fuzzy implication satisfies (LI.U),then , i.e., is conjunctive.
Proof: Let be a neutral fuzzy implication and. Letting , , , we have
LHS LI.U
RHS LI.U
LHS (LI.U) RHS (LI.U) , a contradiction.Since all of the fuzzy implications considered in this work are
neutral, in this section, we only consider conjunctive uninormsfor (LI.U).Theorem 11: An -implication , obtained from a
-conorm and a strong negation , satisfies (LI.U) with aconjunctive uninorm only if the identity of is one, orequivalently , the -norm that is -dual of .
Proof: Let be a conjunctive uninorm with the identityelement and be the -implication obtained froma -conorm and a strong negation . Letting , ,
, we have
LHS LI.U
RHS LI.U
LHS (LI.U) RHS (LI.U), a -norm. Now from Theorem 5, we have that is the
-norm that is -dual of .
Authorized licensed use limited to: IEEE Xplore. Downloaded on January 14, 2009 at 23:40 from IEEE Xplore. Restrictions apply.
138 IEEE TRANSACTIONS ON FUZZY SYSTEMS, VOL. 16, NO. 1, FEBRUARY 2008
From the proof of the above theorem and noting thatfor all ,
we have that a -implication satisfies (LI.U) with aconjunctive uninorm only if the identity of is one, i.e.,
is a -norm.Theorem 12: An -implication obtained from a left-con-
tinuous -norm satisfies (LI.U) with a conjunctive uninormonly if the identity of is one, or equivalently ,
the -norm from which was obtained.Proof: Let be a conjunctive uninorm with the identity
element . Let be an -implication obtainedfrom a left-continuous -norm . We know from (OP) that
, for all . Letting , in(LI.U)
LHS LI.U
RHS LI.U
Now, LHS (LI.U) RHS (LI.U) , i.e., is a -norm.Now from Theorem 6, we have that is the -norm fromwhich was obtained.
Theorem 13: An -implication satisfies (LI.U) with a con-junctive uninorm only if the identity element of is one,or equivalently, is the product -norm .
Proof: Let be an -implication obtained from an -gen-erator. Let , . Then
LHS LI.U
RHS LI.U
satisfies (LI.U) only if, which implies or or . Now,
, a contradiction to the fact that isa conjunctive uninorm and . Hence we have .Now, from Theorem 8, we have that is the product -norm
.Theorem 14: A -implication satisfies (LI.U) with a con-
junctive uninorm only if the identity element of is one,or equivalently is the product -norm .
Proof: Let be a -implication obtained from a-generator. Let , . Then LHS (LI.U)
while RHS (LI.U). satisfies
(LI.U) only if . Here again we considerthe following two cases.
Case 1: Let . Then. Hence
or or
or
Now, implies is a -conorm, contradicting the fact thatis a conjunctive uninorm, and so we have and ,
a -norm.Case 2: Let . Then
and , a -norm.Now, from Theorems 9 and 10, we have that is the product
-norm .
B. Law of Importation With a -Operator Instead of a-Norm
In this section, we consider the following equality, whereis a -operator:
(LI.F)
Lemma 5: Let be a fuzzy implication operator such thatiff either or . Then satisfies (LI.F)
only if or, equivalently, , a -norm.Proof: Let , , . Then LHS (LI.F)
and RHS (LI.F) .Hence for to satisfy (LI.F), we need , which since
by the hypothesis we have or, equivalently, ,a -norm.
Lemma 6: Let be a fuzzy implication operator such thatif and only if . Then satisfies (LI.F) only if
or, equivalently, , a -norm.Proof: Let , . Then LHS (LI.F)
and RHS (LI.F) .Hence for to satisfy (LI.F), we need , and from thegiven condition on , we have or, equivalently, ,a -norm.
Theorem 15: Let be:i) an -implication ;
ii) an -implication obtained from a left-continuous-norm ;
iii) an -implication ;iv) a -implication .
Then satisfies (LI.F) only if the absorption element of iszero, i.e., , a -norm.
Proof: Let be a -operator with the absorption element.
i) Let be an -implication obtained from a -conormand strong negation . Then , the
strong negation, and hence .Now, by Lemma 6, we have , i.e., is a -norm.
ii) Let be an -implication obtained from a left-con-tinuous -norm . We know, from the ordering prop-erty (OP), that , for any . Let
. Then by definition . Now
LHS LI.F
RHS LI.F
Hence LHS (LI.F) RHS (LI.F), a contradiction to the fact that . Thus there
does not exist any such that , i.e.,is a -norm.
iii) Let be an -implication. Then the result is obviousfrom Lemmas 5 and 1.
iv) Let be a -implication. Then the result is obvious fromLemmas 6 and 2.
Corollary 2:i) An -implication satisfies (LI.F) iff is the -dual
-norm of .ii) An -implication obtained from a left-continuous
-norm satisfies (LI.F) iff .
Authorized licensed use limited to: IEEE Xplore. Downloaded on January 14, 2009 at 23:40 from IEEE Xplore. Restrictions apply.
JAYARAM: ON THE LAW OF IMPORTATION IN FUZZY LOGIC 139
iii) An -implication satisfies (LI.F) iff is the product-norm.
iv) A -implication satisfies (LI.F) iff is the product-norm.
Once again, from part i) of the proof of Theorem 15 andnoting that , a strong negation, we have that a
-implication satisfies (LI.F) only if the absorption ele-ment of is zero or, equivalently, , a -norm.
V. HIERARCHICAL CRI
In this section, we discuss the structure and inference in oneof the most established methods of inferencing in approximatereasoning, the classical compositional rule of inference (CRI)[57]. After detailing some of the drawbacks of CRI, we pro-pose a novel inferencing scheme called hierarchical CRI, whichis a modification of and has many advantages over CRI, mostnotably computational efficiency. We illustrate these conceptswith some numerical examples.
Definition 16: A fuzzy set on a nonempty set ,, is said to be a “fuzzy singleton” if there exists an
such that has the following representation:
ifif
(25)
We say attains normality at .
A. Structure and Inference in Classical CRI
The CRI proposed by Zadeh [57] is one of the earliest imple-mentations of generalized modus ponens. Here, a fuzzy if-thenrule of the form
If is Then is (26)
is represented as a fuzzy relation asfollows:
(27)
where is any fuzzy implication and are fuzzy sets ontheir respective domains . In this section, unless otherwiseexplicitly stated, , , and . Then given a factis , the inferred output is obtained as composition ofand , i.e.,
(28)
where is a Sup– composition given by
Sup (29)
where can be any -norm (see [52]).In the case when the input is a “singleton” (25) attaining
normality at an , then
Sup
(30)
In the case of a multiple-input single-output (MISO) fuzzyrule given by
If is and is Then is (31)
the relation is given by
(32)
where stands for the “cylindrical extension” of thefuzzy set with respect to the universe of , and vice versa,and is the antecedent combiner, which is usually a -norm.
Consider a single MISO rule of the type (31), denoted, for simplicity. Then, given a multiple-input
, the infered output , taking the Sup– composi-tion, is given by
(33)
Sup
(34)
As in the single-input single output case, when the inputsare “singleton” fuzzy sets and attaining normality at thepoints , , respectively, we have from (34)
(35)
Once again, is the antecedent combiner which is usually anyof the -norms.
1) Example 1: Let , ,and , where , , and are definedon , , and
, respectively. Let be the Reichenbach implica-tion and the antecedent combiner
be the product -norm . Then, taking thecylindrical extensions of and with respect to , we havethat
Now, with , from(32) will be given by ,where
and are given as follows:
Authorized licensed use limited to: IEEE Xplore. Downloaded on January 14, 2009 at 23:40 from IEEE Xplore. Restrictions apply.
140 IEEE TRANSACTIONS ON FUZZY SYSTEMS, VOL. 16, NO. 1, FEBRUARY 2008
Let , be the given fuzzy singletoninputs. Then
(36)
Taking the Sup– composition, we have
(37)
B. Drawbacks of CRI
Despite the prevalent use of CRI, the following are usuallycited as its drawbacks (see, for example, [16] and [17]).
• Computational Complexity: The calculation of thesupremum in (34) is a time-consuming process. When
and , the complexity of a single infer-ence amounts to .
• Explosion in Dimensions: For an -input one-outputsystem with the cardinality ofthe base sets of each of the inputs being , we havean -dimensional matrix having entries. Alsowe need to store -dimensional matrices for every fuzzyif-then rule.
The many works proposing modifications to the classical CRIcan be broadly categorized into those that attempt to improvethe accuracy of inferencing in CRI and those that intend to en-hance the efficiency in its inferencing. Some works relating tothe former approach are those of Ying [56], who investigated the“reasonableness” of CRI and proposed a suitable modificationof the CRI; and Wangming [52], who was one of the earliest toemploy the Sup– composition and has studied the suitabilityof pairs ( ) – of the -norm used for composition andthe fuzzy implication that satisfy some appropriate criteriafor generalized modus ponens and generalized modus tollens. In[12], necessary and sufficient conditions on operators involvedin CRI inferencing are investigated to fit the CRI into the ana-logical scheme. For works relating to computation of CRI andexact formulas, see those by Fullér et al. [24], [25], [23]. Forsome recent works, see [35]–[37].
In the case when there are more than two antecedents involvedin fuzzy inference, Ruan and Kerre [41] have proposed an exten-sion to the classical CRI, wherein, starting from a finite numberof fuzzy relations of an arbitrary number of variables but havingsome variables in common, one can infer fuzzy relations amongthe variables of interest.
As noted above, because of the multidimensionality of thefuzzy relation (32), inferencing in CRI (33) is difficult to per-
form. To overcome this difficulty, Demirli and Turksen [17] pro-posed a rule breakup method and showed that rules with two ormore independent variables in their premise can be simplifiedto a number of inferences of rule bases with simple rules (onlyone variable in their premise). For further modification of thismethod, see [26]. In the following, we propose a modified butnovel form of CRI that alleviates some of the concerns notedabove.
C. Hierarchical CRI
In the field of fuzzy control, hierarchical fuzzy systems(HFSs) hold center stage, since, where applicable, they help toa large extent in breaking down the complexity of the systembeing modeled, in terms of both efficiency and understand-ability. For a good survey of HFS, see Torra [46] and referencestherein.
In this section, we propose a new modified form of CRItermed hierarchical CRI owing to the way in which multipleantecedents of a fuzzy rule are operated upon in the inferencing.A distinction should be made between the method proposed inthis paper, which uses the given MISO fuzzy rules as is, andtypical inferencing in HFS, which is dictated by the hierarchicalstructure that exists among the modeled system variables. Itshould be emphasized that the term “hierarchical CRI” asemployed here refers to the modifications in the inferencingprocedure of CRI and does not impose a hierarchical architec-ture on the MISO fuzzy rules.
From the law of importation (LI), we see that (32) can berewritten as, using a -norm as the antecedent combiner
(38)
Taking a cue from this equivalence, we propose a novel way ofinferencing called the hierarchical CRI, which is given as shownin (39) at the bottom of the page (using the Sup– composi-tion).
Procedure for Hierarchical CRI
Step 1) Calculate .
Step 2) Calculate .
Step 3) Calculate .
Step 4) Finally, calculate
We illustrate the gain in efficiency from using the hierarchicalCRI through the following example. For simplicity, we have
Sup
Sup Sup (39)
Authorized licensed use limited to: IEEE Xplore. Downloaded on January 14, 2009 at 23:40 from IEEE Xplore. Restrictions apply.
JAYARAM: ON THE LAW OF IMPORTATION IN FUZZY LOGIC 141
considered the Sup– , i.e., Sup– , composition in the ex-ample, though it can be substituted by any Sup– composition,for any -norm . Also we have considered the Łukasiewiczimplication , which is both an
- and an -implication.1) Example 2: Let the fuzzy sets be as in Example 1.
Let be the Łukasiewicz implicationand the antecedent combiner be the minimum -norm
.Case 1) Inference with the Classical CRI: Then taking the
cylindrical extensions of and with respect to , we havethat
Now, with ,from (32) will be given by
, where
and
Let , be the given fuzzy singletoninputs. Then is still as given in (36). Taking theSup– composition, we have
(40)
Case 2) Inference With the Hierarchical CRI: Inferencingwith the hierarchical CRI, given an input , we have
(41)
D. Advantages of Hierarchical CRI
From the above example, it is clear that we can convert a mul-tiple-input system employing CRI inference to a single-inputhierarchical system employing CRI. The effect becomes morepronounced when we have more than two input variables. Wesummarize the advantages of hierarchical CRI in the following.
• Computational Efficiency: In the proposed hierarchicalsystem we only need to process two-dimensional matricesat every stage.
• Storage Efficiency: It suffices to store the different an-tecedent fuzzy sets of a fuzzy rule and not their combinedmultidimensional matrices.
• Associative Inferencing: For a given input, since we only compose each of
the s independently at every stage, this relieves usfrom waiting for all the inputs’ s to be available for theinference, and the inference can be done associatively.
• Order Independence: By the commutativity of the -normsused in the composition and as the antecedent com-biner— , respectively—the inputs can be composedin any order, i.e.,
Hence it can be applied online, as and when the inputs aregiven.
Though Example 2 illustrates the computational efficiency ofhierarchical CRI, we see that the inference obtained from theclassical CRI is different from that obtained from the proposedhierarchical CRI, i.e., . In the following section, wepropose some sufficiency conditions under which the outputs ofthe classical and hierarchical CRI schemes are identical, for thesame inputs.
VI. EQUIVALENCE BETWEEN CLASSICAL CRI AND
HIERARCHICAL CRI
In this section, we investigate the equivalence between (39)and (33). Toward this end, we propose some sufficiency condi-tions when the inputs to the system are restricted to fuzzy sin-gletons. It is not uncommon to use a -norm instead of a fuzzyimplication to relate antecedents to consequents to obtain therelation in (32), i.e., the in (32) is a -norm . In such acase, we give both necessary and sufficiency conditions for theequivalence between (39) and (33) when the inputs to the systemare restricted to fuzzy singletons. Again, in the case when isa -norm, we have also proposed some sufficiency conditionseven when the inputs to the system are not fuzzy singletons.
A. Sufficiency Condition for Equivalence Between ClassicalCRI and Hierarchical CRI
Theorem 16: Let the inputs to the fuzzy system be “sin-gleton” fuzzy sets. Then (39) and (33) are equivalent, i.e.,
,when the -norm employed for the antecedent combiner andthe implication are such that (LI) holds.
Proof: Let the antecedent combiner be a -norm andbe a fuzzy implication such that satisfies (LI) with . Also let
Authorized licensed use limited to: IEEE Xplore. Downloaded on January 14, 2009 at 23:40 from IEEE Xplore. Restrictions apply.
142 IEEE TRANSACTIONS ON FUZZY SYSTEMS, VOL. 16, NO. 1, FEBRUARY 2008
us consider the Sup– composition for some -norm . Letthe inputs to the fuzzy rule base be the “singleton” fuzzy sets
and attaining normality at the points , ,respectively. Then we have
Sup
(42)
Sup Sup
(43)
Equation (42) (43) by (LI). Thus (39) and (33) are equivalentwhen the -norm used for the antecedent combiner and thefuzzy implication satisfy (LI) and the inputs are fuzzy single-tons.
1) Example 3: Let the fuzzy sets be as defined inExample 1. In Example 1, the antecedent combiner was taken tobe the product -norm and the implication considered wasthe Reichenbach implication , which is an -implication.From Theorem 5 and Table II, we see that the pairdoes satisfy the conditions given in Theorem 16.
In this example, we infer, using the hierarchical CRI for theidentical “singleton” inputs , given in Example 1 and showthat the output obtained is the same as that in Example 1, i.e.,(37).
Inferencing with the hierarchical CRI, given the input, we have
Now, after some tedious calculations, it can be seen that
(44)
Quite evidently, the inference obtained from the hierarchicalCRI (44) is equal to that obtained from the classical CRI (37),under the conditions of Theorem 16.
Similarly, in Example 2, the fuzzy implication employedwas the Łukasiewicz implication with minimum -norm
as the antecedent combiner. Now, according to the con-ditions given in Theorem 16, if we consider the Łukasiewicz-norm as the antecedent combiner, it can be easily ver-
ified that the outputs obtained from the classical CRI and thehierarchical CRI are indeed identical.
B. Classical CRI With -Norms Instead of Fuzzy Implications
Even though -norms do not satisfy all the properties of afuzzy implication, as given in Definition 8, they are still em-ployed both in approximate reasoning and fuzzy control to re-late antecedents to consequents in fuzzy rules (see, for example,[11] and [19]). Two of the most commonly employed -normsare Mamdani’s min ( ) and Larsen’s product ( ) -norms.
It is easy to see that if is any -norm, then satisfies(LI) with a -norm , i.e., , ifand only if . The reverse implication is obtainedby associativity and the forward implication can be obtained bytaking . Hence Theorem 16 is true in the above case. Infact, when the inputs are singleton fuzzy sets, we can in factshow the following stronger equivalence condition.
Theorem 17: Let the inputs to the fuzzy system be “sin-gleton” fuzzy sets and be a -norm. Then (39) and (33)are equivalent, i.e.,
if and only if the same -norm is em-ployed for the antecedent combiner.
Proof: Let be singleton fuzzy sets on the domainsattaining normality at points , , respec-
tively. Then, for any , we have with and for anySup– composition and for all , , (39) and (33)become as given in (45) and (46) at the bottom of the page. Now,
Sup Sup
(45)
Sup
(46)
Authorized licensed use limited to: IEEE Xplore. Downloaded on January 14, 2009 at 23:40 from IEEE Xplore. Restrictions apply.
JAYARAM: ON THE LAW OF IMPORTATION IN FUZZY LOGIC 143
TABLE VIIRESULTS AT A GLANCE: J—FUZZY IMPLICATION, T—t-NORM, U—UNINORM, F—t-OPERATOR
from above, we have that (45) (46) if and only if ,i.e., the -norm employed for the antecedent combiner and the-norm relating the antecedent to the consequent are iden-
tical.The following theorem gives a sufficient condition under
which (39) and (33) are equivalent, even when the inputs, are not fuzzy singletons.
Theorem 18: Let be a left-continuous -norm. Then (39)and (33) are equivalent, i.e.,
, if the same is employed forthe antecedent combiner to relate the antecedents of the rules totheir consequents (instead of an implication ) and in the Sup–composition.
Proof: Let a -norm; then(33) Sup
Sup
Sup
(47)
Sup (48)
We obtain (48) from (47) by the associativity of .(39)
Sup Sup
Sup Sup
Sup Sup
Sup Sup
Sup (49)
The last equality follows from the previous step since is left-continuous and Sup Sup . Equation(48) (49) by associativity of -norms again. Thus (39) and(33) are equivalent if the -norm used for the “implication” andthe antecedent combiner are the same as the -norm used inthe Sup– composition.
VII. CONCLUSIONS
The law of importation has not been studied so far in isolation.In this paper, we have given necessary and sufficient conditionsunder which the classes of fuzzy implications -, -, -, and
-implications satisfy the law of importation (LI). Also we haveinvestigated the general form of law of importation in the moregeneral setting of uninorms and -operators for all the aboveclasses of fuzzy implications. A summary of the results in thiswork is given in Table VII for ready reference.
We have also proposed a modification in the CRI inferencingscheme called the hierarchical CRI, which has many advan-tages, chiefly computational efficiency. We have also shown that
the law of importation plays an important role in the equiva-lence between inferencing with hierarchical CRI and the clas-sical CRI. The hierarchical CRI proposed in this paper has beenemployed only as an instrument of illustration to the possibleapplications of the law of importation. The hierarchical CRImethod itself merits more focused study and will be taken upin a future work.
By the commutativity of a -norm, if an implication has thelaw of importation with respect to to any -norm , then hasthe exchange principle, i.e.,
The exchange principle plays a significant role in contraposi-tivization of fuzzy implications (see [6]).
Recent works investigating classical logic tautologies in-volving fuzzy implication operators show both their theoreticalinterests (see [7], [6], [10], [13]–[15], [18], [20], [34], [43], and[48]) and their influence in practical applications (see [8], [9],[28], [45], and [53]). This paper can also be seen in this context.
ACKNOWLEDGMENT
The author wishes to express his gratitude to Prof. C. J. M.Rao for his most valuable suggestions and remarks and the re-viewers for their insightful comments, especially for the elegantproof suggested by one of them for Theorem 10.
REFERENCES
[1] M. Baczynski, “On a class of distributive fuzzy implications,” Int. J.Uncertain., Fuzz. Knowl.-Based Syst., vol. 9, no. 2, pp. 229–238, 2001.
[2] M. Baczynski, “Residual implications revisited: Notes on the Smets-Magrez theorem,” Fuzzy Sets Syst., vol. 145, pp. 267–277, 2004.
[3] M. Baczynski and B. Jayaram, “On some properties of the new class ofYager’s fuzzy implications,” in Proc. FSTA 2006 8th Int. Conf. FuzzySet Theory Applicat., Liptovský Ján, Slovak Republic, Feb. 2006, pp.20–21.
[4] M. Baczynski and B. Jayaram, “On the characterisations of (S;N)-im-plications from continuous negations,” in Proc. IPMU 2006 11th Int.Conf. Inf. Process. Manag. Uncertain. Knowl.-Based Syst., Paris,France, Jul. 2006, pp. 436–443.
[5] B. D. Baets, “Idempotent uninorms,” Eur. J. Ope. Res., vol. 118, pp.631–642, 1999.
[6] J. Balasubramaniam, “Contrapositive symmetrization of fuzzy impli-cations—Revisited,” Fuzzy Sets Syst., vol. 157, pp. 2291–2310, 2006.
[7] J. Balasubramaniam, “Yager’s new class of implications J and someclassical tautologies,” Inf. Sci., vol. 177, pp. 930–946, 2007.
[8] J. Balasubramaniam and C. J. M. Rao, Nikos and E. Mastorakis, Eds.,“A lossless rule reduction technique for a class of fuzzy systems,” inProc. 3rd WSEAS Int. Conf. Fuzzy Sets Fuzzy Systems—Recent Adv.Simul., Comput. Meth. Soft Comput., Interlaken, Switzerland, Feb.2002, pp. 228–233.
[9] J. Balasubramaniam and C. J. M. Rao, “R-implication operators andrule reduction in Mamdani-type fuzzy systems,” in Proc. Joint Conf.Inf. Sci., H. J. Caulfield, S. -H. Chen, H. -D. Cheng, R. J. Duro, V.Honavar, E. E. Kerre, M. Lu, M. G. Romay, T. K. Shih, D. Ventura,P. P. Wang, and Y. Yang, Eds.——, “R-implication operators and rulereduction in Mamdani-type fuzzy systems,” Proc. Assoc. Intell. Mach.Joint Conf. Inf. Sci., pp. 82–84, 2002.
Authorized licensed use limited to: IEEE Xplore. Downloaded on January 14, 2009 at 23:40 from IEEE Xplore. Restrictions apply.
144 IEEE TRANSACTIONS ON FUZZY SYSTEMS, VOL. 16, NO. 1, FEBRUARY 2008
[10] J. Balasubramaniam and C. J. M. Rao, “On the distributivity of impli-cation operators over T and S norms,” IEEE Trans. Fuzzy Syst., vol.12, pp. 194–198, 2004.
[11] B. Bouchon-Meunier and V. Kreinovich, Axiomatic description of im-plication leads to a classical formula with logical modifiers: In par-ticular, Mamdani’s choice of “AND” as implication is not so weirdafter all Comput. Sci. Dept., Univ. of Texas at El Paso, Tech. Rep.UTEP-CS-96-23, 1996.
[12] B. Bouchon-Meunier, R. Mesiar, C. Marsala, and M. Rifqi, “Composi-tional rule of inference as an analogical scheme,” Fuzzy Sets Syst., vol.138, no. 1, pp. 53–65, 2003.
[13] W. Combs, “Author’s reply,” IEEE Trans. Fuzzy Syst., vol. 7, p. 371,1999.
[14] W. Combs, “Author’s reply,” IEEE Trans. Fuzzy Syst., vol. 7, pp.478–479, 1999.
[15] W. Combs and J. Andrews, “Combinatorial rule explosion eliminatedby a fuzzy rule configuration,” IEEE Trans. Fuzzy Syst., vol. 6, pp.1–11, 1998.
[16] C. Cornelis, M. D. Cock, and E. Kerre, Efficient ApproximateReasoning with Positive and Negative Information. Heidelberg,Germany: Springer-Verlag, 2004, vol. 3214, KES 2004, LNAI, pp.779–785.
[17] K. Demirli and I. B. Turksen, “Rule break up with compositional ruleof inference,” in Proc. FUZZ-IEEE’92, San Diego, 1992, pp. 949–956.
[18] S. Dick and A. Kandel, “Comments on ‘Combinatorial rule explosioneliminated by a fuzzy rule configuration’,” IEEE Trans. Fuzzy Syst.,vol. 7, pp. 478–479, 1999.
[19] D. Driankov, H. Hellendoorn, and M. Reinfrank, An Introduction toFuzzy Control. Berlin, Germany: Springer-Verlag, 1993.
[20] J. Fodor, “Contrapositive symmetry of fuzzy implications,” Fuzzy SetsSyst., vol. 69, pp. 141–156, 1995.
[21] J. Fodor and M. Roubens, Fuzzy Preference Modeling and MulticriteriaDecision Support. Dordrecht: Kluwer, 1994.
[22] J. Fodor, R. Yager, and A. Rybalov, “Structure of uninorms,” Int. J.Uncertain., Fuzz. Knowl.-Based Syst., vol. 5, no. 4, pp. 411–427, 1997.
[23] R. Fullér, Fuzzy Reasoning and Fuzzy Optimization. Turku, Finland:TUCS, 1998.
[24] R. Fullér and B. Werners, B. Riecan and M. Duchon, Eds., “The com-positional rule of inference with several relations,” in Proc. Int. Conf.Fuzzy Sets Applicat., Liptovsky Mikulas, Czechoslovakia, Feb. 1992,pp. 39–44.
[25] R. Fullér and H.-J. Zimmermann, “On computation of the composi-tional rule of inference under triangular norms,” Fuzzy Sets Syst., vol.51, pp. 267–275, 1992.
[26] M. Golob, “Decomposition of a fuzzy controller based on the inferencebreak-up method,” Intell. Data Anal., vol. 3, no. 2, pp. 127–137, 1999.
[27] S. Gottwald, A Treatise on Many-Valued Logics. New York: Taylor& Francis, 2001.
[28] C. Igel and K. Temme, “The chaining syllogism in fuzzy logic,” IEEETrans. Fuzzy Syst., vol. 12, pp. 849–853, 2004.
[29] E. P. Klement, R. Mesiar, and E. Pap, Triangular Norms. Dordrecht,The Netherlands: Kluwer, 2000.
[30] J. Martin, G. Mayor, and J. Torrens, “On locally internal monotonicoperators,” Fuzzy Sets Syst., vol. 137, pp. 27–42, 2003.
[31] M. Mas, G. Mayor, and J. Torrens, “t-operators,” Int. J. Uncertain.,Fuzz. Knowl.-Based Syst., vol. 7, no. 1, pp. 31–50, 1999.
[32] M. Mas, M. Monserrat, and J. Torrens, “On left and right uninorms,”Int. J. Uncertain., Fuzz. Knowl.-Based Syst., vol. 9, pp. 491–508, 2001.
[33] M. Mas, M. Monserrat, and J. Torrens, “QL versus D-implications,”Kybernetika, vol. 42, no. 3, pp. 351–366, 2006.
[34] J. M. Mendel and Q. Liang, “Comments on “combinatorial rule ex-plosion eliminated by a fuzzy rule configuration”,” IEEE Trans. FuzzySyst., vol. 7, pp. 369–371, 1999.
[35] B. Moser and M. Navara, “Conditionally firing rules extend the pos-sibilities of fuzzy controllers,” in Proc. CIMCA ’99, Amsterdam, TheNetherlands, 1999, pp. 242–245.
[36] B. Moser and M. Navara, “Which triangular norms are convenientfor fuzzy controllers?,” in Proc. EUSFLAT-ESTYLF Joint Conf. ’99,Palma, Mallorca, Spain, 1999, pp. 75–78.
[37] B. Moser and M. Navara, “Fuzzy controllers with conditionally firingrules,” IEEE Trans. Fuzzy Syst., vol. 10, pp. 340–348, 2002.
[38] J. Pavelka, “On fuzzy logic II,” Zeitschr. f. Math. Logik und Grundlagend. Math, vol. 25, pp. 119–134, 1979.
[39] W. Pedrycz, Fuzzy control and fuzzy systems Dept. of Math., DelftUniv. of Technology, 1982, Tech. Rep. 82 – 14.
[40] W. Pedrycz, “On generalised fuzzy relational equations and their ap-plications,” J. Math. Anal. Appl., vol. 107, pp. 520–536, 1985.
[41] D. Ruan and E. E. Kerre, “On the extension of the compositional ruleof inference,” Int. J. Intell. Syst., vol. 8, pp. 807–817, 1993.
[42] D. Ruiz and J. Torrens, “Distributive idempotent uninorms,” Int. J. Un-certain., Fuzz. Knowl.-Based Syst., vol. 11, no. 4, pp. 413–428, 2003.
[43] D. Ruiz and J. Torrens, “Distributive strong implications from uni-norms,” in Proc. AGOP-2005, 2005, pp. 103–108.
[44] B. Schweizer and A. Sklar, Probabilistic Metric Spaces. New York:North-Holland, 1983.
[45] B. A. Sokhansanj, G. H. Rodrigue, and J. P. Fitch, “Applying URCfuzzy logic to model complex biological systems in the language ofbiologists,” in Proc. 2nd Int. Conf. Systems Biology (ICSB 2001),Pasadena, CA, Nov. 2001.
[46] V. Torra, “A review of the construction of hierarchical fuzzy systems,”Int. J. Intell. Syst., vol. 17, no. 5, pp. 531–543, 2002.
[47] E. Trillas, “Sobre funciones de negación en la teoría de conjuntos di-fusos,” Stochastica, vol. 3, pp. 47–84, 1979.
[48] E. Trillas and C. Alsina, “On the law [p ^ q �! r] � [(p �!q) _ (p �! r)] in fuzzy logic,” IEEE Trans. Fuzzy Syst., vol. 10,pp. 84–88, 2002.
[49] E. Trillas, C. del Campo, and S. Cubillo, “When QM-operators are im-plication functions and conditional fuzzy relations,” Int. J. Intell. Syst.,vol. 15, pp. 647–655, 2000.
[50] E. Trillas and L. Valverde, “On implication and indistinguishabilityin the setting of fuzzy logic,” in Management Decision Support Sys-tems Using Fuzzy Sets and Possibility Theory. Rhineland, Germany:Verlag TÜV, 1985, pp. 198–212.
[51] I. Türksen, V. Kreinovich, and R. Yager, “A new class of fuzzy impli-cations. Axioms of fuzzy implication revisited,” Fuzzy Sets Syst., vol.100, pp. 267–272, 1998.
[52] W. Wangming, “Fuzzy reasoning and fuzzy relational equations,”Fuzzy Sets Syst., vol. 20, no. 1, pp. 1–129, 1986.
[53] J. Weinschenk, W. Combs, and R. J. Marks, II, “Avoidance of ruleexplosion by mapping fuzzy sytems to a union rule configuration,” inProc. FUZZ-IEEE’03, St. Louis, MO, May 2003, pp. 43–48.
[54] R. Yager, “On some new classes of implication operators and their rolein approximate reasoning,” Inf. Sci., vol. 163, pp. 193–216, 2004.
[55] R. Yager and A. Rybalov, “Uninorm aggregation operators,” Fuzzy SetsSyst., vol. 80, pp. 111–120, 1996.
[56] M. Ying, “Reasonableness of the compositional rule of fuzzy infer-ence,” Fuzzy Sets Syst., vol. 36, no. 2, pp. 305–310, 1990.
[57] L. A. Zadeh, “Outline of a new approach to the analysis of complexsystems and decision processes,” IEEE Trans. Syst., Man, Cybern., vol.3, pp. 28–44, 1973.
Balasubramaniam Jayaram (S’02–M’04) receivedthe M.Sc. and Ph.D. degrees in mathematics fromSri Sathya Sai Institute of Higher Learning, India, in1999 and 2004, respectively.
He is currently a Lecturer in the Department ofMathematics and Computer Sciences, Sri Sathya SaiInstitute of Higher Learning. His research interestsare in fuzzy aggregation operators, chiefly fuzzy im-plication operators, and approximate reasoning. Hehas published more than 15 papers in refereed inter-national journals and conferences. He is a member of
many scientific societies and a regular reviewer of many reputed internationaljournals and conferences.
Authorized licensed use limited to: IEEE Xplore. Downloaded on January 14, 2009 at 23:40 from IEEE Xplore. Restrictions apply.