Next Article in Journal
Ear Detection under Uncontrolled Conditions with Multiple Scale Faster Region-Based Convolutional Neural Networks
Previous Article in Journal
Correlation Coefficients of Extended Hesitant Fuzzy Sets and Their Applications to Decision Making
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Dual Hesitant Fuzzy Probability

Department of Mathematics, Nanchang University, Nanchang 330031, China
*
Authors to whom correspondence should be addressed.
Symmetry 2017, 9(4), 52; https://doi.org/10.3390/sym9040052
Submission received: 3 January 2017 / Revised: 30 March 2017 / Accepted: 1 April 2017 / Published: 7 April 2017

Abstract

:
Intuitionistic fuzzy probabilities are an extension of the concept of probabilities with application in several practical problem solving tasks. The former are probabilities represented through intuitionistic fuzzy numbers, to indicate the uncertainty of the membership and nonmembership degrees in the value assigned to probabilities. Moreover, a dual hesitant fuzzy set (DHFS) is an extension of an intuitionistic fuzzy set, and its membership degrees and nonmembership degrees are represented by two sets of possible values; this new theory of fuzzy sets is known today as dual hesitant fuzzy set theory. This work will extend the notion of dual hesitant fuzzy probabilities by representing probabilities through the dual hesitant fuzzy numbers, in the sense of Zhu et al., instead of intuitionistic fuzzy numbers. We also give the concept of dual hesitant fuzzy probability, based on which we provide some main results including the properties of dual hesitant fuzzy probability, dual hesitant fuzzy conditional probability, and dual hesitant fuzzy total probability.

1. Introduction

After the introduction of the concept of fuzzy sets by Zadeh in [1], several surveys were conducted on possible extensions of the concept of fuzzy set. Among these extensions, one that has attracted the attention of much research in recent decades is dual hesitant fuzzy set theory, introduced by Zhu et al. [2]. In 2011, Xu and Xia [3] defined the concept of dual hesitant fuzzy element (DHFE), which can be considered as the basic unit of a DHFS, and is also a simple and effective tool used to express the decision makers’ hesitant preferences in the process of decision making. Since then, many scholars [4,5,6,7,8,9] have conducted much research work on aggregation, distance measures, correlation coefficient, and decision making with dual hesitant fuzzy information.
On the other hand, probability theory is an old uncertainty method which is appropriate to deal with another kind of uncertainty. However, since probabilities consider an absolute knowledge, and in many real situations this knowledge is partially known or uncertain, there were several ways to extend the notion of probabilities to deal with such situations. An original conception of connecting fuzzy set theory with probability theory was first introduced by Hirota and Wright [10]. For James Buckley [11], the probabilities of events, in practice, should be known exactly, however, these values are very often estimated or provided by experts, and therefore are of vague nature. He modeled this vagueness using fuzzy numbers. This approach has been applied in several subjects (see [11,12]), such as testing for HIV, and other blood type problems. Besides, according to fuzzy probability, James Buckley [11] also proposed fuzzy Markov chains, and joint fuzzy probability distributions, etc., then applied them to the fuzzy queuing decision problem, machine servicing problem, fuzzy decisions under risk and fuzzy reliability theory. In 2010, Costa et al. [13] introduced a generalization of the concept of fuzzy probabilities by using an original notion of intuitionistic fuzzy numbers instead of usual fuzzy numbers and gave some notions about intuitionistic fuzzy probabilities. In 2013, Costa et al. [14] investigated Atanassov’s intuitionistic fuzzy probability and Markov chains. Rashid et al. [15] introduced a convex hesitant fuzzy set and a quasi-convex hesitant fuzzy set with an example and investigated aggregation functions for convex hesitant fuzzy sets, which are available in the optimization problem.
As discussed above, a DHFS has its own desirable characteristics and advantages and appears to be a more flexible method—which is to be valued in multifold ways due to the practical demands—than the existing fuzzy sets, taking into account much more information given by decision makers, and at the same time, fuzzy probability and intuitionistic fuzzy probability play a crucial role in applications [11]; we urgently need to put forward dual hesitant fuzzy probability to satisfy the same problems. In this paper, we will introduce probabilities to a DHFS by using an original notion of dual hesitant fuzzy numbers instead of usual fuzzy numbers. Thus, we give an original generalization, in the context of a DHFS, to the intuitionistic fuzzy probability approach of Costa et al. in [13]; thus, we introduce a theory to deal with probabilities in a framework where it does not only model uncertainty in the probability of some events but also models the dual hesitation which is naturally present in the uncertainty.
Motivated by earlier research work, the remainder of the paper is organized as follows: In Section 2, some basic concepts of dual hesitant fuzzy sets are presented. In Section 3, we give some convexity for DHFSs, which contains a convex dual hesitant fuzzy set with respect to ( α , β ) c u t s and a quasi-convex dual hesitant fuzzy set; we also introduce intuitionistic fuzzy numbers that are fundamental to the paper. In Section 4, we provide the main definitions and results of this work. Section 5 introduces a dual hesitant fuzzy extension of (fuzzy intuitionistic) conditional probability and it is proven that this extension satisfies more analogous properties than conditional probabilities. In Section 6, an example of the application of color blindness is given to show the actual need of dual hesitant fuzzy probability. A conclusion to the paper and further topics are given in Section 7.

2. Some Basic Concepts about DHFS

Zhu et al. [2] defined a DHFS—which is an extension of the hesitant fuzzy set, in terms of two functions that return two sets of membership values and nonmembership values, respectively, for each element in the domain—as follows.
Definition 1.
[2] Let X be a fixed set, then a DHFS D on X is defined as:
D = { < x , h ( x ) , g ( x ) > | x X } ,
where h ( x ) and g ( x ) are two sets of some values in [0, 1], denoting the possible membership degrees and nonmembership degrees of the element x X to the set D, respectively, with the conditions: 0 γ , η 1 and 0 γ + + η + 1 , where γ h ( x ) , η g ( x ) , γ + h + ( x ) = γ h ( x ) m a x { γ } , and η + g + ( x ) = η g ( x ) m a x { η } for x X . For convenience, the pair e ( x ) = { < h ( x ) , g ( x ) > } is called a DHFE denoted by all e = { < h , g > } .
The support of the DHFS D is the crisp set S u p p ( D ) = { t X : m a x h ( t ) 0 and max g ( t ) 1 } X , whereas the kernel of the DHFS D is the crisp set K e r ( D ) = { t X : m a x h ( t ) = 1 and m a x g ( t ) = 0 } X . The DHFS D is said to be normal provided that it has a non-empty kernel.
From the above definition, we can see that it consists of two parts, that is, the membership hesitancy function and the nonmembership hesitancy function; this supports more exemplary and flexible access to assign values for each element in the domain, and two kinds of hesitancy can be handled in this situation. The existing sets, including fuzzy sets, intuitionistic fuzzy sets, hesitant fuzzy sets, and fuzzy multisets, can be regarded as special cases of DHFSs.
Example 1.
Let D be a dual hesitant fuzzy set in X = { x 1 , x 2 , x 3 } , and we give three dual hesitant fuzzy elements to a set D as follows:
  • h D ( x 1 ) = { { 0 . 7 , 0 . 5 , 0 . 3 } , { 0 . 2 , 0 . 1 } } ,
  • h D ( x 2 ) = { { 0 . 4 , 0 . 3 } , { 0 . 2 , 0 . 4 } } ,
  • h D ( x 3 ) = { { 0 . 6 , 0 . 3 } , { 0 . 3 , 0 . 1 , 0 . 2 } } ,
then D = { < x 1 , { 0 . 7 , 0 . 5 , 0 . 3 } , { 0 . 2 , 0 . 1 } > , < x 2 , { 0 . 4 , 0 . 3 } , { 0 . 2 , 0 . 4 } > , < x 3 , { 0 . 6 , 0 . 3 } , { 0 . 3 , 0 . 1 , 0 . 2 } } .
The following operations are also given by Zhu et al. [2], for any DHFEs, d, d 1 and d 2 ,
(1)
u n i o n : d 1 d 2 = γ d 1 h d 1 , γ d 2 h d 2 { { γ d 1 + γ d 2 γ d 1 γ d 2 } , { η d 1 η d 2 } } ;
(2)
i n t e r s e c t i o n : d 1 d 2 = γ d 1 h d 1 , γ d 2 h d 2 { { γ d 1 γ d 2 } , { η d 1 + η d 2 η d 1 η d 2 } } ;
(3)
n d = γ d h d , η d g d { 1 ( 1 γ d ) n , ( η d ) n } ;
(4)
d n = γ d h d , η d g d { ( γ d ) n , 1 ( 1 η d ) n } , where n is a positive integral and all the results are also DHFEs.
Definition 2.
[2] Let d i = { h d i , g d i } be any two DHFEs, s ( d i ) = 1 h γ h γ 1 g η g η ( i = 1 , 2 ) the score function of d i ( i = 1 , 2 ) , and p ( d i ) = 1 h γ h γ + 1 g η g η ( i = 1 , 2 ) ( i = 1 , 2 ) the accuracy function of d i ( i = 1 , 2 ) , where h and g are the numbers of the elements in h and g, respectively, then
 (i) 
if s ( d 1 ) > s ( d 2 ) , then d 1 is superior to d 2 , denoted by d 1 d 2 ;
(ii) 
if s ( d 1 ) = s ( d 2 ) , then
(1) 
if p ( d 1 ) = p ( d 2 ) , then d 1 is equivalent to d 2 , denoted by d 1 d 2 ;
(2)
if p ( d 1 ) > p ( d 2 ) , then d 2 is superior to d 1 , denoted by d 2 d 1 .
In order to give the level set of a DHFS, we give the following notion: Let d = { h , g } be a DHFE. Then, s ( h ) = 1 h γ h γ and s ( g ) = 1 g η g η are the score function of the membership degrees and nonmembership degrees of DHFEs, respectively, where h and g are the numbers of elements in h and g, respectively.

3. Dual Hesitant Fuzzy Numbers

In this section, we carry out a brief introduction to some kinds of convexity for dual hesitant fuzzy sets, based on which we give some concepts about dual hesitant fuzzy numbers for a better understanding of the main body of the paper. Next, let us start by recalling a unit triangular lattice.
Definition 3.
[16,17] Let T = { ( x 1 , x 2 ) [ 0 , 1 ] × [ 0 , 1 ] : x 1 + x 2 1 } . Define on T a binary relation T given by ( x 1 , x 2 ) T ( y 1 , y 2 ) provided that x 1 y 1 and y 2 x 2 . Then, ( T , T , 0 T , 1 T ) is a bounded complete lattice, where 0 T stands for (0,1) and 1 T stands for (1, 0). This new lattice T is called the unit triangular lattice.
The unit triangular lattice T has been proven to be a helpful tool in the theory of representability of several ordered structures as total preorders, interval orders and semiorders (see [16,17] for further details).
Given a DHFS D, its supremum and infimum, with respect to T , could be obtained as follows:
s u p D = ( s u p { s ( h 1 ( x ) ) | x D } , i n f { s ( g 2 ( x ) ) | x X } ) ,
and
i n f D = ( i n f { s ( h 1 ( x ) ) | x D } , s u p { s ( g 2 ( x ) ) | x X } ) .
Given ( α , β ) T and a DHFS D of universe X, the ( α , β ) c u t of D is the set:
D ( α , β ) = { x X | s ( h D ( x ) ) α a n d s ( g D ( x ) ) β } .
Notice that D ( α , β ) = ( D α , D β ) , where D α = { x X | s ( h D ( x ) ) α } and D β = { x X | s ( g D ( x ) ) β } . On the other hand, every DHFS can be recovered from its ( α , β ) c u t s . In fact, ( h D ( x ) , g D ( x ) ) = s u p { ( α , β ) T | x A ( α , β ) } , where the supremum is with respect to T .
Definition 4.
Let D be a dual hesitant fuzzy set with universe R. D is convex if its cuts D ( α , β ) are convex subsets of X for all α , β ( 0 , 1 ] .
An equivalent statement is shown as follows:
Definition 5.
Let X be a vector space. A dual hesitant fuzzy set D of the universe X is said to be quasi-convex, if for all x , y X and λ [ 0 , 1 ] it holds that ( m i n { s ( h D ( x ) ) , s ( h D ( y ) ) } , m a x { s ( g D ( x ) ) , s ( g D ( y ) ) } ) T ( s ( h D ( λ x + ( 1 λ ) y ) , s ( g D ( λ x + ( 1 λ ) y ) ) .
Lemma 1.
If D = { < x , h D ( x ) , g D ( x ) > } is a DHFS and we denote by D 1 the hesitant fuzzy set defined by means of the membership function of D ( i . e . , D 1 = h D ) , then D ( α , β ) = ( D 1 ) α for any α ( 0 , 1 ] . This means that D ( α , β ) = { x X : h D ( x ) α } .
Proof. 
It is trivial that D α , β ( D 1 ) α . Let x ( D 1 ) α , then s ( h D ( x ) ) α . Since D is a DHFS, we have that m a x { h D ( x ) } + m a x { g D ( x ) } 1 , then s ( g D ( x ) ) 1 m a x s ( h D ( x ) ) 1 α and therefore s ( g D ( x ) ) β ( β = 1 α ) . Then, x D ( α , β ) . ☐
Remark 1.
( D 1 ) α and α c u t of the hesitant fuzzy set in Lemma 1 is given in [16].
Theorem 1.
Let X be a universe. The following statements are equivalent:
(1) 
D is a quasi-convex DHFS;
(2) 
any ( α , β ) c u t s of DHFS D are convex crisp sets, for any α , β ( 0 , 1 ] ;
(3) 
h D is the membership function of a convex hesitant fuzzy set with respect to α c u t s [16].
Proof. 
( 1 ) ( 2 ) : To prove the direct implication, given ( α , β ) L , for all x , y X and λ [ 0 , 1 ] such that ( α , β ) T ( m i n { s ( h D ( x ) ) , s ( h D ( y ) ) } , m a x { s ( g D ( x ) ) , s ( g D ( y ) ) } ) , if D is a quasi-convex DHFS, we have that ( α , β ) T ( m i n { s ( h D ( x ) ) , s ( h D ( y ) ) } , m a x { s ( g D ( x ) ) , s ( g D ( y ) ) } ) T ( s ( h D ( λ x + ( 1 λ ) y ) , s ( g D ( λ x + ( 1 λ ) y ) . Then, any ( α , β ) c u t s of a DHFS D are convex crisp sets, for any α ( 0 , 1 ] .
On the contrary, given x , y X and ( α , β ) L , if we call α = m i n { s ( h D ( x ) ) , s ( h D ( y ) ) } and β = m i n { s ( g D ( x ) ) , s ( g D ( y ) ) } , it is clear that x , y belong to the α c u t of the dual hesitant fuzzy set defined by D ( α , β ) . By hypothesis, λ x + ( 1 λ ) y also lies in this ( α , β ) c u t , so that ( α , β ) T ( m i n { s ( h D ( x ) ) , s ( h D ( y ) ) } , m i n { s ( g D ( x ) ) , s ( g D ( y ) ) } ) T ( s ( h D ( λ x + ( 1 λ ) y ) ) , s ( g D ( λ x + ( 1 λ ) y ) ) ) . Thus, ( m i n { s ( h D ( x ) ) , s ( h D ( y ) ) } , m a x { s ( g D ( x ) ) , s ( g D ( y ) ) } ) T ( s ( h D ( λ x + ( 1 λ ) y ) , s ( g D ( λ x + ( 1 λ ) y ) ) .
( 2 ) ( 3 ) : Based on Lemma 1, it is easy to prove that it holds. ☐
Definition 6.
Let D be a DHFS with universe R. D is continuous if s ( h D ( x ) ) and s ( g D ( x ) ) are continuous; D is normalized if there exists x R such that ( s ( h D ( x ) ) , s ( g D ( x ) ) ) = 1 T .
Thus, for the convex DHFS, its ( α , β ) c u t s are closed intervals of real numbers, and so it is possible to represent them via their end points, which can be obtained as follows:
l ( D ( α , β ) ) = m a x ( m i n s ( h D ) ( α ) 1 , m i n s ( g D ) ( β ) 1 ) ,
and
r ( D ( α , β ) ) = m i n ( m a x s ( h D ) ( α ) 1 , m a x s ( g D ) ( β ) 1 ) ,
that is, D ( α , β ) = [ l ( D ( α , β ) ) , r ( D ( α , β ) ) ] . Where s ( h D ) ( α ) 1 = { x | s ( h D ( x ) ) α } and s ( g D ) ( α ) 1 = { x | s ( g D ( x ) ) β } .
Definition 7.
A DHFS D with the real universe is a dual hesitant fuzzy number (DHFN) if it is convex, normalized and continuous. Denote by ℑ the set of all DHFN.
Important subclasses of a DHFN are those in which s ( h D ) , as well as its complement s ( g D ) , have a triangular shape, that is, they are triangular fuzzy numbers in the usual sense; then, we call the corresponding dual hesitant fuzzy number a dual hesitant triangular fuzzy number (DHTFN). Thus, as can be seen in Figure 1, the DHTFN is completely determined by the score functions of s ( h D ) and s ( g D ) in Figure 1. We can denote it by ( S a , S b / S c / S d , S e ) ; one advantage of the DHTFN is that its ( α , β ) c u t can be expressed as follows:
( S a , S b / S c / S d , S e ) ( α , β ) = [ m a x ( S a + ( S c S a ) α , S b + ( S c S b ) β ) , m i n ( S e + ( S e S c ) α , S d + ( S d S c ) β ) ] .
Remark 2.
If the DHFS reduces to a fuzzy set or an intuitionistic fuzzy set, then the DHFN reduces to a fuzzy number or an intuitionistic fuzzy number.
Let A and B be two DHFNs. Then, define the addition, subtraction, multiplication and division of A with B from the corresponding interval arithmetic operations on their ( α , β ) c u t s . Let ( α , β ) L ,
( A + B ) α = { x + y | x A ( α , β ) a n d y B ( α , β ) } = [ l ( A ( α , β ) ) + l ( B ( α , β ) ) , r ( A ( α , β ) ) + r ( B ( α , β ) ) ] ,
( A B ) α = { x y | x A ( α , β ) a n d y B ( α , β ) } = [ l ( A ( α , β ) ) r ( B ( α , β ) ) , r ( A ( α , β ) ) l ( B ( α , β ) ) ] ,
( A · B ) α = { x · y | x A ( α , β ) a n d y B ( α , β ) } = [ m i n S , m a x S ] ,
( A / B ) α = { x / y | x A ( α , β ) a n d y B ( α , β ) } = [ m i n T , m a x T ] ,
where S = { l ( A ( α , β ) ) · l ( B ( α , β ) ) , l ( A ( α , β ) ) · r ( B ( α , β ) ) , r ( A ( α , β ) ) · l ( B ( α , β ) ) , r ( A ( α , β ) ) · r ( B ( α , β ) ) } and T = { l ( A ( α , β ) ) / l ( B ( α , β ) ) , l ( A ( α , β ) ) / r ( B ( α , β ) ) , r ( A ( α , β ) ) / l ( B ( α , β ) ) , r ( A ( α , β ) ) / r ( B ( α , β ) ) } .
Notice that this method is equivalent to the extension principle method of fuzzy arithmetic [12] and intuitionistic fuzzy arithmetic [13]. Obviously, this procedure is more user friendly.
Theorem 2.
Let A and B be two DHFNs. Then, A + B , A B , A · B and A / B ( 0 B ) are DHFNs.
Proof. Straightforward.
It is possible to establish several orders on intuitionistic fuzzy numbers [11] which could be extended to DHFNs. Here, we give the following order on DHFNs:
A B A ( α , β ) B ( α , β ) f o r a l l ( α , β ) L ,
where,
A ( α , β ) B ( α , β ) r ( A ( α , β ) ) < r ( B ( α , β ) ) o r r ( A ( α , β ) ) = r ( B ( α , β ) ) a n d l ( B ( α , β ) ) l ( A ( α , β ) ) .
A DHFN D is strictly positive if for each ( α , β ) c u t , D ( α , β ) > 0 . Then, we have
Lemma 2.
D is strictly positive if D 0 .
Proof. Straightforward.
Lemma 3.
If A and B are strictly positive DHFNs, then
( A · B ) ( α , β ) = [ l ( A ( α , β ) ) · l ( B ( α , β ) ) , r ( A ( α , β ) ) · r ( B ( α , β ) ) ] = A ( α , β ) · B ( α , β ) ;
and
( A / B ) ( α , β ) = [ l ( A ( α , β ) ) / r ( B ( α , β ) ) , r ( A ( α , β ) ) / l ( B ( α , β ) ) ] = A ( α , β ) / B ( α , β ) .
Proof. Straightforward.
Theorem 3.
Let A, B and C be three strictly positive DHFNs. Then,
  (i) 
If A B then A C B C ;
 (ii) 
If B C then A B A C ;
(iii) 
B A · B A .
Proof. 
Let ( α , β ) T ,
  (i)
If A B , we have r ( A ( α , β ) ) < r ( B ( α , β ) ) o r r ( A ( α , β ) ) = r ( B ( α , β ) ) a n d l ( B ( α , β ) ) < l ( A ( α , β ) ) , thus r ( A ( α , β ) ) l ( C ( α , β ) ) < r ( B ( α , β ) ) l ( C ( α , β ) ) or r ( A ( α , β ) ) l ( C ( α , β ) ) = r ( B ( α , β ) ) l ( C ( α , β ) ) and l ( A ( α , β ) ) r ( C ( α , β ) ) l ( B ( α , β ) ) r ( C ( α , β ) ) . Then A C B C ;
 (ii)
If B C , we have [ l ( B ( α , β ) ) , r ( B ( α , β ) ) ] [ l ( C ( α , β ) ) , r ( C ( α , β ) ) ] , thus [ l ( A ( α , β ) ) r ( B ( α , β ) ) , r ( A ( α , β ) ) l ( B ( α , β ) ) ] [ l ( A ( α , β ) ) r ( C ( α , β ) ) , r ( A ( α , β ) ) l ( C ( α , β ) ) ] , namely, A B A C ;
(iii)
As [ l ( B ( α , β ) ) , r ( B ( α , β ) ) ] [ l ( A ( α , β ) ) l ( B ( α , β ) ) r ( A ( α , β ) ) , r ( A ( α , β ) ) r ( B ( α , β ) ) l ( A ( α , β ) ) ] , namely, B A · B A .
 ☐

4. Dual Hesitant Fuzzy Probability

Let X = { x 1 , . . . , x 2 } be a finite set. Let be the set of all strictly positive DHFN and let d ¯ i , i = 1 , . . . , n , with d ¯ i 1 ¯ , for all i = 1 , . . . , n . A family of fixed DHFNs such that there are d ¯ i ( d ¯ i ) ( α , β ) with i = 1 n d ¯ i = 1 . For each ( α , β ) T , denote ( d ¯ 1 ) ( α , β ) × . . . × ( d ¯ n ) ( α , β ) by S α β . Define also, for each A X and DHFS ( α , β ) L , the following set:
( P ¯ ( A ) ) ( α , β ) = { i I A d i | ( d 1 , d 2 , . . . , d n ) S α β a n d i = 1 n m a x i d i = 1 } ,
where I A is the set of indexes of A, that is, I A = { i { 1 , . . . , n } | x i X } . Conventionally, i d ¯ i = 0 .
Theorem 4.
Let A X , ( P ¯ ( A ) ) ( α , β ) are the ( α , β ) c u t s of a DHFN, P ¯ ( A ) , that is, P ¯ : ( X ) , where ( X ) is the powerset of X.
Proof. 
Let S = { y 1 , y 2 , . . . , y n ) [ 0 , 1 ] n a n d i = 1 n m a x i y i = 1 } . For each ( α , β ) L , define D o m [ α , β ] = S i = 1 n ( d ¯ i ) ( α , β ) and f : D o m [ α , β ] [ 0 , 1 ] by:
f ( d 1 , d 2 , . . . , d n ) = i I A d i .
We have that f is continuous and D o m is bounded and closed. Then, the images of f are some bounded and closed intervals of R. For each ( α , β ) L , define Γ [ α , β ] = f ( D o m [ α , β ] ) .
By Equation (13), we have that, for each α , β ( 0 , 1 ] , ( P ¯ ( A ) ) ( α , β ) = j Γ [ α , β ] . Therefore, ( P ¯ ( A ) ) is a DHFN.
P ¯ is called a dual hesitant fuzzy probability function. ☐
Remark 3.
If the DHFS reduces to a fuzzy set or an intuitionistic fuzzy set, then the dual hesitant fuzzy probability reduces to a fuzzy probability or an intuitionistic fuzzy probability.
Theorem 5.
Let X = { x 1 , x 2 , . . . , x n } and let P ¯ : ( X ) be a dual hesitant fuzzy probability function. Then, for each A , B X , the following properties hold:
  (i) 
If A B = then P ¯ ( A B ) P ¯ ( A ) + P ¯ ( B ) ;
 (ii) 
If A B then P ¯ ( A ) P ¯ ( B ) ;
(iii) 
P ¯ ( ) = 0 ¯ P ¯ ( A ) P ¯ ( X ) = 1 ¯ ;
(iv) 
1 ¯ P ¯ ( A ) + P ¯ ( A c ) ;
 (v) 
If A B then P ¯ ( A B ) P ¯ ( A ) + P ¯ ( B ) P ¯ ( A B ) .
Proof. 
(i)
Notice that A B = if and only if I A I B = . In order to prove (i), we only need to prove that:
P ¯ ( A B ) α P ¯ ( A ) α + P ¯ ( B ) α .
Namely, for each ( α , β ) L ,
{ i I A d i + j I B d j | ( d 1 , d 2 , . . . , d n ) S α β a n d l = 1 n d l = 1 } lies in
{ i I A d i | ( d 1 , d 2 , . . . , d n ) S α β a n d l = 1 n d l = 1 } + { j I B d j | ( d 1 , d 2 , . . . , d n ) S α β a n d l = 1 n d l = 1 } , which is obvious;
(ii)
If A B , we have { i I A d i | ( d 1 , d 2 , . . . , d n ) S α β a n d l = 1 n d l = 1 } { i I B d j | ( d 1 , d 2 , . . . , d n ) S α β a n d l = 1 n d l = 1 } , thus P ¯ ( A ) P ¯ ( B ) ;
(iii)
If A X , { i I A d i | ( d 1 , d 2 , . . . , d n ) S α β a n d l = 1 n d l = 1 } { i I X d j | ( d 1 , d 2 , . . . , d n ) S α β a n d l = 1 n d l = 1 } , thus P ¯ ( ) = 0 ¯ P ¯ ( A ) P ¯ ( X ) = 1 ¯ .
(iv)
As (i), we donate B = A c , then P ¯ ( A ) + P ¯ ( A c ) P ¯ ( A A c ) ) = P ¯ ( X ) = 1 ¯ ;
(v)
If A B , for each ( α , β ) L , { u I A I B d u | ( d 1 , d 2 , . . . , d n ) S α β a n d l = 1 n d l = 1 } lies in { i I A d i | ( d 1 , d 2 , . . . , d n ) S α β a n d l = 1 n d l = 1 } + { j I B d j | ( d 1 , d 2 , . . . , d n ) S α β a n d l = 1 n d l = 1 } { k I A I B d k | ( d 1 , d 2 , . . . , d n ) S α β a n d l = 1 n d l = 1 } , which proves that P ¯ ( A B ) P ¯ ( A ) + P ¯ ( B ) P ¯ ( A B ) .
 ☐

5. Dual Hesitant Fuzzy Conditional Probability

Let A , B X with I A and I B being their index sets, respectively. Define the dual hesitant fuzzy conditional probability of A with B as being the DHFS P ¯ ( A | B ) whose ( α , β ) c u t s are:
P ¯ ( A | B ) ( α , β ) = { i I A I B d i j I B d j | ( d 1 , d 2 , . . . , d n ) S α β a n d l = 1 n d l = 1 } .
Theorem 6.
P ¯ ( A | B ) P ¯ ( A B ) P ¯ ( B ) .
Proof. 
It is sufficient to prove that:
P ¯ ( A | B ) ( α , β ) P ¯ ( A B ) ( α , β ) P ¯ ( B ) ( α , β ) .
Notice that A B = if and only if I A I B = .
To prove Equation (17), it is sufficient to prove that for each α [ 0 , 1 ] ,
{ i I A I B d i j I B d j | ( d 1 , d 2 , . . . , d n ) S α β a n d l = 1 n d l = 1 } { i I A I B d i | ( d 1 , d 2 , . . . , d n ) S α β a n d l = 1 n d l = 1 } { j I B d j | ( d 1 , d 2 , . . . , d n ) S α β a n d l = 1 n d l = 1 } , which is obvious. ☐
Theorem 7.
P ¯ ( A | B ) is a DHFN.
Proof. 
Analogous to the proof of Theorem 4 by replacing the function f in Equation (14) by f ( d 1 , d 2 , . . . , d n ) = i I A I B d i j I B d j . ☐
Theorem 8.
Let X = { x 1 , x 2 , . . . , x n } and let P ¯ : ( X ) be a dual hesitant fuzzy probability function. Then, for each A , B X , the following properties hold:
1.
If A 1 A 2 = then P ¯ ( A 1 A 2 | B ) P ¯ ( A 1 | B ) + P ¯ ( A 2 | B ) ;
2.
0 ¯ P ¯ ( A | B ) 1 ¯ ;
3.
P ¯ ( A | A ) = 1 ¯ , P ¯ ( A | A c ) = 0 ¯ ;
4.
If B A then P ¯ ( A | B ) = 1 ¯ ;
5.
If A B = then P ¯ ( A | B ) = 0 ¯ .
Proof. 
The proof of items 2–5, is trivial.
Notice that if A 1 A 2 = , then I A 1 I A 2 = . To prove item 1, it is sufficient to prove that for each ( α , β ) T , P ¯ ( A 1 A 2 | B ) ( α , β ) P ¯ ( A 1 | B ) ( α , β ) + P ¯ ( A 2 | B ) ( α , β ) .
However, this follows by the fact that P ¯ ( A 1 A 2 | B ) α = { i I A 1 I B d i + j I A 2 I B d j k I B d k | ( d 1 , d 2 , . . . , d n ) S α β a n d l = 1 n d l = 1 } lies in { i I A 1 I B d i k I B d k | ( d 1 , d 2 , . . . , d n ) S α β a n d l = 1 n d l = 1 } + { i I A 2 I B d i k I B d k | ( d 1 , d 2 , . . . , d n ) S α β a n d l = 1 n d l = 1 } , which is obvious.
Notice that the last term in the above equality coincides with P ¯ ( A 1 | B ) ( α , β ) + P ¯ ( A 2 | B ) ( α , β ) . Then, P ¯ ( A 1 A 2 | B ) P ¯ ( A 1 | B ) + P ¯ ( A 2 | B ) . ☐
Lemma 4.
Let A , B , C X . Then, P ¯ ( A B | C ) P ¯ ( A | C ) · P ¯ ( B | A C ) .
Proof. 
We only need to prove that for each ( α , β ) T , P ¯ ( A B | C ) ( α , β ) P ¯ ( A | C ) ( α , β ) · P ¯ ( B | A C ) ( α , β ) .
Furthermore, by Equation (16), P ¯ ( A B | C ) ( α , β ) = { i I A I B I C d i j I c d j | ( d 1 , d 2 , . . . , d n ) S ( α , β ) a n d l = 1 n d l = 1 } { i I A I B I C d i j I A I C d j | ( d 1 , d 2 , . . . , d n ) S ( α , β ) a n d l = 1 n d l = 1 } · { i I A I C d i j I C d j | ( d 1 , d 2 , . . . , d n ) S ( α , β ) a n d l = 1 n d l = 1 } = P ¯ ( A | C ) · P ¯ ( B | A C ) , which proves the Lemma. ☐
Theorem 9.
Let A 1 , A 2 , . . . , A k be subsets of X, i.e., A i A j = when i j and X = i = 1 k A i . Let B , C X , then P ¯ ( B | C ) i = 1 k P ¯ ( A j | C ) · P ¯ ( B | A j C ) .
Proof. 
Since B = i = 1 k B A i , by Theorem 8 item 1, we have that P ¯ ( B | C ) i = 1 k P ¯ ( B A i | C ) . So, by Lemma 4, we have P ¯ ( B A j | C ) = P ¯ ( A j | C ) · P ¯ ( B | A j C ) , and therefore, P ¯ ( B | C ) i = 1 k P ¯ ( A j | C ) · P ¯ ( B | A j C ) . ☐
Lemma 5.
P ¯ ( B C ) P ¯ ( B | C ) · P ¯ ( B ) .
Proof. 
Let A = { x 1 , . . . , x k } and B = { x l , . . . , x m } with 1 l k m n . Then, A B = { x l , . . . , x k } and for any ( α , β ) T , P ¯ ( B C ) α = { i = l k d i | ( d 1 , d 2 , . . . , d n ) S α β } { i = l k d i i = l m d i | ( d 1 j , d 2 , . . . , d n ) S α β } · { i = l m d i | ( d 1 , d 2 , . . . , d n ) S α β } = P ¯ ( B / C ) ( α , β ) · P ¯ ( B ) ( α , β ) . ☐
Theorem 10.
Let A 1 , A 2 , . . . , A k be subsets of X = { x 1 , x 2 , . . . , x n } such that A i A j = when i j and X = i = 1 k A i . Let D by any event, then P ¯ ( D ) P ¯ ( A i ) · P ¯ ( D | A i ) .
Proof. 
Since D = i = 1 k D A i , then by Theorem 8 item 1, we have P ¯ ( D ) i = 1 k P ¯ ( A i | D ) . Therefore, by Lemma 5, P ¯ ( D ) P ¯ ( A i ) · P ¯ ( D | A i ) .
Next, we give the dual hesitant fuzzy Bayes’ theorem. ☐
Theorem 11.
Let A 1 , A 2 , . . . , A k be subsets of X = { x 1 , x 2 , . . . , x n } such that A i A j = when i j and X = i = 1 k A i . Let D by any event, then P ¯ ( A i | D ) P ¯ ( A i D ) j = 1 k P ¯ ( A j ) P ¯ ( D | A j ) .
Proof. 
From Theorems 6 and 7, we have that P ¯ ( A i | D ) P ¯ ( A i D ) P ¯ ( D ) P ¯ ( A i D ) j = 1 k P ¯ ( A j ) P ¯ ( D | A j ) . ☐

6. Application of Color Blindness

Although fuzzy probabilities have been applied to the problem of color blindness by Buckley [11], sometimes they are not suitable for the practical environment. The following example is given to show the application of dual hesitant fuzzy probabilities.
Example 2.
Some people believe that red-green color blindness is more prevalent in males than in females. To test this hypothesis, we gather a random sample from the adult population. Let M be the event that a person is male, F is the event that a person is female, C is the event that a person has red-green color blindness and C is the event that he/she does not have red-green color blindness.
Assume that researchers investigate three cities to reflect red-green color blindness in males and in females. As we cannot avoid information loss and some people do not participate in the survey, we can make it a DHFE. Thus, a dual hesitant fuzzy set of the point estimates of probabilities is given to indicate the results of the investigation:
  • p 1 = { { p ( M C } , { p ( M C ) } } = { < { 0 . 04 , 0 . 06 , 0 . 02 } , { 0 . 4 , 0 . 35 , 0 . 45 } > } ;
  • p 2 = { { p ( F C } , { p ( F C ) } } = { < { 0 . 08 , 0 . 06 , 0 . 07 } , { 0 . 3 , 0 . 4 , 0 . 2 } > } .
Then, we obtain that
  • p 1 = { s ( p ( M C ) , s ( p ( M C ) ) } = { < 0 . 04 , 0 . 4 > } ;
  • p 2 = { s ( p ( F C ) , s ( p ( F C ) } = { < 0 . 07 , 0 . 3 > } .
Assume that the uncertainty in these point estimates has been shown in their fuzzy values as follows:
We wish to calculate the dual hesitant fuzzy conditional probabilities P ( M | C ) and P ( F | C ) . The ( α , β ) c u t s of the first fuzzy probability are:
P ( M | C ) ( α , β ) = { p 1 p 1 + p 2 | S } ,
for ( α , β ) L and S donates " p i ( p i ) ( α , β ) ( i = 1 , 2 , 3 ) and p 1 + p 2 + p 3 = 1 ( p 3 donates the information loss and some people not participating in the survey)". Let H ( p 1 , p 2 ) = p 1 p 1 + p 2 , then H is an increasing function of p 1 but decreasing in p 2 . According to Table 1, we obtain:
P ( M | C ) ( α , β ) = [ l ( H ( p 11 , p 22 ) ) , r ( H ( p 12 , p 21 ) ) ] = [ m a x { 0 . 02 + 0 . 02 α 0 . 16 0 . 05 α , 0 . 3 + 0 . 1 β 0 . 9 0 . 2 β } , m i n { 0 . 06 0 . 02 α 0 . 06 + 0 . 05 α , 0 . 5 0 . 1 β 0 . 5 + 0 . 2 β } ] [ m a x { 1 8 + 11 40 α , 1 3 + 1 6 β } , m i n { 1 3 5 α , 1 1 2 β } ]
for all ( α , β ) L .
The ( α , β ) c u t s of the second dual hesitant fuzzy probability are:
P ( F | C ) ( α , β ) = { p 2 p 1 + p 2 | S } ,
for ( α , β ) L and S donates " p i ( p i ) ( α , β ) ( i = 1 , 2 , 3 ) and p 1 + p 2 + p 3 = 1 ( p 3 donates the information loss and some people not participating in the survey)". Let G ( p 1 , p 2 ) = p 2 p 1 + p 2 , then G is a decreasing function of p 1 but increasing in p 2 . According to Table 1, we obtain:
P ( F | C ) ( α , β ) = [ l ( G ( p 12 , p 21 ) ) , r ( G ( p 11 , p 22 ) ) ] = [ m a x { 0 . 04 + 0 . 03 α 0 . 16 0 . 05 α , 0 . 2 + 0 . 1 β 0 . 9 0 . 2 β } , m i n { 0 . 1 0 . 03 α 0 . 06 + 0 . 05 α , 0 . 4 0 . 1 β 0 . 5 + 0 . 2 β } ] [ m a x { 1 4 + 7 20 α , 2 9 + 5 18 β } , m i n { 1 2 5 α , 4 5 3 10 β } ]
for all ( α , β ) L .
Based on Equation (3.11), we obtain that, for ( α , β ) L , when 6 α 3 β 2 , P ( M | C ) P ( F | C ) ; when 6 α 3 β < 2 , P ( M | C ) P ( F | C ) .

7. Conclusions and Further Study

This work extends the notion of dual hesitant fuzzy probabilities by representing probabilities through the dual hesitant fuzzy numbers, in the sense of Zhu et al., instead of intuitionistic fuzzy numbers. We also give the concept of dual hesitant fuzzy probability, based on which we provide some main results including the properties of dual hesitant fuzzy probability, dual hesitant fuzzy conditional probability, and dual hesitant fuzzy total probability. It is an extension of the approach of [13] to intuitionistic fuzzy probability, since all intuitionistic fuzzy sets (and thus intuitionistic fuzzy numbers and fuzzy probabilities) are a dual hesitant fuzzy set (with h D = u , g D = v ).
This extension may be useful in some situations where some uncertain probabilities are hesitant, but where this uncertainty can be modeled using dual hesitant fuzzy numbers. As a future work, we intend, using this same approach, to generalize the notion of probability spaces as well as other concepts related to probability. We also expect to extend the notions of Markov chain, and the hidden Markov model, etc. Furthermore, DEHFSs are likely to play an important role in decision making with more studies on the theory and applications.

Acknowledgments

This work has been supported by the National Natural Science Foundation of China (11461043, 11661053), the Provincial Natural Science Foundation of Jiangxi, China (20142BAB201005, 20161BAB201009) and the Science and Technology Project of Educational Commission of Jiangxi Province, China (150013).

Author Contributions

Jianjian Chen and Xianjiu Huang contributed to the results; Jianjian Chen wrote the paper.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Zadeh, L.A. Fuzzy sets. Inf. Control 1965, 8, 338–353. [Google Scholar] [CrossRef]
  2. Zhu, B.; Xu, Z.; Xia, M. Dual hesitant fuzzy sets. J. Appl.Math. 2012, 2012. [Google Scholar] [CrossRef]
  3. Xia, M.; Xu, Z. Hesitant fuzzy information aggregation in decision making. Int. J. Approx. Reason. 2011, 52, 395–407. [Google Scholar] [CrossRef]
  4. Ye, J. Correlation coefficient of dual hesitant fuzzy sets and its application to multiple attribute decision making. Appl. Math. Model. 2014, 38, 659–666. [Google Scholar] [CrossRef]
  5. Zhu, B.; Xu, Z. Some results for dual hesitant fuzzy sets. J. Intell. Fuzzy Syst. 2014, 26, 1657–1668. [Google Scholar]
  6. Su, Z.; Xu, Z.; Liu, H.F.; Liu, S.S. Distance and similarity measures for dual hesitant fuzzy sets and their applications in pattern recognition. J. Intell. Fuzzy Syst. 2015, 29, 731–745. [Google Scholar] [CrossRef]
  7. Chen, J.J.; Huang, X.J.; Tang, J. Distance measures for higher order dual hesitant fuzzy sets. Comp. Appl. Math. 2017. [Google Scholar] [CrossRef]
  8. Wang, H.; Zhao, X.; Wei, G. Dual hesitant fuzzy aggregation operators in multiple attribute decision making. J. Intell. Fuzzy Syst. Appl. Eng. Technol. 2014, 26, 2281–2290. [Google Scholar]
  9. Wang, L.; Ni, M.; Zhu, L. Correlation measures of dual hesitant fuzzy sets. J. Appl. Math. 2013, 4, 1–12. [Google Scholar] [CrossRef]
  10. Hirotsu, N.; Wright, M. Using a Markov process model of an association football match to determine the optimal timing of substitution and tactical decisions. J. Oper. Res. Soc. 2002, 53, 88–96. [Google Scholar] [CrossRef]
  11. Buckley, J.J. Fuzzy Probabilities: A New Approach and Applications; Springer: Berlin/Heidelberg, Germany, 2005. [Google Scholar]
  12. Buckley, J.J. Fuzzy Probabilities and Statistics; Springer: Berlin/Heidelberg, Germany, 2006. [Google Scholar]
  13. Costa, R.; Vicari, R.; Tonidandel, F. Intuitionistic Fuzzy Probability; Springer: Berlin/Heidelberg, Germany, 2010. [Google Scholar]
  14. Costa, C.; Bedregal, B.; Neto, A. Atanassov’s intuitionistic fuzzy probability and Markov chains. Knowl.-Based Syst. 2013, 43, 52–62. [Google Scholar] [CrossRef]
  15. Rashid, T.; Beg, I. Convex hesitant fuzzy sets. J. Intell. Fuzzy Syst. 2016, 30, 2791–2796. [Google Scholar] [CrossRef]
  16. Campión, M.J.; Candeal, J.C.; Induráin, E. Representability of binary relations through fuzzy numbers. Fuzzy Sets Syst. 2006, 157, 1–19. [Google Scholar] [CrossRef]
  17. Candeal, J.C.; Gutiérrez García, J.; Induráin, E. Universal codomains to represent interval orders. Int. J. Uncertain. Fuzz. Knowl.-Based Syst. 2009, 17, 197–219. [Google Scholar] [CrossRef]
Figure 1. Dual hesitant triangular fuzzy number.
Figure 1. Dual hesitant triangular fuzzy number.
Symmetry 09 00052 g001
Table 1. Dual hesitant triangular fuzzy number (DHTFN) of results.
Table 1. Dual hesitant triangular fuzzy number (DHTFN) of results.
Uncertainty in Membership Degree hUncertainty in Nonmembership Degree g
p 1 (0.02/0.04/0.06)(0.3/0.4/0.5)
p 2 (0.04/0.07/0.1)(0.2/0.3/0.4)

Share and Cite

MDPI and ACS Style

Chen, J.; Huang, X. Dual Hesitant Fuzzy Probability. Symmetry 2017, 9, 52. https://doi.org/10.3390/sym9040052

AMA Style

Chen J, Huang X. Dual Hesitant Fuzzy Probability. Symmetry. 2017; 9(4):52. https://doi.org/10.3390/sym9040052

Chicago/Turabian Style

Chen, Jianjian, and Xianjiu Huang. 2017. "Dual Hesitant Fuzzy Probability" Symmetry 9, no. 4: 52. https://doi.org/10.3390/sym9040052

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop