#### Abstract

We propose the theory of possibility intuitionistic fuzzy soft expert theory and define some related concepts pertaining to this notion as well as the basic operations on this concept, namely, the complement, union, intersection, AND, and OR. The basic properties and relevant laws pertaining to this concept such as De Morgan’s laws are proved. Lastly, a generalized algorithm is introduced and applied to the concept of possibility intuitionistic fuzzy soft expert sets in hypothetical decision making problem.

#### 1. Introduction

Most real-life problems involve data with a high level of uncertainty and imprecision. Traditionally, classical mathematical theories such as fuzzy mathematics, probability theory, and interval mathematics are used to deal with uncertainties and fuzziness. However, all these theories have their inherent difficulties and weaknesses as pointed out by Molodtsov (see [1]) which make it unsuitable to be used to deal with uncertainties and fuzziness. This led to the introduction of the theory of soft sets by Molodtsov in 1999 (see [1]). He also demonstrated several applications of this theory in solving many practical problems in economics, engineering, social sciences, and medical sciences, among others. Maji et al. (see [2]) furthered the study of soft sets by initiating the concept of fuzzy soft sets and proceeded to use these theories in solving various decision making problems. Presently, research on the theoretical and application aspects of soft sets and its various generalizations are progressing rapidly.

Among the significant milestones in the development of the theory of soft sets and its generalizations is the introduction of the possibility value which indicates the degree of possibility of belongingness of the elements in the universal set (in addition to the degree of membership (and nonmembership) of each element) as well as the element of expert sets which enables the users to know the opinion of all the experts in one model without the need for any operations. These new aspects have further improved the theory of soft sets and made it better suited to be used in solving decision making problems, especially when used with the more accurate generalizations of soft sets such as fuzzy soft sets and intuitionistic fuzzy soft sets. Both these aspects were established by Alkhazaleh and Salleh (see [3]) and Alkhazaleh et al. (see [4]) who introduced the concept of soft expert sets and possibility fuzzy soft sets, respectively. The duo of Alkhazaleh and Salleh then proceeded to introduce the notion of fuzzy soft expert sets and possibility intuitionistic fuzzy soft sets (see [5] and [6], resp.) and gave the application of these concepts in decision making and medical diagnosis problems. Hassan and Alhazaymeh introduced the theory of vague soft expert sets and possibility vague soft sets (see [7] and [8], resp.) and used it to solve decision making and medical diagnosis problems. Subsequently, the aspects of the degree of possibility and expert sets were attached to and/or simultaneously added to existing generalizations of soft sets such as the case in the establishment of possibility fuzzy soft expert sets by Bashir and Salleh (see [9]) and possibility vague soft expert set theory by Selvachandran (see [10]).

In [6], the authors introduced the concept of possibility intuitionistic fuzzy soft sets as a generalization and improvement of the concept of possibility fuzzy soft sets. In this paper, we establish the notion of possibility intuitionistic fuzzy soft expert sets as an improvement to [6, 10]. In our study, a degree of possibility of each element in the universal set of elements is attached to the parameterization of intuitionistic fuzzy sets while defining an intuitionistic fuzzy soft set. Furthermore, the opinion of a set of experts is also given to enable the users to know the opinion of all the experts without the need for any operations. This results in a significantly better and improved generalization of intuitionistic fuzzy soft sets which would in turn produce more accurate results when applied to decision making problems.

The rest of this paper is organized as follows. First some relevant background information pertaining to soft sets, intuitionistic fuzzy sets, intuitionistic fuzzy soft sets, soft expert sets, and possibility intuitionistic fuzzy soft sets is presented in Section 2. In Section 3, we present a brief comparison between the concepts of intuitionistic fuzzy sets, interval-valued fuzzy sets, and bipolar-valued fuzzy sets. In Section 4, the definition of possibility intuitionistic fuzzy soft expert sets (PIFSES) and its related concepts are proposed. In Section 5, some basic operations on PIFSES, namely, the complement, union, intersection, AND, and OR, are introduced and its properties are studied and proved. In Section 6, an explicit algorithm is introduced and is applied to the proposed PIFSES to solve a decision making problem. The conclusion of the study is stated in Section 7.

#### 2. Preliminaries

In this section, we recall some definitions and properties pertaining to soft sets, intuitionistic fuzzy sets, intuitionistic fuzzy soft sets, soft expert sets, and possibility intuitionistic fuzzy soft sets.

*Definition 1 (see [1]). *A pair is called a* soft set* over , where is a mapping given by . In other words, a soft set over is a parameterized family of subsets of the universe . For , may be considered as the set of -elements of the soft set or as the -approximate elements of the soft set.

*Definition 2 (see [11]). *An* intuitionistic fuzzy set * defined over a universe of discourse is an object in the following form:where the functions and are the membership function and nonmembership function, respectively, of every element to set and for every . In the event that , there is a degree of uncertainty that exists for element with respect to set . This degree of uncertainty denoted as is defined as . In general, a high degree of uncertainty implies that there are a lot things that are unknown about element with respect to set .

From now on, let and be intuitionistic fuzzy sets defined over a universal set and are as defined below:

*Definition 3 (see [11]). *The* subset *and* equality* of two intuitionistic fuzzy sets and are as defined below:(a) and for all (b) and .

*Definition 4 (see [11]). *The* complement*,* union,* and* intersection* of two intuitionistic fuzzy sets and are as defined below:(a)(b)(c).

*Definition 5 (see [11]). *The* support* of set is a classical set that consists of all elements of with nonzero membership values in ;

*Definition 6 (see [11]). *An intuitionistic fuzzy set is said to be a* null intuitionistic fuzzy set *if ; that is, for all although for any .

*Definition 7 (see [11]). *An intuitionistic fuzzy set is said to be an* absolute intuitionistic fuzzy set *if ; that is, for all although for any .

*Definition 8 (see [12]). *Consider and as a universe set and a set of parameters, respectively. Let denote the set of all intuitionistic fuzzy sets of . Let . A pair is an* intuitionistic fuzzy soft set* over , where is a mapping given by .

*Definition 9 (see [13]). *Let and be two intuitionistic fuzzy soft sets on the same universal set . Then the* union *operation of and , denoted by , is an intuitionistic fuzzy soft set defined as , where and ,where is the basic union.

*Definition 10 (see [13]). *Let and be two intuitionistic fuzzy soft sets on the same universal set . Then the* intersection *operation of and , denoted by , is an intuitionistic fuzzy soft set defined as , where and ,where is the basic intersection.

From now on, let be a universe, let be a set of parameters, let be a set of experts (agents), and let be a set of opinions, and .

*Definition 11 (see [3]). *A pair is called a* soft expert set* over , where is a mapping given bywhere denotes the power set of .

*Definition 12 (see [3]). *The* complement* of a soft expert set is denoted by and is defined by , where is a mapping given by , for all .

*Definition 13 (see [6]). *Let be a universe and let be a set of parameters. The pair will be called a soft universe. Let , where is the collection of all intuitionistic fuzzy subsets of and is the collection of all fuzzy subsets of . Let be a fuzzy subset of , that is, , and let be a function defined as follows:Then is called a* possibility intuitionistic fuzzy soft set* (PIFSS) over the soft universe .

#### 3. Comparison of Intuitionistic Fuzzy Sets, Interval-Valued Fuzzy Sets, and Bipolar-Valued Fuzzy Sets

In this paper, we establish the notion of possibility intuitionistic fuzzy soft expert sets (PIFSES) as a generalization and improvement to [6, 10]. The concept of intuitionistic fuzzy sets (IFS) which are used to derive the concept of PIFSES is a generalization of fuzzy sets, albeit a more superior one. IFS are commonly thought to be similar to the notion of interval-valued fuzzy sets (IVFS) and bipolar-valued fuzzy sets (BVFS). However, in reality these three generalizations of fuzzy sets are significantly different from one another. The concepts of IFS, IVFS, and BVFS are all extensions of the fuzzy set theory. The definitions of IVFS and BVFS are as given below while the definition of IFS has been given in Definition 2.

*Definition 14 (see [14]). *An* interval-valued fuzzy set * defined over a universe of discourse is an object in the following form:where is a closed interval in for each and represents the degree of membership of the elements in set with respect to the criteria that is being studied.

*Definition 15 (see [15]). *A* bipolar-valued fuzzy set * defined over a universe of discourse is an object in the following form:where is the positive membership degree and denotes the degree of satisfaction of an element to the property corresponding to set and is the negative membership degree and denotes the degree of satisfaction of to some implicit counter-property corresponding to set .

IFS are characterized by a membership function and a nonmembership function which describes the degree of belongingness and nonbelongingness of the elements in a set with respect to certain criteria, respectively. They are a representation to express the uncertainty in assigning membership degrees to elements. IVFS are characterized by membership degrees of elements which can be intervals of real numbers in . This is done so as to better express some uncertainties in assigning membership degrees. The larger the interval, the higher the degree of uncertainty in assigning the membership degree for an element (see [14]). BVFS, on the other hand, are an extension of fuzzy sets whose membership degree range is enlarged from the interval to . In BVFS, a membership degree of 0 means that the elements are irrelevant to the corresponding property, the membership degrees on indicate that the elements somewhat satisfy the property and the membership degrees on indicate that the elements somewhat satisfy the implicit counter-property (see [15]). The BVFS has major advantages over many of the other generalizations of fuzzy sets and has the ability to represent the double-sided nature of human perception and cognition. However, in most decision making problems, we are often more concerned with whether an element satisfies or does not satisfy particular criteria or property and, specifically, the extent to which the element satisfies or does not satisfy the corresponding criteria, instead of whether an element satisfies the corresponding property and counter-property of the criteria that is being studied. As such, the concepts of PIFSES which are derived using the concept of IFS are better suited and more relevant to use in decision making problems as opposed to BVFS.

#### 4. Possibility Intuitionistic Fuzzy Soft Expert Sets

In this section, the notion of possibility intuitionistic fuzzy soft expert sets (PIFSES) is established and the properties of this concept are studied and discussed.

From now on, let be universal set of elements, let be a set of parameters, let be a set of experts (agents), and let be a set of opinions, and .

*Definition 16. *Let be a universal set of elements, let be a universal set of parameters, let be a set of experts (agents), and let be a set of opinions. Let and . Then the pair is called a soft universe. Let and be an intuitionistic fuzzy subset of defined as , where denotes the collection of all intuitionistic fuzzy subsets of . Suppose to be a function defined asThen is called a* possibility intuitionistic fuzzy soft expert set* (denoted as PIFSES for simplicity) over the soft universe .

For each , , where represents the degree of belongingness and nonbelongingness of the elements of in and represents the degree of possibility of such belongingness. Hence can be written aswhere , with and representing the membership function and nonmembership function of each of the elements , respectively.

Often the PIFSES can be written simply as . If , it is also possible to have a PIFSES .

*Note*. For the sake of simplicity, in this paper, it is assumed that the set of opinions only consist of two values, namely, agree and disagree. However, it is possible to include other options for the set of opinions, including more specific opinions.

*Example 17. *Let be a set of elements, let be a set of decision parameters, where denotes the parameters , and let be a set of experts. Suppose that is a function defined as follows:Then we can view the possibility intuitionistic fuzzy soft expert set as consisting of the following collection of approximations:Then is a possibility intuitionistic fuzzy soft expert set over the soft universe .

*Definition 18. *Let and be PIFSES over a soft universe . Then is said to be a* possibility intuitionistic fuzzy soft expert subset* (PIFSE subset) of if , and for all , the following conditions are satisfied:(i) is an intuitionistic fuzzy subset of ,(ii) is an intuitionistic fuzzy subset of .This relationship is denoted as . In this case, is called a* possibility intuitionistic fuzzy soft expert superset* (PIFSE superset) of .

*Definition 19. *Let and be PIFSES over a soft universe . Then and are said to be* equal* if, for all , the following conditions are satisfied:(i) is equal to ,(ii) is equal to .In other words, if is a PIFSE subset of and is a PIFSE subset of .

*Definition 20. *A PIFSES is said to be a* null possibility intuitionistic fuzzy soft expert set*, denoted by and defined aswhere , that is, and , and for all .

*Definition 21. *A PIFSES is said to be an* absolute possibility intuitionistic fuzzy soft expert set*, denoted by and defined aswhere , that is, and , and for all .

*Definition 22. *Let be a PIFSES over a soft universe . An* agree-possibility intuitionistic fuzzy soft expert set *(agree-PIFSES) over , denoted as , is a possibility intuitionistic fuzzy soft expert subset of which is defined as

*Definition 23. *Let be a PIFSES over a soft universe . A* disagree-possibility intuitionistic fuzzy soft expert set *(disagree-PIFSES) over , denoted as , is a possibility intuitionistic fuzzy soft expert subset of which is defined as

#### 5. Basic Operations on Possibility Intuitionistic Fuzzy Soft Expert Sets

In this section, we introduce some basic operations on PIFSES, namely, the complement, AND, OR, union, and intersection of PIFSES, and proceed to study some of the properties related to these operations.

*Definition 24. *Let be a PIFSES over a soft universe . Then the* complement* of , denoted by , is defined aswhere is an intuitionistic fuzzy complement and is a fuzzy complement.

*Example 25. *Consider the PIFSES over a soft universe as given in Example 17. By using the basic fuzzy complement for and the intuitionistic fuzzy complement for , we obtain which is defined as

Proposition 26. *Let be a PIFSES over a soft universe . Then the following property holds true:*

*Proof. *Suppose that is a PIFSES over a soft universe defined as . Now let . Then by Definition 24, such that and . Thus it follows thatTherefore . Hence it is proven that .

*Definition 27. *Let and be PIFSES over a soft universe . Then the* union* of and , denoted by , is a PIFSES defined as , where andwhere

Proposition 28. *Let , , and be any three PVSESs over a soft universe . Then the following results hold true: *(i)* (commutative law);*(ii)* (associative law);*(iii)*;*(iv)*.*

*Proof. *(i) Let . Then by Definition 27, for all , we havewhere and . However, since the union of these sets is commutative by Definition 27. Also, . Therefore, . Thus the union of two PIFSES is commutative; that is, .

(ii) The proof is similar to the proof of part (i) and is therefore omitted.

(iii) The proof is straightforward and is therefore omitted.

(iv) The proof is straightforward and is therefore omitted.

*Definition 29. *Let and be PIFSES over a soft universe . Then the* intersection* of and , denoted by , is PIFSES defined as , where andwhere

Proposition 30. *Let , , and be any three PIFSES over a soft universe . Then the following results hold true:*(i)* (commutative law);*(ii)* (associative law);*(iii)*;*(iv)*.*

*Proof. *(i) The proof is similar to that of Proposition 28 (i) and is therefore omitted.

(ii) The proof is similar to the proof of part (i) and is therefore omitted.

(iii) The proof is straightforward and is therefore omitted.

(iv) The proof is straightforward and is therefore omitted.

Proposition 31. *Let , , and be any three PIFSES over a soft universe . Then the following results hold true: *(i)*;*(ii)*.*

*Proof. *The proof is straightforward by Definitions 27 and 29 and is therefore omitted.

Proposition 32. *Let and be any two PIFSES over a soft universe . Then De Morgan’s laws hold true: *(i)*;*(ii)*.*

*Proof. *(i) Let and be PIFSES over a soft universe defined as for all and for all . Now, due to the commutative and associative properties of PIFSES, it follows that(ii) The proof is similar to the proof of part (i) and is therefore omitted.

*Definition 33. *Let and be PIFSES over a soft universe . Then “,” denoted by , is a PIFSES defined bywhere , such that and , for all and represents the basic intersection.

*Definition 34. *Let and be PIFSES over a soft universe . Then “,” denoted by , is a PIFSES defined bywhere , such that and , for all and represents the basic union.

Proposition 35. *Let , , and be any three PVSES over a soft universe . Then the following properties hold true:*(i)*;*(ii)*;*(iii)*;*(iv)*.*

*Proof. *The proofs are straightforward by Definitions 33 and 34 and are therefore omitted.

*Note*. The “AND” and “OR” operations are not commutative since generally .

Proposition 36. *Let and be any two PIFSES over a soft universe . Then the following De Morgan’s laws hold true:*(i)*;*(ii)*.*

*Proof. *(i) Suppose that and are PIFSES over a soft universe defined asThen by Definitions 33 and 34, it follows that(ii) The proof is similar to that of part (i) and is therefore omitted.

#### 6. Application of Possibility Intuitionistic Fuzzy Soft Expert Sets in a Decision Making Problem

In this section, we introduce a generalized algorithm which will be applied to the PIFSES model introduced in Section 4 and used to solve a hypothetical decision making problem.

Suppose that company is looking to hire a person to fill in the vacancy for a position in their company. Out of all the people who applied for the position, three candidates were shortlisted and these three candidates form the universe of elements, . The hiring committee consists of the hiring manager, head of department, and the HR director of the company and this committee is represented by the set (a set of experts) while the set represents the set of opinions of the hiring committee members. The hiring committee considers a set of parameters, , where the parameters represent the characteristics or qualities that the candidates are assessed on, namely, “relevant job experience,” “excellent academic qualifications in the relevant field,” “attitude and level of professionalism,” and “technical knowledge,” respectively. After interviewing all the three candidates and going through their certificates and other supporting documents, the hiring committee constructs the following PIFSES:

Next the PIFSES is used together with a generalized algorithm to solve the decision making problem stated at the beginning of this section. The algorithm given below is employed by the hiring committee to determine the best or most suitable candidate to be hired for the position. This algorithm is a generalization of the algorithm introduced by Alkhazaleh and Salleh (see [3]) which is used in the context of the PIFSES model that is introduced in this paper. The generalized algorithm is as follows.

*Algorithm*(1)Input the PIFSES .(2)Find the values of for each element , where and are the membership function and nonmembership function of each of the elements , respectively.(3)Find the highest numerical grade for the agree-PIFSES and disagree-PIFSES.(4)Compute the score of each element by taking the sum of the products of the numerical grade of each element with the corresponding degree of possibility , for the agree-PIFSES and disagree-PIFSES, denoted by and , respectively.(5)Find the values of the score for each element .(6)Determine the value of the highest score, . Then the decision is to choose element as the optimal or best solution to the problem. If there is more than one element with the highest score, then any one of those elements can be chosen as the optimal solution.* *Then we can conclude that the optimal choice for the hiring committee is to hire candidate to fill the vacant position.Table 1 gives the values of for each element . It is to be noted that the first terms and second terms for each element in Table 1 represent the values of and the degree of possibility of the element , respectively.

Tables 2 and 3 give the highest numerical grade for the elements in the agree-PIFSES and disagree-PIFSES, respectively.

Let and represent the score of each numerical grade for the agree-PIFSES and disagree-PIFSES, respectively. These values are given in Table 4.

Then . Therefore, the hiring committee should hire candidate to fill in the vacant position.

#### 7. Conclusion

In this paper the concept of possibility intuitionistic fuzzy soft expert set was established. The basic operations on possibility intuitionistic fuzzy soft expert sets, namely, the complement, union, intersection, AND, and OR operations, were defined. Subsequently, the basic properties of these operations such as De Morgan’s laws and other relevant laws pertaining to the concept of PIFSES are proved. Finally, a generalized algorithm is introduced and applied to the PIFSES model to solve a hypothetical decision making problem.

#### Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

#### Acknowledgments

The authors would like to gratefully acknowledge the financial assistance received from the Ministry of Education, Malaysia, and UCSI University, Malaysia, under Grant no. FRGS/1/2014/ST06/UCSI/03/1.