Skip to main content
SpringerPlus
SpringerPlus Cover Image
Download PDF

Construction of the membership surface of imprecise vector

SpringerPlus volume 3, Article number: 722 (2014) Cite this article

Abstract

In this article, a method has been developed to construct the membership surface of imprecise vector based on Randomness-Impreciseness Consistency Principle. The Randomness-Impreciseness Consistency Principle leads to define a normal law of impreciseness using two different laws of randomness. The Dubois-Prade left and right reference functions of an imprecise number are distribution function and complementary distribution function respectively. In this article, based on the Randomness-Impreciseness Consistency Principle we have successfully obtained the membership surface of imprecise vector and demonstrated with the help of numerical examples.

1. Introduction

Dubois and Prade (Kaufmann and Gupta 1984) have defined a fuzzy number X = [a, b, c] with membership function

μ X x = L x ; a ≤ x ≤ b R x ; b ≤ x ≤ c 0 ; otherwise

L(x) being a continuous non-decreasing function in the interval [a, b], and R(x) being a continuous non-increasing function in the interval [b, c], with L(a) = R(c) = 0 and L(b) = R(b) = 1. Dubois and Prade named L(x) as left reference function and R(x) as right reference function of the concerned fuzzy number. A continuous non-decreasing function of this type is also called a distribution function with reference to a Lebesgue-Stieltjes measure (De Barra 1987).

In this article, on the simple assumption that the Dubois-Prade left reference function is a distribution function, and similarly the Dubois-Prade right reference function is a complementary distribution function, we are going to demonstrate the method of obtaining the membership surface of an imprecise vector. Here the term imprecise is used instead of fuzzy because, in the Zadehian theory of fuzzy sets there are two flaws (Baruah 2011a, Baruah 2012). First, it had been accepted that the fuzzy sets do not in any way conform to the classical measure theoretic formalisms. Secondly, it had been agreed upon that given a fuzzy set neither its intersection with its complement is the null set, nor its union with the complement is the universal set. The Zadehian definition of complement of a fuzzy set is defective (Baruah 1999). In the Zadehian definition of complementation, fuzzy membership function and fuzzy membership value have been taken to be the same, and that is where the defect lies. Indeed fuzzy membership function and fuzzy membership value are two different things for the complement of a normal fuzzy set (Baruah 2011a). Instead of saying (Baruah 2011b; Baruah 2011c) that the mathematics of fuzziness has been incorrectly explained, Baruah has started the whole process anew, introducing the theory of imprecise sets, which might initially look similar to the theory of fuzzy sets.

2. The mathematical explanation of imprecise vector

Baruah (2011b) has successfully shown the construction of a normal imprecise number with the help of the operation of superimposition of real intervals. Das et al. (2013) has shown the construction of normal imprecise number using data from earthquake waveform and has studied the pattern of the membership curve of the waveform. In this article, instead of superimposing real intervals, it will be discussed about how to obtain the membership surface of a two dimensional imprecise vector if we superimpose some plates in the two dimensional plane. In Figure 1 two plates are superimposed restricting the condition that the intersection of the two plates is not void.

Figure 1
figure1

Superimposition of two plates.

Full size image

We can easily visualize in Figure 1, that the probability of the shaded area is 1 and the probability for the unshaded area of the plates will be ½. But if the number of superimposition is large then it will be very difficult to obtain the probabilities by simply observing the imposition of the plates. So, in that situation a different technique can be used to obtain the probabilities when the number of operation of superimposition is very large. At first, it is discussed, about the operation of superimposition in the two dimensional case when the variable X is imprecise but Y is not imprecise.

The operation of superimposition

The operation of superimposition of two real intervals [(a1, 0), (b1, 0)] and [(a2, 0), (b2, 0)] as

a 1 , 0 , b 1 , 0 S a 2 , 0 , b 2 , 0 = a 1 , 0 , a 2 , 0 ∪ a 2 , 0 , b 1 , 0 2 ∪ b 1 , 0 , b 2 , 0

where (a(1), 0) = min[(a1, 0), (a2, 0)] , (a(2), 0) = max[(a1, 0), (a2, 0)] , (b(1), 0) = min[(b1, 0), (b2, 0)] and (b(2), 0) = max[(b1, 0), (b2, 0)]. Here we have assumed without any loss of generality that [(a1, 0), (b1, 0)] ∩ [(a2, 0), (b2, 0)] is not void or in other words that max[(a i , 0)] ≤ min[(b i , 0)], i = 1, 2.

For the three intervals x 1 , 0 , y 1 , 0 1 3 , x 2 , 0 , y 2 , 0 1 3 and x 3 , 0 , y 3 , 0 1 3 all with elements with a constant level of partial presence equal to 1/3 everywhere (See Figures 2, 3 and 4), we shall have

Figure 2
figure2

Superimposition of x 1 , 0 , y 1 , 0 1 3 , x 2 , 0 , y 2 , 0 1 3 and x 3 , 0 , y 3 , 0 1 3 .

Full size image
Figure 3
figure3

Cumulative and complementary cumulative distribution functions.

Full size image
Figure 4
figure4

Discrete Dubois- Prade left and right reference functions.

Full size image
x 1 , 0 , y 1 , 0 1 3 S x 2 , 0 , y 2 , 0 1 3 S x 3 , 0 , y 3 , 0 1 3 = x 1 , 0 , x 2 , 0 1 3 ∪ x 2 , 0 , x 3 , 0 2 3 ∪ x 3 , 0 , y 1 , 0 1 ∪ y 1 , 0 , y 2 , 0 2 3 ∪ y 2 , 0 , y 3 , 0 1 3

where, for example y 1 , 0 , y 2 , 0 2 3 represents the interval [(y(1), 0), (y(2), 0)] with level of partial presence 2/3 for all elements in the entire interval, (x(1), 0), (x(2), 0), (x(3), 0) be the values of (x1, 0), (x2, 0), (x3, 0) arranged in increasing order of magnitude, and similarly (y(1), 0), (y(2), 0), (y(3), 0) be the values of (y1, 0), (y2, 0), (y3, 0) arranged in increasing order of magnitude again. We here presumed that [(x1, 0), (y1, 0)] ∩ [(x2, 0), (y2, 0)] ∩ [(x3, 0), (y3, 0)] is not void. It can be seen that for n imprecise intervals a 1 , 0 , b 1 , 0 1 n , a 2 , 0 , b 2 , 0 1 n ,….…, a n , 0 , b n , 0 1 n , all with membership value are equal to 1 n everywhere, we shall have

a 1 , 0 , b 1 , 0 1 n S a 2 , 0 , b 2 , 0 1 n S … S a n , 0 , b n , 0 1 n = a 1 , 0 , a 2 , 0 1 n ∪ a 2 , 0 , a 3 , 0 2 n ∪ … ∪ × a n - 1 , 0 , a n , 0 n - 1 n ∪ a n , 0 , b 1 , 0 1 ∪ b 1 , 0 , b 2 , 0 n - 1 n ∪ … ∪ b n - 2 , 0 , b n - 1 , 0 2 n ∪ b n - 1 , 0 , b n , 0 1 n

where for example b 1 , 0 , b 2 , 0 n - 1 n represents the uniformly imprecise interval [(b(1), 0), (b(2), 0)] with membership n - 1 n in the entire interval, (a(1), 0), (a(2), 0), …, (a(n), 0) be the values of (a1, 0), (a2, 0), …, (a n , 0) arranged in increasing order of magnitude and (b(1), 0), (b(2), 0), …, (b(n), 0) be the values of (b1, 0), (b2, 0), …, (b n , 0) arranged in increasing order of magnitude. Thus for the imprecise intervals x 11 , 0 , x 21 , 0 1 n , x 12 , 0 , x 22 , 0 1 n ,..., x 1 n , 0 , x 2 n , 0 1 n , all with uniform membership 1 n , the values of membership of the superimposed imprecise intervals are 1 n , 2 n ,…, n - 1 n ,1, n - 1 n ,…, 2 n and 1 n . These values of membership considered in two halves as

0 , 1 n , 2 n , … , n - 1 n , 1 ,

and

1 , n - 1 n , … , 2 n , 1 n , 0 ,

would suggest that they can define an empirical distribution and a complementary empirical distribution on (x11, 0), (x12, 0), …, (x1n, 0) and (x21, 0), (x22, 0), …, (x2n, 0) respectively. In other words, for realizations of the values of (x(11), 0), (x(12), 0), …, (x(1n), 0) are in increasing order and of (x(21), 0), (x(22), 0), …, (x(2n), 0) again are in increasing order, we can see that if we define

ψ 1 x 1 , y = 0 if x 1 , 0 ≤ x 11 , 0 , r - 1 n if x 1 r - 1 , 0 ≤ x 1 , 0 ≤ x 1 r , 0 , r = 2 , 3 , . . . , n , 1 if x 1 , 0 ≥ x 1 n , 0 ,
ψ 2 x 2 , y = 0 if x 2 , 0 ≤ x 21 , 0 , 1 - r - 1 n if x 2 r - 1 , 0 ≤ x 2 , 0 ≤ x 2 r , 0 , r = 2 , 3 , . . . , n , 1 if x 2 , 0 ≥ x 2 n , 0 ,

then the Glivenko – Cantelli Lemma on Order Statistics assures that

ψ 1 x 1 , y → ∏ 1 a , 0 , x 1 , 0 , a , 0 ≤ x 1 , 0 ≤ b , 0 , ψ 2 x 2 , y → 1 - ∏ 2 b , 0 , x 2 , 0 , b , 0 ≤ x 2 , 0 ≤ c , 0 ,

where ∏1[(a, 0), (x1, 0)], (a, 0) ≤ (x1, 0) ≤ (b, 0) and ψ2(x 2 , 0), (b, 0) ≤ (x 2 , 0) ≤ (c, 0) ψ2(x2, 0), (b, 0) ≤ (x2, 0) ≤ (c, 0) are two probability distributions. Thus

Poss x , 0 = θ Pr a , 0 ≤ y , 0 ≤ x , 0 + 1 - θ × 1 - Pr b , 0 ≤ y , 0 ≤ x , 0 ,

where

θ= 1 if a , 0 ≤ x , 0 ≤ b , 0 , 0 if b , 0 ≤ x , 0 ≤ c , 0 .

Thus, if φ1(x, 0) and (1 - φ2(x, 0)) are two independent probability distribution functions defined in [(α, 0), (β, 0)] and [(β, 0), (γ, 0)] respectively, then the membership surface of a normal imprecise vector N = [(α, 0), (β, 0), (γ, 0)] can be expressed as

μ N x , 0 = φ 1 x , 0 if α , 0 ≤ x , 0 ≤ β , 0 , φ 2 x , 0 if β , 0 ≤ x , 0 ≤ γ , 0 , 0 otherwise

or

μ X Y x , y = φ 1 x , y i f α ≤ x ≤ β , y = 0 φ 2 x , y i f β ≤ x ≤ γ , y = 0 0 otherwise

Here, in the case of two dimensions we have considered that the value of y is zero. But instead of zero if we consider any precise value of y, then in the above membership surface only the value of y will be changed.

Similarly, we can also show that, the membership surface of a normal imprecise vector N = [(0, α), (0, β), (0, γ)] can be expressed as

μ N 0 , y = φ 1 0 , y if 0 , α ≤ 0 , y ≤ 0 , β , φ 2 0 , y if 0 , β ≤ 0 , y ≤ 0 , γ , 0 otherwise
μ Y X x , y = φ 1 x , y if x = 0 , α ≤ y ≤ β , φ 2 x , y if x = 0 , β ≤ y ≤ γ , 0 otherwise

Here, we have also considered the value of x is zero. But instead of zero if we consider any precise value of x, then in the above membership surface only the value of x will be changed.

Now, we are going to discuss about the method how to obtain the membership surface of the vector (X, Y), where the variables x and y both are imprecise.

Consider an imprecise vector (X, Y), where X and Y are imprecise represented by X = [a, b, c] and Y = [p, q, r] respectively. Assume that X and Y are independently distributed. Let the membership function of X and Y be μX|Y(x, y) and μY|X(x, y) as mentioned below

μ X Y x , y = L x ; a ≤ x ≤ b , p ≤ y ≤ r R x ; b ≤ x ≤ c , p ≤ y ≤ r 0 ; otherwise

and

μ Y X x , y = L y ; p ≤ y ≤ q , a ≤ x ≤ c R y ; q ≤ y ≤ r , a ≤ x ≤ c 0 ; otherwise .

Then the membership surface of the imprecise vector (X, Y) can be obtained as follows

μ X , Y x , y = μ X Y x , y μ Y X x , y = L x L y ; a ≤ x ≤ b , p ≤ y ≤ q L x R y ; a ≤ x ≤ b , q ≤ y ≤ r R x L y ; b ≤ x ≤ c , p ≤ y ≤ q R x R y ; b ≤ x ≤ c , q ≤ y ≤ r 0 ; otherwise

For a three dimensional imprecise vector (X, Y, Z), where the membership functions of X, Y and Z are as mentioned below:

μ X Y , Z x , y , z = L x ; a ≤ x ≤ b , p ≤ y ≤ r , s ≤ z ≤ u R x ; b ≤ x ≤ c , p ≤ y ≤ r , s ≤ z ≤ u 0 ; otherwise
μ Y X , Z x , y , z = L y ; p ≤ y ≤ q , a ≤ x ≤ c , s ≤ z ≤ u R y ; q ≤ y ≤ r , a ≤ x ≤ c , s ≤ z ≤ u 0 ; otherwise .
μ Z X , Y x , y , z = L z ; s ≤ z ≤ t , a ≤ x ≤ c , p ≤ y ≤ q R z ; t ≤ z ≤ u , a ≤ x ≤ c , q ≤ y ≤ r 0 ; otherwise .

Then the membership surface of the imprecise vector (X, Y, Z) will be as shown below:

μ X , Y , Z x , y , z = μ X Y , Z x , y , z μ Y X , Z x , y , z μ Z X , Y x , y , z = L x L y L z ; a ≤ x ≤ b , p ≤ y ≤ q , s ≤ z ≤ t L x L y R z ; a ≤ x ≤ b , p ≤ y ≤ q , t ≤ z ≤ u L x R y L z ; a ≤ x ≤ b , q ≤ y ≤ r , s ≤ z ≤ t L x R y R z ; a ≤ x ≤ b , q ≤ y ≤ r , t ≤ z ≤ u R x L y L z ; b ≤ x ≤ c , p ≤ y ≤ q , s ≤ z ≤ t R x L y R z ; b ≤ x ≤ c , p ≤ y ≤ q , t ≤ z ≤ u R x R y L z ; b ≤ x ≤ c , q ≤ y ≤ r , s ≤ z ≤ t R x R y R z ; b ≤ x ≤ c , q ≤ y ≤ r , t ≤ z ≤ u 0 ; otherwise .

3. Numerical Examples

Example 1. Let (X, Y) be an imprecise vector, where both X and Y are imprecise with imprecise membership functions

μ X Y x , y = x - 1 ; 1 ≤ x ≤ 2 , 3 ≤ y ≤ 6 4 - x 2 ; 2 ≤ x ≤ 4 , 3 ≤ y ≤ 6 0 ; otherwise

and

μ Y X x , y = y - 3 2 ; 3 ≤ y ≤ 5 , 1 ≤ x ≤ 4 6 - y ; 5 ≤ y ≤ 6 , 1 ≤ x ≤ 4 0 ; otherwise

According to Randomness- Impreciseness Consistency Principle the left reference functions L(x) = x - 1; 1 ≤ x ≤ 2, 3 ≤ y ≤ 6 and L y = y - 3 2 ;3≤y≤5,1≤x≤4, are distribution functions and the right reference functions R x = 4 - x 2 ;2≤x≤4,3≤y≤6 and R(y) = 6 - y; 5 ≤ y ≤ 6, 1 ≤ x ≤ 4 are complementary distribution functions.

Now, according to our standpoint the membership surface μX,Y(x, y) of the imprecise vector (X, Y) can be obtained as follows

μ X , Y x , y = μ X | Y x , y μ Y | X x , y = x - 1 y - 3 2 ; 1 ≤ x ≤ 2 , 3 ≤ y ≤ 5 x - 1 6 - y ; 1 ≤ x ≤ 2 , 5 ≤ y ≤ 6 4 - x y - 3 4 ; 2 ≤ x ≤ 4 , 3 ≤ y ≤ 5 4 - x 6 - y 2 ; 2 ≤ x ≤ 4 , 5 ≤ y ≤ 6 0 ; otherwise

The figures of the membership surfaces of L(x)L(y), L(x)R(y), R(x)L(y) and R(x)R(y) are given in Figures 5, 6, 7 and 8 respectively. The membership surface of the imprecise vector (X, Y) is shown in Figure 9.

Figure 5
figure5

Membership surface of L(x)L(y) .

Full size image
Figure 6
figure6

Membership surface of L(x)R(y) .

Full size image
Figure 7
figure7

Membership surface of R(x)L(y) .

Full size image
Figure 8
figure8

Membership surface of R(x)R(y) .

Full size image
Figure 9
figure9

Membership surface of μ X, Y ( x, y ) .

Full size image

Now, to get the surface section of the membership surface if we cut the membership surface of the imprecise vector, which is in the two dimensions is nothing but the membership function of a subnormal imprecise number. If we cut the membership surface through the point on which the presence level is one, which is in the two dimensions is nothing but the membership function of a normal imprecise number.

Example 2. Let (X, Y, Z) be an imprecise vector, where X, Y and Z are imprecise with imprecise membership functions

μ X Y , Z x , y , z = x - 1 ; 1 ≤ x ≤ 2 , 3 ≤ y ≤ 6 , 8 ≤ z ≤ 10 4 - x 2 ; 2 ≤ x ≤ 4 , 3 ≤ y ≤ 6 , 8 ≤ z ≤ 10 0 ; otherwise
μ Y X , Z x , y , z = y - 3 2 ; 3 ≤ y ≤ 5 , 1 ≤ x ≤ 4 , 8 ≤ z ≤ 10 6 - y ; 5 ≤ y ≤ 6 , 1 ≤ x ≤ 4 , 8 ≤ z ≤ 10 0 ; otherwise

and

μ Z X , Y x , y , z = z - 8 ; 8 ≤ z ≤ 9 , 1 ≤ x ≤ 4 , 3 ≤ y ≤ 6 10 - z ; 9 ≤ z ≤ 10 , 1 ≤ x ≤ 4 , 3 ≤ y ≤ 6 0 ; otherwise

Now the membership surface μX,Y,Z(x, y, z) of the imprecise vector (X, Y, Z) can be obtained as follows

μ X , Y , Z x , y , z = μ X | Y , Z x , y , z μ Y | X , Z x , y , z μ Z | X , Y x , y , z = x - 1 y - 3 z - 8 2 ; 1 ≤ x ≤ 2 , 3 ≤ y ≤ 5 , 8 ≤ z ≤ 9 x - 1 6 - y z - 8 ; 1 ≤ x ≤ 2 , 5 ≤ y ≤ 6 , 8 ≤ z ≤ 9 4 - x y - 3 z - 8 4 ; 2 ≤ x ≤ 4 , 3 ≤ y ≤ 5 , 8 ≤ z ≤ 9 4 - x 6 - y z - 8 2 ; 2 ≤ x ≤ 4 , 5 ≤ y ≤ 6 , 8 ≤ z ≤ 9 x - 1 y - 3 10 - z 2 ; 1 ≤ x ≤ 2 , 3 ≤ y ≤ 5 , 9 ≤ z ≤ 10 x - 1 6 - y 10 - z ; 1 ≤ x ≤ 2 , 5 ≤ y ≤ 6 , 9 ≤ z ≤ 10 4 - x y - 3 10 - z 4 ; 2 ≤ x ≤ 4 , 3 ≤ y ≤ 5 , 9 ≤ z ≤ 10 4 - x 6 - y 10 - z 2 ; 2 ≤ x ≤ 4 , 5 ≤ y ≤ 6 , 9 ≤ z ≤ 10 0 ; otherwise

4. Conclusion

In this article, the method has been shown successfully how to obtain the membership surface of the imprecise vector based on the Randomness- Impreciseness Consistency Principle. Here nothing has been done heuristically. The theory has been successfully developed and demonstrated with the help of numerical examples. Here the method of construction of the membership surface has been studied only for two and three dimensional vectors, but with the help of this method one can easily obtain the membership surface of n-dimensional vector too.

References

  1. Baruah HK: Fuzzy membership with respect to a reference function. J Assam Sci Soc 1999, 40(3):65-73.

    Google Scholar 

  2. Baruah HK: The theory of fuzzy sets: beliefs and realities. Int J Energ Information Communications 2011, 2(2):1-22.

    Google Scholar 

  3. Baruah HK: Construction of the membership function of a fuzzy number. ICIC Express Letters 2011, 5(2):545-549.

    Google Scholar 

  4. Baruah HK: In search of the root of fuzziness: the measure theoretic meaning of partial presence. Annals of Fuzzy Mathematics and Informatics 2011, 2(1):57-68.

    Google Scholar 

  5. Baruah HK: An introduction to the theory of imprecise sets: The mathematics of partial presence. J Math Comput Sci 2012, 2(2):110-124.

    Google Scholar 

  6. Das D, Dutta A, Mahanta S, Baruah HK: Construction of normal fuzzy numbers: a case study with earthquake waveform data. Journal of Process Management – New Technologie 2013, 1(1):1-6.

    Google Scholar 

  7. De Barra G: Measure Theory and Integration. Wiley Eastern Limited, New Delhi; 1987.

    Google Scholar 

  8. Kaufmann A, Gupta MM: Introduction to Fuzzy Arithmetic, Theory and Applications. Van Nostrand Reinhold Co. Inc., Wokingham, Berkshire; 1984.

    Google Scholar 

Download references

Author information

Affiliations

  1. Department of Statistics, Gauhati University, Guwahati, 781014, Assam, India

    Dhruba Das

  2. Vice chancellor, Bodoland University, Kokrajhar, 783370, Assam, India

    Hemanta K Baruah

Authors
  1. Dhruba Das
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Hemanta K Baruah
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Hemanta K Baruah.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contribution

HKB has given the idea about the construction of the membership surface of imprecise vector and based on his idea DD has developed the theory. Both authors read and approved the final manuscript.

Authors’ original submitted files for images

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, adaptation, distribution, and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Das, D., Baruah, H.K. Construction of the membership surface of imprecise vector. SpringerPlus 3, 722 (2014). https://doi.org/10.1186/2193-1801-3-722

Download citation

Keywords

  • Membership function
  • Imprecise vector
  • Dubois-Prade left and right reference functions
  • Distribution function
  • Density function