Abstract

The soft set theory, originally proposed by Molodtsov, can be used as a general mathematical tool for dealing with uncertainty. In this paper, we present concepts of soft rough intuitionistic fuzzy sets and intuitionistic fuzzy soft rough sets, and investigate some properties of soft rough intuitionistic fuzzy sets and intuitionistic fuzzy soft rough sets in detail. Furthermore, classical representations of intuitionistic fuzzy soft rough approximation operators are presented. Finally, we develop an approach to intuitionistic fuzzy soft rough sets based on decision making and a numerical example is provided to illustrate the developed approach.

1. Introduction

Many complicated problems in economics, engineering, social sciences, medical sciences, and many other fields involve uncertain data. These problems, which one comes face to face with in life, cannot be solved using classical mathematic methods. There are several well-known theories to describe uncertainty, for instance, fuzzy set theory [1], rough set theory [2, 3], and other mathematical tools. But all of these theories have their inherit difficulties as pointed out by Molodtsov [4]. To overcome these difficulties, in 1999 Molodtsov introduced the concept of soft sets, which can be seen as a new mathematical tool for dealing with uncertainties. This so-called soft set theory seems to be free from the difficulties affecting the existing methods. It has been found that fuzzy sets, rough sets, and soft sets are closely related concepts [5]. Soft set theory has potential applications in many different fields including the smoothness of functions, game theory, operational research, Perron integration, probability theory, and measurement theory [4, 6]. Research works on soft sets are very active and progressing rapidly in these years. Maji et al. [7] defined several operations on soft sets and made a theoretical study on the theory of soft sets. Jun [8] introduced the notion of soft BCK/BCI-algebras. Jun and Park [9] discussed the applications of soft sets in ideal theory of BCK/BCI-algebras. Feng et al. [10] applied soft set theory to the study of semirings and initiated the notion of soft semirings. Furthermore, based on [7], Ali et al. [11] introduced some new operations on soft sets and improved the notion of complement of soft set. They proved that certain De Morgan’s laws hold in soft set theory. Qin and Hong [12] introduced the notion of soft equality and established lattice structures and soft quotient algebras of soft sets. Park et al. [13] discussed some properties of equivalence soft set relations.

The study of hybrid models combining soft sets with other mathematical structures is emerging as an active research topic of soft set theory. Maji et al. [14] initiated the study on hybrid structures involving fuzzy sets and soft sets. They introduced the notion of fuzzy soft sets, which can be seen as a fuzzy generalization of soft sets. Furthermore, based on [14], Majumdar and Samanta [15] modified the definition of fuzzy soft sets and presented the notion of generalized fuzzy soft sets theory. Yang et al. [16] presented the concept of the interval-valued fuzzy soft sets by combining interval-valued fuzzy set [17, 18] and soft set models. By combining the multifuzzy set and soft set models, Yang et al. [19] presented the concept of the multifuzzy soft set and provided its application in decision making under an imprecise environment.

The concept of rough sets, proposed by Pawlak [2, 3] as a framework for the construction of approximations of concepts, is a formal tool for modeling and processing insufficient and incomplete information. Rough set theory is based on an assumption that every object in the universe of discourse is associated with some information. Objects characterized by the same information are indiscernible. The indiscernibility relation generated in this way forms the mathematical basis of the rough set theory. In general, the indiscernibility relation is also called equivalence relation. Then any subset of a universe can be characterized by two definable or observable subsets called lower and upper approximations. However, the equivalence relations in Pawlak rough set are too restrictive for many practical applications. In recent years, from both theoretical and practical needs, many authors have generalized the notion of Pawlak rough set by using nonequivalence binary relations. This has led to various other generalized rough set models [2037]. More recently, rough set approximations have also been developed into the intuitionistic fuzzy environment, and the results are called intuitionistic fuzzy rough sets [37, 38], rough intuitionistic fuzzy sets [38], and generalized intuitionistic fuzzy rough sets [39, 40]. By employing a special type of intuitionistic fuzzy triangular norm min, Zhou et al. [40] investigated a general framework for studying various relation-based intuitionistic fuzzy rough approximation operators in the constructive and axiomatic approaches. Zhou and Wu [41], based on intuitionistic fuzzy implicator, studied intuitionistic fuzzy rough approximations on one universe. Moreover, many new rough set models have also been established by combining the Pawlak rough set with other uncertainty theories such as soft set theory. Feng et al. [42] provided a framework to combine fuzzy sets, rough sets, and soft sets all together, which gives rise to several interesting new concepts such as rough soft sets, soft rough sets, and soft rough fuzzy sets. The combination of soft set and rough set models was also discussed by some researchers [4345].

In this paper, we offer the notions of soft rough intuitionistic fuzzy sets and intuitionistic fuzzy soft rough sets, which can be seen as two new generalized soft rough set models. In order to give a new approach to decision making problems, we combine a fuzzy soft relation with intuitionistic fuzzy rough sets and propose the concept of intuitionistic fuzzy soft rough sets which is an extension of soft rough intuitionistic fuzzy sets. Then we can define the upper and lower approximations of any intuitionistic fuzzy set on parameter set . Like the traditional intuitionistic fuzzy rough set models, intuitionistic fuzzy soft rough sets can also be exploited to extend many practical applications in reality. Therefore, we propose a novel approach to decision making based on intuitionistic fuzzy soft rough set theory.

The rest of this paper is organized as follows. In Section 2, we review some basic notions related to soft sets, fuzzy soft sets, and intuitionistic fuzzy sets. In Section 3, we construct the crisp soft rough approximation operators and discuss some of their interesting properties. By combining crisp soft relation with intuitionistic fuzzy sets, then the concept of soft rough intuitionistic fuzzy approximation operators is presented in Section 4, and the properties of the lower and upper soft rough intuitionistic fuzzy approximation operators are examined. In Section 5, we present the definition of intuitionistic fuzzy soft rough approximation operators which is an extension of soft rough intuitionistic fuzzy approximation operators in Section 4 and investigate some of their interesting properties. Furthermore, classical representations of intuitionistic fuzzy soft rough approximation operators are presented. Section 6 is devoted to studying the application of intuitionistic fuzzy soft rough sets. Some conclusions and outlooks for further research are given in Section 7.

2. Preliminaries

The following definitions and preliminaries are required in the sequel of our work and hence presented in brief.

Definition 1 (see [46]). Let and denote and , , . Then the pair is called a complete lattice. The operators and on are defined as follows, for , :

Obviously, a complete lattice on has the smallest element and the greatest element . The definitions of fuzzy logical operators can be straightforwardly extended to the intuitionistic fuzzy case. The strict partial order is defined by

Definition 2 (see [47, 48]). Let a set be fixed. An intuitionistic fuzzy (IF, for short) set in is an object having the form where and satisfy for all and and are, respectively, called the degree of membership and the degree of nonmembership of the element to .

The family of all intuitionistic fuzzy subsets in is denoted by . The complement of an IF set is denoted by .

Obviously, every fuzzy set can be identified with the IF set of the form and is thus an IF set.

The basic operations on are defined as follows [4751], for all :(1) if and only if and for all ,(2) if and only if and ,(3),(4).

For , denotes a constant IF set: , where , and . The IF universe set is and the IF empty set is .

For any , IF sets and are, respectively, defined as follows, for :

Definition 3 (see [38, 41]). Let and . The -level cut set of , denoted by , is defined as follows:
and are, respectively, called the -level cut set and the strong -level cut set of membership generated by . And and are, respectively, referred to as the -level cut set and the strong -level cut set of nonmembership generated by .
At the same time, other types of cut sets of the IF set are denoted as follows:, which is called the -level cut set of ;, which is called the -level cut set of ;, which is called the -level cut set of .

Theorem 4 (see [38, 41]). The cut sets of IF sets satisfy the following properties, , with :(1), (2), .

Definition 5 (see [4]). Let be an initial universe set and let be a universe set of parameters. A pair is called a soft set over if , where is the set of all subsets of .

Definition 6 (see [52]). Let be a soft set over . Then a subset of called a crisp soft relation from to is uniquely defined by where , .

Definition 7 (see [14]). Let be an initial universe set and let be a universe set of parameters. A pair is called a fuzzy soft set over if , where is the set of all fuzzy subsets of .

Definition 8 (see [53]). Let be a fuzzy soft set over . Then a fuzzy subset of called a fuzzy soft relation from to is uniquely defined by where , .

If , then the fuzzy soft relation from to can be presented by a table as in the following form:

Definition 9 (see [30, 32]). Let be a nonempty and finite universe of discourse and an arbitrary crisp relation on . We define a set-valued function by , .
The pair is called a crisp approximation space. For any , the upper and lower approximations of with respect to , denoted by and , are defined, respectively, as follows:
The pair is referred to as a crisp rough set, and are, respectively, referred to as upper and lower crisp approximation operators induced from .

3. Construction of Soft Rough Sets

In this section, by combining the crisp soft relation from to with crisp rough sets, we will introduce the concept of soft rough sets.

Definition 10. Let be an initial universe set and let be a universe set of parameters. For an arbitrary crisp soft relation over , we can define a set-valued function by , .
is referred to as serial if for all , . The pair is called a crisp soft approximation space. For any , the upper and lower soft approximations of with respect to , denoted by and , are defined, respectively, as follows:
The pair is referred to as a crisp soft rough set, and , are referred to as upper and lower crisp soft rough approximation operators, respectively.

Example 11. Let be a universal set, which is denoted by . Let be a set of parameters, where . Suppose that a soft set over is defined as follows: Then the crisp soft relation on is written by
From Definition 10, we can obtain , , , , and .
If the set of parameter , by (10) and (11), we have and .

Theorem 12. Let be a crisp soft approximation space. Then upper and lower crisp soft approximation operators and in Definition 10 satisfy the following properties, for all :(CSL1) ,(CSU1) ,(CSL2) ,(CSU2) ,(CSL3) ,(CSU3) ,(CSL4) ,(CSU4) ,where is the complement of .

Proof. The proof can be directly obtained from Definition 10.

Properties (CSL1) and (CSU1) show that and are dual approximation operators. To illustrate the point, we introduce the following example.

Example 13. Reconsider Example 11; we have . By virtue of (10) and (11), we can obtain . It follows that , which implies that (CSL1) holds; that is, .
Similarly, we can verify that (CSU1) also holds.
Let another parameter set ; then we have and . From (10) and (11), we conclude that , , , and ; that is, .
Hence, (CSL2) and (CSU2) hold.

From Definition 10, the following theorem can be easily derived.

Theorem 14. Let be a crisp soft approximation space, and let and be the upper and lower soft approximations operators in Definition 10. Then,

Example 15. Reconsider Examples 11 and 13. It is noted that is serial. Then we have . From Example 13, obviously and hold.

4. Construction of Soft Rough Intuitionistic Fuzzy Sets

Inspire by the concept of rough intuitionistic fuzzy sets in [38], we will present the concept of soft rough intuitionistic fuzzy sets by combining the crisp soft relation from to with the rough intuitionistic fuzzy sets and investigate the properties of soft rough intuitionistic fuzzy approximation operators.

Definition 16. Let be a crisp soft approximation space. For any , the upper and lower soft approximations of with respect to , denoted by and , are, respectively, defined as follows: where

We can note that and are two IF sets on . Thus the pair is referred to as a soft rough IF set of with respect to , and are referred to as upper and lower soft rough IF approximation operators, respectively.

Remark 17. Let be a crisp soft approximation space. If , then the above soft rough IF approximation operators and degenerate to the following forms: where and .
In this case, we call the pair soft rough fuzzy set. This conclusion is similar to the traditional rough fuzzy set.

Remark 18. Let be a crisp soft approximation space. If is a crisp set of , then the above soft rough IF approximation operators and degenerate to crisp soft rough approximation operators defined by Definition 10. Hence, soft rough IF approximation operators in Definition 16 are an extension of crisp soft rough approximation operators defined by Definition 10.

Example 19. Consider Example 11. Suppose the crisp soft relation on We can define an IF set as follows: Then by (15) and (16), we have
Thus,

Theorem 20. Let be a crisp soft approximation space. Then the upper and lower soft rough IF approximation operators and in Definition 10 satisfy the following properties, , with :(SIFL1) ,(SIFL2) ,(SIFL3) ,(SIFL4) ,(SIFU1) (SIFU2) ,(SIFU3) (SIFU4) ,where is the complement of .

Proof. We only prove properties of the lower soft rough IF approximation operator . The upper soft rough IF approximation operator can be proved similarly. (SIFL1) By Definition 16, then we have (SIFL2) By virtue of (16), then we have (SIFL3) It can be easily verified by Definition 16.(SIFL4) By (SIFL4), it is straightforward.

In Theorem 20, properties (SIFL1) and (SIFU1) show that the upper and lower soft rough IF approximation operators and are dual to each other. The following example can also verify the point.

Example 21. Reconsider Example 19; we have Similar to Example 19, we can obtain It follows that which implies that (SIFL1) holds; that is, = .
Similarly, we can verify that (SIFU1) also holds.
On the other hand, suppose that another IF set then we have From (15) and (16), we conclude that
Hence, (SIFL2) holds. Similarly, we can verify that (SIFU2) also holds.

5. Construction of Intuitionistic Fuzzy Soft Rough Sets

In [38], Zhou and Wu first presented the concept of intuitionistic fuzzy rough sets. In this section, by combining the fuzzy soft relation with the intuitionistic fuzzy rough sets [38], we introduce the constructive definition of intuitionistic fuzzy soft rough sets, further extend soft rough intuitionistic fuzzy sets in Section 4, and investigate some properties of intuitionistic fuzzy soft rough approximation operators.

Definition 22. Let be an initial universe set and let be a universe set of parameters. For an arbitrary fuzzy soft relation over , the pair is called a fuzzy soft approximation space. For any , we define the upper and lower soft approximations of with respect to , denoted by and , respectively, as follows: where The pair is referred to as an IF soft rough set of with respect to .

It can be easily verified that and . In fact, Hence, . Similarly, we can obtain . So we call the upper and lower IF soft rough approximation operators, respectively.

Remark 23. Let . If is a crisp soft approximation space, then IF soft rough approximation operators and in Definition 22 degenerate to the following forms: where
In this case, we can note that IF soft rough approximation operators and are identical with soft rough IF approximation operators in Definition 16. That is, IF soft rough approximation operators in Definition 22 are an extension of soft rough IF approximation operators in Definition 16.

Remark 24. Let be a fuzzy soft approximation space. If , then IF soft rough approximation operators and degenerate to the following forms: where , .
In this case, IF soft rough approximation operators and are identical with the soft fuzzy rough approximation operators defined by Sun and Ma [45]. That is, IF soft rough approximation operators in Definition 22 are an extension of the soft fuzzy rough approximation operators defined by Sun and Ma [45].

Remark 25. Let be a fuzzy soft approximation space. If , then IF soft rough approximation operators and degenerate to the following forms: where .

Example 26. Suppose that is the set of five houses under consideration of a decision maker to purchase. Let be a parameter set, where . Mr. X wants to buy the house which qualifies with the parameters of to the utmost extent from available houses in . Assume that Mr. X describes the “attractiveness of the houses" by constructing a fuzzy soft set which is a fuzzy soft relation from to . And it is presented by a table as in the following form: Now suppose that Mr. X gives the optimum normal decision object which is an IF subset defined as follows: By virtue of (31) and (32), we have Thus,

Theorem 27. Let be a fuzzy soft approximation space. Then the upper and lower IF soft rough approximation operators and in Definition 16 satisfy the following properties, :(IFSL1) ,(IFSL2) ,(IFSL3) ,(IFSL4) ,(IFSU1) ,(IFSU2) ,(IFSU3) ,(IFSU4) ,
where is the complement of .

Proof. It is similar to the proof of Theorem 20.

Example 28. Reconsider Example 26; we have Similar to Example 26, we have It follows that Thus (IFSL1) holds; that is, .
Similarly, we can obtain .
On the other hand, let Then, we have By virtue of (31) and (32), we have It follows that (IFSL2) holds. Similarly, we can verify that (IFSU2) also holds.

In Example 26, we can note that . But if is referred to as a serial fuzzy soft relation from to parameter set , that is, for each , there exists such that , we have . The following theorem will illustrate the result.

Theorem 29. Let be a fuzzy soft approximation space. If is serial, then the upper and lower IF soft rough approximation operators and in Definition 22 satisfy the following properties:(1), ;(2), .

Proof. It is straightforward by Definition 22.

Assume that is a fuzzy soft relation from to parameter set ; denote Then and are two crisp soft relations on .

Theorems 30 and 31 show that the IF soft rough approximation operators can be represented by crisp soft rough approximation operators.

Theorem 30. Let be a fuzzy soft approximation space and . Then the upper IF rough approximation operator can be represented as follows, :(1)(2) and moreover, for any ,(3);(4).

Proof. (1) For any , we have Similarly, we can prove
(2) By the definition of upper crisp soft rough approximation operator in Definition 10, we have Likewise, we can prove that
It is easily verified that . We only need to prove that and .
In fact, ; we have . According to Definition 22, holds. Then , such that ; that is, and . Thus and . Consequently, . By Definition 10, we have . Hence .
On the other hand, for any , we have . Since , we obtain . Hence, .
Similar to the proof of the above , it can easily be verified.

Theorem 31. Let be a fuzzy soft approximation space and . Then the lower IF rough approximation operator can be represented as follows, :(1)(2) and moreover, for any ,(3); (4).

Proof. ( and ) According to Theorems 29 and 4, for all , we have Hence, by the duality of upper and lower IF soft rough approximation operators (see Theorem 27), we can conclude Similar to the above proof, the others can be verified.
((3) and (4)) It is similar to the proof of Theorems 30 (3) and 30 (4).

6. Application of IF Soft Rough Sets in Decision Making

In the above-mentioned sections, to demonstrate the validity of those new models’ properties, several examples are carried out. For example, by data validation all upper and lower approximation operators and in the above examples are dual to each other and possess monotonicity. By those examples, the models are further understood, laying a good foundation for further study and application.

In this section, in order to illustrate the validity of IF soft rough sets in Section 5, we present an approach to the decision making based on IF soft rough sets.

Let be a fuzzy soft approximation space, where is the universe of the discourse, is the parameter set, and is a fuzzy soft relation on . Then we can give an algorithm based on IF soft rough sets with five steps.

First, according to their own needs, the decision makers can construct a fuzzy soft relation from to , or fuzzy soft set over .

Second, for a certain decision evaluation problem, each person has various opinions on the attributes of the same parameter. For example, in Example 26, Mr. X gives the optimum normal decision object defined by That is to say, to the parameter element , Mr. X thinks that an expensive house is on the membership degree of 0.6 and is on the nonmembership degree of 0.3. However, Mrs. X may not think it. Maybe she thinks that an expensive house is on the membership degree of 0.4 and is on the nonmembership degree of 0.5.

So, we can construct an optimum normal decision object on the basis of assumption, according to different needs of the decision maker.

Third, by (31) and (32), we can compute the IF soft rough approximation operators and of the optimum normal decision object . Thus, we obtain two most close values and to the decision alternative of the universe set .

Fourth, Xu and Yager [54, 55] gave two operations on two IFs, shown as follows, for all .(i)Union operation: (ii)Intersection operation: (iii)Ring sum operation: (iv)Ring product operation:

In general, the union operation and intersection operation can result in loss of information, thus affecting the accuracy of decision making that could lead to unreasonable decision. So we adopt the ring sum operation and ring product operation in decision making. As Xu [54, 55] pointed out, however, we are used to adopt the ring sum operation. Of course, adopting ring product operation is not wrong in decision making, which may result in the different decisions.

So, by the ring sum operation, we can compute the choice set Denote .

Finally, we should take the object in universe with the maximum choice value as the optimum decision for the given decision making problem.

In order to do that, we construct a top-level threshold value , where . Obviously, IF value is the maximum choice value in the choice set . If and , the optimum decision is .

In the last step of the above algorithm, one may go back to the second step and change decision object so that the final decision is only one, when there exist too many “optimal choices” to be chosen.

To illustrate the idea of the algorithm given above, let us consider the example as follows.

Example 32. Reconsider Example 26. In Example 26, we have computed IF soft rough approximation operators and of the optimum normal decision object . Now by using the fourth step of the algorithm for IF soft rough sets in decision making presented in this section, we can obtain Obviously, the optimal decision is .
On the other hand, by adopting the ring product operation, we have It is noted that the optimal decision is still . Hence, Mr. X will buy the house .

7. Conclusion

In this paper, we have first presented two new concepts: soft rough intuitionistic fuzzy sets and intuitionistic fuzzy soft rough sets, and we investigated some properties of soft rough intuitionistic fuzzy sets and intuitionistic fuzzy soft rough sets in detail. In addition, a new decision method based on intuitionistic fuzzy soft rough sets is first proposed. Moreover, to illustrate the validity of the model, a practical application based on intuitionistic fuzzy soft rough sets is applied to show its validity. We also believe that the decision making method developed here is expected to attract the researchers working in these areas.

It is noted that the decision method in the last step needs to choose the thresholds in advance by decision makers. Then the results will depend on the threshold values to a certain extent. Since the thresholds are subjective, the different experts can obtain the different decision results for the same decision problem. So, in order to avoid the effect of the subjective information for the decision results, we use the data information provided by the decision making problem only and do not need any additional available information provided by decision makers. Thus the decision results are more objective.

Actually, there are at least two aspects in the study of rough set theory: constructive and axiomatic approaches, so is the same to intuitionistic fuzzy soft rough sets. So further work should consider the axiomatic approaches to intuitionistic fuzzy soft rough sets and the modification of the proposed decision method.

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 thank the anonymous referees for their valuable comments and suggestions. This work is supported by the Natural Science Foundation of China (no. 71261022) and the Fundamental Research Funds for the Central Universities of Northwest University for Nationalities (no. zyz2012076).