# On similarity-based approximate reasoning in interval-valued fuzzy environments.

This paper proposes a novel approach to similarity-based approximate reasoning in an interval-valued fuzzy environment. In a rule-based system, an 'if ... then ...' rule can be translated into an interval-valued fuzzy relation by suitable implication operations. The similarity grade between a case and the antecedent of a rule is computed and used to modify the relation. A consequent is derived from the well-known projection operation over the modified relation. The inference mechanism is appropriate because the techniques of the conventional Compositional Rule of Inference are incorporated into the existing similarity-based inference. Two examples of shipbuilding processing are utilized to illustrate and validate the effectiveness of the proposed schema.Keywords: Approximate reasoning, interval-valued fuzzy sets, similarity measures, translation for rules

Povzetek: Clanek obravnava metode razmisljanje v mehki logiki, temeljece na podobnosti.

1 Introduction

As the theoretical foundation of fuzzy control, fuzzy inference has achieved successful applications in various fields. The basic Fuzzy Modus Ponens (FMP) often investigated by many researchers can be represented as:

Rule: If X is A then Y is B Case: X is A' Conclusion: Y is B'

Here X and Y are two linguistic variables, which can be also regarded as two different universes; A,A' and B,B' are fuzzy subsets of universes X and Y, respectively. Zadeh introduced the concept of Compositional Rule of Inference (CRI) [8]. By constructing a fuzzy relation R between A and B, we can derive the conclusion B' from the compositional operation of A' and R. Many fuzzy systems are based on Zadeh's compositional rule of inference [9]. In spite of their successes in various systems, researchers have pointed out certain drawbacks [4,5] in the mechanism, which motivates the introduction of Similarity-based Approximate Reasoning (SAR) mechanism as proposed in [4-7]. Compared with Zadeh's CRI, it does not require the construction of a fuzzy relation between input and output fuzzy data, and it is conceptually clearer than CRI.

According to the mechanism of SAR methodology, in rule-based system reasoning is based on the computation of similarity grade between the fact and the antecedent of a rule, and the inference result is obtained by directly modifying to the consequent part with the similarity measure. Thus, the inherent relation between the antecedent and the consequent is largely ignored. For the FMP problem, suppose that A is the antecedent part of 'If X is A then Y is B', and A' is an input fact. In light of SAR, we first compute the similarity measure S(A',A) of A' and A, then the result B' is deduced by a modification function f such that B'(y) = f(S(A',A), B(y)). Evidently, a same result B' will be concluded by SAR method when A and A' are interchanged. Thus, this result seems somewhat unconvincing because the inference is not always influenced by every change in the input case and the antecedent part.

Combining the conventional CRI and the existing SAR methods, in this paper we extend the works of [4,5] to develop a novel approach to approximate reasoning. First, since interval-valued fuzzy set is considered more flexible than general fuzzy set from the viewpoint of handling imprecise and fuzzy data, we deal with approximation inference within the framework of interval-valued fuzzy sets. Next, to interpret a conditional statement (rule) residing in a rule-base system, an interval-valued fuzzy relation between antecedent and consequent can be constructed by suitable implicators. Furthermore, based on a measure of similarity, the constructed relation is modified to yield a new relation called the induced relation, and the conclusion can be obtained by the well-known projection operation over the induced relation. In the end, we illustrate the effectiveness of the proposed scheme by an example of processing systems of shipbuilding.

The remainder of this article is organized as follows. Section 2 includes a brief introduction of some basic notions and state of the art on approximate reasoning techniques. Section 3 discusses the problems regarding similarity index and an approach to approximate reasoning. Two examples are provided in Section 4 to illustrate the effectiveness of the proposed methods. The final section contains the concluding remarks.

2 Preliminaries and State of the Art

Let X be a universe of discourse. In Fuzzy Sets (FSs) theory, each object x [member of] X is assigned a single real value, called the grade of membership, between zero and one. In [1-3], Gorzalczany and Turksen proposed the notion of Interval-valued Fuzzy Sets (IVFSs), which allow using interval-based membership instead of using point-based membership as in FSs.

An interval-valued fuzzy set A on X is characterized by a pair of mappings [A.bar]: X [right arrow] [0,1] and [bar.A]: X [right arrow] [0,1] such that 0 [less than or equal to] [A.bar](x) [less than or equal to] [bar.A](x) [less than or equal to] 1, where [bar.A](x) and [A.bar](x) denote a lower and an upper bounds of membership function of A, respectively. An interval-valued fuzzy set A of X can be denoted as A = {(x [A.bar](x), [bar.A](x)]): x [member of] X}.

In other words, the membership degree of x with respect to A is bounded to a subinterval [[A.bar](x), [bar.A](x)] of unit interval, which indicates the possible existence of a data value. All the interval-valued fuzzy sets of X is written as IVFSs(X), and A is said to be normal if and only if there exists [x.sub.0] [member of] X such that [A.bar] ([x.sub.0]) = [bar.A]([x.sub.0]) = 1. For every A [member of] IVFSs(X), the lower bound, the upper bound and the kernel function of A can be represented by

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

respectively. Let A,B [member of] IVFSs(X), the union, intersection and complement operations of interval-valued fuzzy sets are defined as follows:

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

To improve the flexibility of fuzzy set in handling fuzzy information, Atanassov (1986) proposed the Intuitionistic Fuzzy Sets (IFSs) [14], and Gnu et al. (1993) presented the Vague Sets (VSs) [15]. As the IVFSs, IFSs and VSs were proved actually isomorphic and equivalent [16-18], we will put them into a framework of IVFSs in this paper.

It is well-known that Fuzzy Set theory has been extensively applied to the field of approximate reasoning. So far there have been several approaches to approximate reasoning based on fuzzy set or interval-valued fuzzy set, in which the most influential methods are CRI and SAR algorithms. In [19], Li et al. addressed an implication operator based on IVFSs, which is suitable for CRI method. Cornelis et al. investigated a serial of implications in IVFSs and presented an extensional schema of CRI [20]. In [21], based on the CRI method, an extensional model derived from the Mizumoto's model is provided in an interval-valued fuzzy environment. Based on expansion principle, Feng et al. also presented several operators that are applicable to CRI [22].

Although the CRI algorithm had achieved notable success in various fields such as fuzzy control, expert system and decision-making support, some defects of this method were found in terms of inference mechanism, which leads to the yield of another important approach of approximate reasoning--Similarity-based Approximate Reasoning (SAR). For the FMP problem, based on the change of membership grade of the consequent part, Yurksen et al. proposed two types of modification procedures--expansion type inference and reduction type inference [4], and B' may be computed by any one of the following form:

B'(y) = min{1,B(y)/S(A',A)} (Expansion form)

B'(y) = S( A',A) x B(y) (Reduction form)

where S(A',A)(x) is the fuzzy similarity degree between a fact A' and the antecedent part A.

In [23], a new similarity measure of IVFSs was presented and inference result was obtained by Turksen's reduction form. Trough constructing a modified function based on a similarity measure of IVFSs, Tian et al. gave an approach to approximate reasoning [24]. Shi et al. addressed a bidirectional approximate reasoning scheme based on the distances of IVFSs [25], which can be actually regarded as an equivalent form of SAR method. Applying the SAR method, Guan et al. addressed a specific design scheme of fuzzy controller based on IVFSs [26].

In [10], through introducing a definition of fuzzy similarity measure, the authors provided an inference solution for FMP as follows:

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

In [27], the authors proposed the concept of similarity direction between two interval-valued fuzzy sets. Through calculating the similarity grade as well as the similarity direction of interval-valued fuzzy sets, the inference result B' is computed as

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

where d is the evaluation function of similarity direction between A' and A , and s is the similarity grade of A' and A.

Meng presented a generalized model for fuzzy character spread reasoning [11], which was actually an approach of similarity-based weighted fuzzy inference applicable to multi-dimensional fuzzy reasoning. Through calculating the weighted similarity degree [s.sub.i], between an input case and the ith rule, the result is expressed by

B'(y) = S * [B.sub.i] (y)

Here S = ([s.sub.1], [s.sub.2], ..., [s.sub.n]) denotes a weighted similarity vector that holds

[s.sub.i] = [[summation].sup.m.sub.j=1] [w.sub.ij] x S([A'.sub.j], [A.sub.ij])

for i = 1, 2, ..., n. The operator 'o' denotes a generalized compositional operation. For example, using ([summation], x) operation we then obtain

B'(y) = [[summation].sup.n.sub.i=1] ([s.sub.i] x [B.sub.i](y))

In [28], a similarity-based approximate reasoning method was given based on IVFSs and fitness techniques. Using data fitness method, the similarity degree k between the interval-valued fuzzy sets is obtained by

[k.sub.1] = ln[A.bar](x) x ln[A'.bar](x)/[ln.sub.2]([A.bar](x)), [k.sub.2] = ln[bar.A](x) x ln[bar.A'](x)/[ln.sub.2]([bar.A'](x)), k = [k.sub.1] + [k.sub.2]/2.

And then the result is computed by

[B'.bar](y) = [[B.bar].sup.k](y), [bar.B'](y) = [[bar.B'].sup.k] (y).

3 Similarity-based Approximate Reasoning

3.1 Similarity measures of IVFSs

In [13], Zwick et al. surveyed several similarity measures of fuzzy sets and compared their performance in an experiment. In [12], Ke et al. presented a similarity function S to measure the degree of similarity based on fuzzy vectors. Let E, F [member of] FSs(X), then the similarity grade S(E,F) between E and F can be represented by

Definition1. [12]

S(E,F) = [[summation].sub.x [member of] X]E(x) x F(x)/ max{[[summation].sub.x [member of]X[E.sup.2], [[summation].sub.x [member of]X][F.sup.2](x)}

Here, the Sum-product operations represent the product of fuzzy vectors E and F, from which we may also derive another definition of similarity index, as follows.

Definition2.

S'(E,F) = [sup.sub.x[member of]X] min{E(x),F(x)}/ max{sup.sub.x[member of]X] E(x), [sup.sub.x[member of]X]F(x)}

Here, the operations Sum-product in Definition 1 are modified to Sup-min in Definition 2, respectively.

The measure proposed in Definition 2 is based on the computation of overall supremum and therefore, practically difficult to use.

Example 1. Let X = {1,2,3,4,5} be the universe of discourse. Consider the following fuzzy sets on X :

E [??] "small" = 1/1 + 0.8/2 + 0.5/3 + 0.2/4

F [??] "highly small" = 1/1 + 0.41/3 + 0.06/3

According to Definition 2, the calculation result implies that E is identical to F (i.e., S'(E,F) = 1), even if E is highly dissimilar to F by our intuitions. This is why we prefer the measure given by Definition 1.

To provide a definition for similarity measure S(A,B) of two interval-valued fuzzy sets A and B, a number of factors must be considered. A primary consideration is that, whatever way we choose to define such an index, it should satisfy the following properties: for every A,B,C [member of] IVFSs(X),

P1) [??](A,B) [member of] [0,1];

P2) [??](A,B) = [??](B,A);

P3) [??](A,B) = 1 if and only if A = B;

P4) If [??](A,B)=0 , and A,B are not simultaneously empty, then min{[A.bar(x),[B.bar](x)}=min{[bar.A](x),[bar.B](x)} =0 for all u [member of]U;

P5) If A [subset or equal to] B [subset or equal to] C then [??](A,C) [less than or equal to] min{[??](A,B),[??](B,C)}.

P4) suggests that A and B are completely dissimilar only when A [intersection] B = [empty set]. If A [intersection] B [not equal to] [empty set], then they have some similarity when A and B have some membership degree in common.

Based on Definition 1, in the following, we develop an expression of similarity function [??] to measure the degree of similarity between interval-valued fuzzy sets. Let [bar.A], [A.bar] and [kappa](A) be subscript, superscript and kernel function of A [member of] IVFSs (X).

Definition3. Let A,B [member of] IVFSs(X). The degree of similarity [??](A,B) between A and B can be measured as follows:

[alpha] = S([A.bar], [B.bar]), [beta] = S([bar.A], [bar.B]), [gamma] = S([kappa](A), [kappa](B))

[??]( A,B) = ([alpha] + [beta] + 2[gamma])/4.

It is easy to verify that the similarity measures given by Definition 3 satisfy axioms P1), P2), P3), P4) and P5). Thus, the similarity measures of the lower bound, the upper bound and the kernel values of two interval-valued fuzzy sets, are incorporated into such an index of IVFSs, where the weighted coefficients of which are given by [[omega].sub.1 = 0.25, [[omega].sub.2] = 0.25 and [[omega].sub.3] = 0.5, respectively.

3.2 Proposed schema for approximation inference

The conventional CRI does not consider the concept of similarity measure in deriving a consequence. The existing SAR methods modify directly the consequence part of a rule, based on a measure of similarity and therefore, the consequence becomes independent of the conditional statement. Here, we intend to integrate the above techniques for an adequate theory of similarity-based approximate reasoning.

According to CRI, a conditional statement (rule) 'If A then B' can be translated into an interval-valued fuzzy relation, denoted as R(A,B). To construct the relation, some suitable operation operators are used. For example, the relation R(A,B) constructed by the extensional KD-implicator can be represented as

[R.bar](A,B)(x,y) = min{1 - [A.bar](x), [bar.B](y)}

[bar.R](A,B)(x,y) = min{1- [bar.A](x), [bar.B](y)}

Given a case input A', an interval-valued fuzzy relation between A' and B, denoted as R(A',B), can be obtained by intersection operation of A' and R(A,B). Thus, an inference result B' is computed by the well-known supremum projection operation on R (A', B), i.e.,

[B'.bar](y) = [sup.sub.x[member of]X] [R.bar.](A',B)(x,y) = [sup.sub.x[member of]X] min{A'.bar](x), [R.bar](A,B)(x,y)}

[bar.B'](y) = [sup.sub.x[member of]X] [bar.R](A',B)(x,y) = [sup.sub.x[member of]X] min {[bar.A'](x), [bar.R](A,B)(x,y)}

Since the CRI method fails to incorporate the matching computation into the inference procedures, the accuracy of reasoning is not always satisfactory in some application occasions

The primary mechanism of SAR is to deduce result by modifying the consequent part of a rule with similarity measure [4,5]. Applying this principle, in a rule-based system we may first calculate the similarity grade [??](A',A) of the fact A' and the antecedent part A. And then, an interval-valued fuzzy relation R(A',B) between A' and B, named as the induced relation, is obtained by modifying the relation R (A, B) with similarity measure [??](A',A). Finally, the result B' can be deduced by the projection operation over the induced relation R(A',B)

Given a conditional statement, the following cases should be taken into account to obtain an induced relation using the similarity measure.

Case1. If A' equals to A, then R(A',B) equals to R(A,B). This is to say we should not make any modification to R( A,B) when S( A',A) = 1.

Case2. If A' is completely dissimilar to A, then we can conclude nothing from the given conditional statement 'If A then B', i.e., B' is empty. Since [B'.bar](y) = [sup.sub.x[member of]X] [R.bar](A',B)(x,y), [bar.B'](y) = [sup.sub.x[member of]X] [bar.R](A',B)(x,y) we then have [R.bar](A',B)(x,y) = [R.bar](A',B)(x,y) =0, i.e., R(A',B) is empty when [??]( A',A) = 0.

Case3. As [??](A',A) changes from 0 to 1, R(A',B) changes from [empty set] to R(A,B). That means R(A',B) is transformed from the most unknown state into a specific state.

From the cases mentioned-above, a quantitative relationship between the induced relation and similarity measure may be given as following:

Q1. If S(A',A) = 1, then [R.bar](A',B)(x,y) = [R.bar](A,B)(x,y), and [bar.R](A',B)(x,y) = [bar.R](A,B)(x,y);

Q2. If S(A',A) = 0, then [R.bar](A',B)(x,y) = [bar.R](A',B)(x,y) = 0;

Q3. As S(A',A) increase from 0 to 1, [R.bar](A',B)(x,y) and [bar.R](A',B)(x,y)increase from 0 to [R.bar](A,B)(x,y) and [bar.R]( A,B)(x, y) , respectively.

Let [??](A',A)= s, [R.bar](A,B)(x,y)= [bar.r], [R.bar](A,B)(x,y) = [r.bar], [bar.R](A',B)(x,y) = [r'.bar], [bar.R](A',B)(x,y) = [??]. By Q1 and Q2,

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

and by Q3, we get

[r'.bar]: [r'.bar](s) = T(s,[r.bar]), [??] = [??] (s) = T(s,[bar.r])

where T is a continuous t-norm. Thus, a modification schema for producing the induced relation R(A',B), named as Q schema, may be represented by

[R.bar(A',B)(x,y) = T(s,[R.bar](A,B)(x,y))

[bar.R]( A',B)(x,y) = T(s,[bar.R](A,B)(x,y))

Once the induced relation is derived from Q schema, the inference result B' is then obtained by the supremum projection, i.e.

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (1)

Apparently, in terms of inference mechanism, there exists a distinction between the conventional CRI and the proposed method. A logical interpretation for the CRI method is: from 'X is A' and (X,Y) is R(A,B)' infer 'Y is B''. For the proposed method, the inference mechanism can be interpreted as: from 'A' is similar to A and (X,Y) is R(A,B) 'infer 'Y is B'', where the connective 'and' is associated with t-norm operation.

The proposed algorithm on performing similarity-based approximate reasoning is summarized as follows.

Step1. Translate a rule and compute R(A,B) using some suitable operators (Translation);

Step2. Compute S(A',A) using some suitable definition, possibly, Definition 3 (Matching);

Step3. Modify R(A,B) with S(A',A) to obtain the induce conditional relation R(A',B) using a scheme Q (Modification);

Step4. Use supremum projection operation on R(A',B) to obtain B' (Projection).

In Step1, to translate a rule 'If A and B' we should calculate an interval-valued fuzzy relation R(A,B) between A and B. According to the Zadeh's CRI method, there are about eighteen operators applicable to construct R(A,B), which can often be classified two main classes. The first class is called the extensional 'and' operators, such as the Mamdani operator, the Larson operators and the bounded product, etc. The second is called the extensional 'implication' operators, including the well-known S-implicator and the R-implicator. The following proposition will provide a clue on how to select the suitable operators for the construction of R(A,B).

Proposition1. Suppose A is normal and does not completely cover the domain. Let s = 1.

1) If [phi] is both increasing, then B' = B;

2) If [phi] is left decreasing and right increasing, then B' = Y.

Proof

1) Since [phi] is both increasing, then

[R.bar](A,B)(x,y) = [phi]([A.bar](x),[B.bar](y))

[bar.R] (A,B)(x,y) = [phi]([bar.A](x)[bar.B](y))

By Formula (1), we get

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

As A is normal, then

[B'.bar](y) = T(s,[phi](1,[B.bar](y))) = T(s,[B.bar](y)).

Similarly, [bar.B](y)= T(s,[bar.B](y)), we then obtain B'= B by s = 1.

2) As [phi] is left decreasing and right increasing, then

[R.bar](A,B)(x,y) = [phi]([bar.A](x),[B.bar](y))

[bar.R](A,B)(x,y) = [phi]([A.bar](x),[bar.B](y))

By Formula (1), we get

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

Since A does not completely cover the domain, i.e. inf [A.bar](x) = inf [bar.A](x) = 0, then

MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

Similarly, [bar.B'](y) = s. By s = l, we then obtain B'(y) = 1 for every y [member of] Y. Hence, B' = Y. []

Remark1. We can conclude from Proposition1 as following:

1) If an implication selected for constructing interval-valued fuzzy relation is both increasing, then the inference result satisfies reductive property when antecedent part is normal. Furthermore, since [B'.bar](y) = T(s,[B.bar](y))and [bar.B'](y) = T(s,[bar.B](y)), we then obtain [B'.bar](y) = s x [B.bar](y), [bar.B'](y) = s x [bar.B](y)

when t-norm takes the algebraic product. This is exactly identical to the Turksen's reduction form as mentioned in Section 2.

2) If an implication selected for constructing interval-valued fuzzy relation is hybrid monotonic, then the inference result equals to the whole set when antecedent part does not completely cover the domain. In this case, the result becomes the most unspecific case because B' = Y means 'B' is anything' from the viewpoint of semantics.

Proposition2. Suppose A is normal, and [phi] is both increasing, then B' [subset or equal to] B.

Proof Since

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

for every y [member of] Y. Hence, we get B' [subset or equal to] B.

Example2. Suppose there is a conditional statement 'If A then B' such that

A = {([x.sub.1], [0.7,0.8]), ([x.sub.2], [0.4,0.5]), ([x.sub.3], [0.2,0.3]), ([x.sub.4], 0)}

B = (([y.sub.1], 1), ([y.sub.2], [0.5,0.6l), ([y.sub.3], 0)}

Given a case input A ={([x.sub.1], 1), ([x.sub.2], [0.7, 0.8]), ([x.sub.3], [0.3,0.3]), ([x.sub.4], 0)}, compute the inference result B' using the Turksen's reduction form and the proposed method, respectively.

From Definition 3, the similarity grade between the fact A' and the antecedent part A can be calculated as [??](A',A)=0.70. Appling the Turksen's SAR method, we have

[B'.sub.1] = S(A',A) x B = {([y.sub.1], 0.7), ([y.sub.2], [0.35, 042]), ([y.sub.3],0)}.

According to the proposed algorithm in this paper, we first compute an interval-valued fuzzy relation of A and B using the Mamdani operator, i.e.

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

and then we have an induced relation R(A',B) by the schema Q, i.e.

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

where the t-norm is the algebraic product. Finally, we have the result [B'.sub.II] by supremum projection, i.e. [B'.sub.II] = [sup.sub.x[member of]X] R(A',B)(x,y)

= {([0.49,0.56], [y.sub.1]), ([0.35, 0.42], [y.sub.2]), (0, [y.sub.3])}

Suppose that the fact A' and the antecedent part A are interchanged. An identical result [B'.sub.1] can be deduced from the Turksen's SAR method, whereas a different result [B'.sub.II] can be derived from the proposed method i.e. [B'.sub.II] ={(0.7, [y.sub.1]), ([0.35, 042], [y.sub.2]), (0, [y.sub.3])}.

Remark2. It can be seen from Example 2 that every change in the concept, as it appears in the conditional premise and in the fact, is incorporated into the induced interval-valued fuzzy relation. Hence, through the projection operation on the induced relation, the inference result is influenced by the changes in the fact and the antecedent of a rule.

4 Case Study

In shipbuilding technologies, some operational systems are so complex that it is very difficult for us to describe them with precise mathematical models. For these systems, the operational determinations can be acquired by means of the experiences of operators accumulated in practices. As the experiential knowledge is often fuzzy, which is suitable to describe by IVFSs, in the sequel we provide two technological cases modelled by IVFSs to illustrate applications of similarity-based method proposed in this article.

4.1 Layout of heating lines on plate

The processing practices indicate that length and density of heating lines exert a great impact on the forming of sheet metals. Let X, Y and Z be the linguistic variables representing curvature of a bending plate, the length of heating lines, and the space of heating lines, respectively. And the linguistic values are composed of several interval-valued fuzzy sets [A.sub.i] [member of] IVFSs(X), [B.sub.j] [member of] IVFSs(Y) and [C.sub.k] [member of] IVFSs(Z), as shown in Table 1, where X = Y = Z = {1,2,3,4,5}. And the operational rules derived from experiences of operators are summarized in Table 2

Now let us conduct approximate reasoning using the scheme proposed in Section 3, and the inference procedures can be summarized as follows.

Step1. Translate the [l.sup.th] rule [r.sub.l] and compute R([A.sup.(l)], [B.sup.(l)] x [C.sup.(l)] using the extensional Mamdani operator, for l = 1, 2, ..., 5;

Step 2. Compute the similarity grade [s.sup.l] between input case A' and the antecedent [A.sup.(l)] by Definition 3;

Step3. Combine [s.sub.l] with R([A.sup.(l)], [B.sup.(l)] x [C.sup.(l)]) to induce an interval-valued fuzzy relation R([A.sup.(l)], [B.sup.(l)] x [C.sup.(l)]) using the modification schema Q;

Step4. Deduce a conclusion output [B'.sup.(l)] x [C'.sup.(l)] by the supremum projection over R (A', [B.sup.(l)] x [C.sup.(l)];

Step5. Derive the general output B' x C' from union operation over [B'.sup.(l)] x [C'.sup.(l)];

Step6. Decouple the synthetic output [kappa](B' x C') to obtain [kappa] (B') and [kappa] (C') via the projection operations on the universes Z and Y, respectively.

Step7. Obtain the determination values by defuzzification operations, using the maximum membership method.

In Step 1, since [B.sup.(l)] x [C.sup.(l)] is a synthetic consequent part, which can be interpreted as a binary interval-valued fuzzy relation R([B.sup.(l)], [C.sup.(l)]) such that

[R.bar]([B.sup.(l)], [C.sup.(l)])(y,z) = min([[B.bar].sup.(l)](y),[[C.bar].sup.(l)](z))

[bar.R]([B.sup.(l)], [C.sup.(l)])(y,z) = min([[bar.B].sup.(l)](y),[[bar.C].sup.(l)](z))

Thus, a ternary interval-valued fuzzy relation R([A.sup.(l)], [B.sup.(l)] x [C.sup.(l)]) is constructed by

[R.bar]([A.sup.(l)], [B.sup.(l)] x [C.sup.(l)](x,y,z) = min([[A.bar].sup.(l)](x),[R.bar]([B.sup.(l)], [C.sup.(l)](y,z))

[bar.R]([A.sup.(l)], [B.sup.(l)] x [C.sup.(l)](x,y,z) = min([[bar.A]sup.(l)](x),[bar.R]([B.sup.(l)], [C.sup.(l)])(y,z))

In Step3, according to the modification schema Q, we then obtain

[R.bar]([A.sup.(l)], [B.sup.(l)] x [C.sup.(l)](x,y,z) = [s.sub.l] x [R.bar]([A.sup.(l)], [B.sup.(l)] x [C.sup.(l)](x,y,z)

[R.bar]([A.sup.(l)], [B.sup.(l)] x [C.sup.(l)](x,y,z) = [s.sub.l] x [R.bar]([A.sup.(l)], [B.sup.(l)] x [C.sup.(l)](x,y,z)

where t-norm is the algebraic product. From Step4, we have

([[B'.bar].sup.(l)] x [[C'.bar].sup.(l)])(y,z) = [s.sub.l] x min ([sup.sub.x[member of]X] [[A.bar].sup.(l)]((x),[R.bar]([B.sup.(l)], [C.sup.(l)](y,z)) ([[bar.B'].sup.(l)] x [[bar.C'].sup.(l)])(y,z) = [s.sub.l] x min ([sup.sub.x[member of]X] [[bar.A].sup.(l)]((x),[bar.R]([B.sup.(l)], [C.sup.(l)](y,z)) (2)

If [A.sup.(l)] is normal, then Formula (2) can be simplified as

([[B'.bar].sup.(l)]([[C'.bar].sup.(l))(y,z) = [s.sub.l] x [R.bar]([B.sup.(l)], [C.sup.(l)])(y,z) ([[bar.B'].sup.(l)]([[bar.C'].sup.(l))(y,z) = [s.sub.l] x [bar.R]([B.sup.(l)], [C.sup.(l)])(y,z) (3)

Now let a case input

A' [??] "more or less large"

= 0/1 + [0.32,0.45]/2 + [0.55,0.63]/3 + [0.90,0.95]/4 + 1/5

For the 1st rule, according to Definition 3, the degree of similarity between A' and AI'/is calculated by

[s.sub.1] = (S([A'.bar], [[A.bar].sup.(l)]) + S([bar.A]', [[bar.A].sup.(l)] + 2S([kappa](A'),[kappa]([A.sup.(l)]))/4 = 0.87

Since [A.sup.(l)] is normal, we then obtain [B'.sup.(l)] x [C'.sup.(l)] by Formula (3), i.e.

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

Similarly, we can derive the outputs from other rules in Table 2, and the general output is calculated by

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

From Step6, we have

[kappa](B')(y) = [sup.sub.z[member of]Z] ([kappa](B' x C'))(y,z)= {0.52, 0.88, 1.74, 1.39, 1.74}

[kappa](C')(z) = [sup.sub.y[member of]Y] ([kappa](B' x C'))(y,z)= {1.74, 1.31, 0.61, 0.28, 0.36}

According to Step7, since

[sup.sub.y[member of]Y] [kappa](B')(y) = [kappa](B')(3) = [kappa](B')(5)

[sup.sub.z[member of]Z] [kappa](C')(z) = [kappa](C')(1)

Hence, (y',z') = (3,1)or (y',z') = (5,1) are selected as determination values, which can be interpreted as the conclusion is 'Y is long or medium' and 'Z is small' when the case input is 'more or less large'.

4.2 Welding deformation prediction on high-tensile steel structure

Welding experiment shows that, welding deformation of high-tensile steel structure not only relates to the leg size of weld seam, but also relates to the thickness of steel structure and welding current. Through a large amount of welding experiments, a rule-set including nine rules is summarized by the experienced welding operators, as shown in Table 3, where the linguistic values are the interval-valued fuzzy sets. For example, let Y be the thickness universe. The membership function of [A.sub.21], [A.sub.22] and [A.sub.23] is given as Table4, where linguistic values 'Thick', 'Medium' and 'Thin' are represented by [A.sub.21], [A.sub.22] and [A.sub.23], respectively.

Once the knowledge model based on decision rules of welding deformation is obtained, we can set up a model of approximate reasoning, using the proposed method in this article. Through fuzzification of input data, similarity-based reasoning as well as defuzzification of fuzzy data, we then obtain the inference result of welding deformation. The running interface on welding deformation prediction system is shown as Figure 1. To examine the effectiveness of inference model, we arrange a welding experiment including ten test samples, as shown in Table 5.

[FIGURE 1 OMITTED]

[FIGURE 2 OMITTED]

From error curve of prediction values and real values shown in Figure 2, we can calculate the maximum error [E.sub.max] = 0.050, the mean error [E.sub.m] =0.029 and the standard error [E.sub.std] = 0.0317 , respectively. In terms of prediction accuracy of welding deformation, the result justifies the effectiveness of the proposed method.

5 Conclusion

In this paper, we investigate the similarity measures of interval-valued fuzzy sets. Based on the Turksen's reasoning model, we develop an approach to inference by combining the conventional CRI with similarity-based approximate reasoning. It is shown that a general representation for inference conclusion can be yielded by the procedures including translation, matching, modification, and projection. Besides, as the approximation inference is performed under the framework of IVFSs, the proposed method seems more flexible than is done with the general FSs. In the end, we utilize two examples concerning shipbuilding techniques to illustrate and validate the proposed schema.

For the nonlinear and coupling shipbuilding technology, the conventional modelling schema mainly contains physical simulation and Finite Element Analysis (FEA). As to the former, it not only costs a large amount of lab funds but also limits to experimental conditions. As for FEA, although the precise of this method is relatively high, the program is so time-consuming that it can hardly be applied to manufacture practices. Compared with the traditional methods, modelling based on fuzzy data can fully take advantage of the experiences of experts in their field, and accuracy of inference result is also adequate to meet the needs of technological practices. Therefore, we have lots of research opportunities for future applications of similarity-based inference to complex shipbuilding systems, such as layout of heating lines, welding parameters design and welding deformation prediction, etc.

Acknowledgement

This research was partially supported by the national key research project 'Knowledge Based Ship Design and Hyper Integrated Platform'.

References

[1] M.B. Gorzalczany, 'A method of inference in approximate reasoning based on interval-valued fuzzy sets', Fuzzy Sets and Systems, vol. 21, pp. 1-17, 1987.

[2] M.B. Gorzalczany, An interval-valued fuzzy inference method--some basic properties, Fuzzy Sets and Systems, vol. 31, pp. 243-251, 1989.

[3] I.B. Turksen, 'Interval valued fuzzy sets based on normal forms', Fuzzy Sets and Systems, vol. 20, pp. 191-210, 1986.

[4] I.B. Tursken, Z. Zhao, 'An approximate analogical reasoning based on similarity measures', IEEE Transactions on Systems Man, and Cybernetics, vol.18, pp. 1049-1056, 1988.

[5] I.B. Tursken, Z. Zhao, 'An approximate analogical reasoning scheme based on similarity measures and interval valued fuzzy sets', Fuzzy Sets and Systems, vol. 34, pp. 323-346, 1990.

[6] S.M. Chen, 'A new approach to handling fuzzy decision making problems', IEEE Transaction SMC, vol. 18, pp. 1012-1016, 1988.

[7] D.S. Yeung, E.C.C. Ysang, 'A comparative study on similarity based fuzzy reasoning methods', IEEE Transaction SMC Part B: Cybernetic, vol. 27, pp. 216-227, 1997.

[8] L.A. Zadeh, 'Fuzzy logic and approximate reasoning', Syntheses, vol. 30, pp. 407-428, 1975.

[9] L.A. Zadeh, 'A theory of approximate reasoning', Machine Intelligence, vol. 9, pp. 149-194, 1979.

[10] D.G. Wang et al., 'A fuzzy similarity inference method for fuzzy reasoning', Computers and Mathematics with Applications, vol. 56, pp. 2445-2454, 2008.

[11] Y.P. Meng, 'Similarity-based information weighted fuzzy reasoning', Journal of Beijing Normal University, vol. 44, pp. 21-24, 2008.

[12] J.S. Ke, G.T. Her, 'A fuzzy information retrieval system model', in: Proc. 1983 National Computer Symposium, Taiwan, Republic of China, pp. 147-155, 1983.

[13] R. Zwick, E. Carlstein, and D.R. Budescu, 'Measures of similarity among fuzzy concepts: a comparative analysis', International Journal of Approximate Reasoning, vol. 1, pp. 221-242, 1987.

[14] K.T. Atanassov, 'Intuitionistic fuzzy sets', Fuzzy Sets and Systems, vol. 20, pp. 87-96, 1986.

[15] W.L. Gau, D.J. Buehrer, 'Vague sets', IEEE Transactions on Systems, Man and Cybernetics, vol. 23, pp. 610-614, 1993.

[16] Atnassov K, Gargov G., 'Interval valued intuitionistic fuzzy sets', Fuzzy Sets and Systems, vol.31, pp.343-349, 1989.

[17] Bustince H, Burillo P, 'Vague sets are intuitionistic fuzzy sets', Fuzzy Sets and Systems, vol. 79, pp. 403-405, 1996.

[18] Deschrijver G, Kerre E E., 'On the relationship between some extensions of fuzzy set theory', Fuzzy Sets and Systems, vol. 133, pp. 227-235, 2003.

[19] F. Li et al., 'Implication operator based on vague sets', J. Huazhong Univ. Sci. & Tech. (Nature Science Edition), vol. 29, pp. 53-55, 2001.

[20] C. Cornelis, G. Deschrijver et al., 'Implication in intuitionistic fuzzy and interval-valued fuzzy set theory: construction, classification, application', International Journal of Approximate Reasoning, vol.35, pp. 55-95, 2004.

[21] X.L. X, Y.J. Lei, 'Approximate reasoning method based on some intuitionistic fuzzy relations', Computer Engineering, vol. 34, pp. 4-6, 2008.

[22] Z.Q Feng et al., 'Vague propositional logic and approximation inference based on linear transformation', Journal of Harbin Engineering Universe, vol. 9, pp. 1222-1227, 2010.

[23] F. Li et al., 'An approximate reasoning approach based on the measures of similarity between vague sets', J. Huazhong Univ. Sci. & Tech. (Nature Science Edition), vol. 32, pp. 44-46, 2004.

[24] Y. Tian et al., 'An approximate reasoning approach based on the measures of similarity between intuitionistic fuzzy sets', Journal of Air Force Engineering University (Nature Science Edition), vol. 8, pp. 81-83, 2007.

[25] Y.Q. Shi et al., 'Bidirectional approximate reasoning based on distances of vague set', Journal of Chinese Computer System, vol. 28, pp. 661-665, 2007.

[26] X.Z. Guan et al., 'Controller design based on the measures of similarity reasoning using vague sets', Control Engineering of China, vol. 13, pp. 15-24, 2006.

[27] T.J. Wang et al., 'Bidirectional approximate reasoning based on weighted similarity measures of vague set', Mini-Micro Systems, vol. 25, pp. 211-215, 2004.

[28] X.M. Li et al., 'Approximate reasoning method based on intuitionistic fuzzy', Journal of Air Force Engineering University (Nature Science Edition), vol. 9, pp. 82-85, 2008.

Zhi-Qiang Feng (a,b) and Cun-Gen Liu (a)

(a) School of Naval Architecture, Ocean and Civil Engineering, Shanghai Jiao Tong University, Shanghai 200240, China

E-mail: fzqstju@yahoo.cn (Z.Q. Feng)

(b) Jiangsu Naval Engineering Centre, Nantong 226010, China

E-mail: cgliu@sjtu.edu.cn (C.G. Liu)

Received: March 30, 2011

Table 1: Description for linguistic values based on IVSFs. IVFSs \ Universe 1 2 5 [A.sub.1] (Large) 0 [0.1,0.2] ... 1 [A.sub.2] (Medium) [0.2,0.3] [0.7,0.8] ... [0.1,0.2] [A.sub.3] (Small) 1 [0.4,0.4] ... 0 [B.sub.1] (Long) 0 [0,0.1] ... 1 [B.sub.2] (Medium) [0.2,0.4] [0.5,0.5] ... [0.2,0.3] [B.sub.3] (Short) 1 [0.6,0.8] ... 0 [C.sub.1] (Large) 0 [0.1,0.1] ... 1 [C.sub.2] (Medium) [0.1,0.3] [0.4,0.5] ... [0.3,0.4] [C.sub.3] (Small) 1 [0.7,0.8] ... 0 Table 2: Operational rules on the layout of heating lines. Rule No. Antecedent part Consequent part 1 X is [A.sub.1] Y is [B.sub.1] Z is [C.sub.3] 2 X is [A.sub.1] Y is [B.sub.2] Z is [C.sub.3] 3 X is [A.sub.2] Y is [B.sub.2] Z is [C.sub.2] 4 X is [A.sub.3] Y is [B.sub.3] Z is [C.sub.1] 5 X is [A.sub.3] Y is [B.sub.3] Z is [C.sub.2] Table 3: Decision rule-set of welding deformation Rule No. Antecedent part 1 X is [A.sub.11] Y is [A.sub.21] Z is [A.sub.31] 2 X is [A.sub.12] Y is [A.sub.21] Z is [A.sub.31] ... ... ... ... ... ... ... 9 X is [A.sub.13] Y is [A.sub.23] Z is [A.sub.33] Rule No. Consequent part 1 [W is D.sub.3] 2 [W is D.sub.3] ... ... 9 [W is D.sub.2] Table 4: Membership function of linguistic value of thickness universe. Linguistic 1 2 3 4 5 value \ Y Thick [0,0] [0,0] [0.2,0.2] [0.6,0.7] [l,l] Medium [0,0] [0.1,0.3] [0.9,0.9] [0.3,0.3] [0,0] Thin [1,1] [0.8,0.8] [0.2,0.3] [0,0] [0,0] Table 5: Test data on welding experiment. Test sample Leg size/mm Thickness/mm Current/A [p.sub.1] 5.5 6 130 [p.sub.2] 4.5 8 95 ... ... ... ... [p.sub.10] 4.5 5 115 Test sample Deformation value/mm [p.sub.1] 0.53 [p.sub.2] 0.26 ... ... [p.sub.10] 0.46

Printer friendly Cite/link Email Feedback | |

Author: | Feng, Zhi-Qiang; Liu, Cun-Gen |
---|---|

Publication: | Informatica |

Article Type: | Report |

Geographic Code: | 9CHIN |

Date: | Sep 1, 2012 |

Words: | 6877 |

Previous Article: | Mathlab implementation of quantum computation in searching an unstructured database. |

Next Article: | Autonomous push-down automaton built on DNA. |

Topics: |