We introduce the concept of generalised interval-valued fuzzy soft set and its operations and study some of their properties. We give applications of this theory in solving a decision making problem. We also introduce a similarity measure of two generalised interval-valued fuzzy soft sets and discuss its application in a medical diagnosis problem: fuzzy set; soft set; fuzzy soft set; generalised fuzzy soft set; generalised interval-valued fuzzy soft set; interval-valued fuzzy set; interval-valued fuzzy soft set.
1. Introduction
Molodtsov [1] initiated the theory of soft set as a new mathematical tool for dealing with uncertainties which traditional mathematical tools cannot handle. He has shown several applications of this theory in solving many practical problems in economics, engineering, social science, medical science, and so forth. Presently, work on the soft set theory is progressing rapidly. Maji et al. [2, 3], Roy and Maji [4] have further studied the theory of soft set and used this theory to solve some decision making problems. Maji et al. [5] have also introduced the concept of fuzzy soft set, a more general concept, which is a combination of fuzzy set and soft set and studied its properties. Zou and Xiao [6] introduced soft set and fuzzy soft set into the incomplete environment, respectively. Alkhazaleh et al. [7] introduced the concept of soft multiset as a generalisation of soft set. They also defined the concepts of fuzzy parameterized interval-valued fuzzy soft set [8] and possibility fuzzy soft set [9] and gave their applications in decision making and medical diagnosis. Alkhazaleh and Salleh [10] introduced the concept of a soft expert set, where the user can know the opinion of all experts in one model without any operations. Even after any operation, the user can know the opinion of all experts. In 2011, Salleh [11] gave a brief survey from soft set to intuitionistic fuzzy soft set. Majumdar and Samanta [12] introduced and studied generalised fuzzy soft set where the degree is attached with the parameterization of fuzzy sets while defining a fuzzy soft set. Yang et al. [13] presented the concept of interval-valued fuzzy soft set by combining the interval-valued fuzzy set [14, 15] and soft set models. In this paper, we generalise the concept of fuzzy soft set as introduced by Maji et al. [5] to generalised interval-valued fuzzy soft set. In our generalisation of fuzzy soft set, a degree is attached with the parameterization of fuzzy sets while defining an interval-valued fuzzy soft set. Also, we give some applications of generalised interval-valued fuzzy soft set in decision making problem and medical diagnosis.
2. Preliminary
In this section, we recall some definitions and properties regarding fuzzy soft set and generalised fuzzy soft set required in this paper.
Definition 2.1 (see [15]). An interval-valued fuzzy set on a universe is a mapping such that
where stands for the set of all closed subintervals of , the set of all interval-valued fuzzy sets on is denoted by .
Suppose that , for all , is called the degree of membership of an element to . and are referred to as the lower and upper degrees of membership of to where .
Definition 2.2 (see [14]). The subset, complement, intersection, and union of the interval-valued fuzzy sets are defined as follows. Let , then(a)the complement of is denoted by where
(b)the intersection of and is denoted by where
(c)the union of and is denoted by where
(d) is a subset of denoted by if and .
Definition 2.3 (see [14]). The compatibility measure of an interval-valued fuzzy set with an interval-valued fuzzy set ( is a reference set) is given by
such that
where
Theorem 2.4 (see [14]). Consider arbitrary, nonempty interval-valued fuzzy sets , , and from the family of and a compatibility measure in the sense of Definition 2.3. Then,(a),
(b),
(c)in general .
Let be a universal set and a set of parameters. Let denote the power set of and . Molodtsov [1] defined soft set as follows.
Definition 2.5. 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 .
Definition 2.6 (see [5]). Let be a universal set, and let be a set of parameters. Let denote the power set of all fuzzy subsets of . Let . A pair is called a fuzzy soft set over where is a mapping given by
Definition 2.7 (see [12]). Let be the universal set of elements and be the universal set of parameters. The pair will be called a soft universe. Let , where is the collection of all fuzzy subsets of , and let be a fuzzy subset of . Let be a function defined as follows:
Then, is called a generalised fuzzy soft set (GFSS in short) over the soft set . Here, for each parameter , indicates not only the degree of belongingness of the elements of in but also the degree of possibility of such belongingness which is represented by . So we can write as follows:
where are the degree of belongingness and is the degree of possibility of such belongingness.
Definition 2.8 (see [13]). Let be an initial universe and a set of parameters. denotes the set of all interval-valued fuzzy sets of . Let . A pair is an interval-valued fuzzy soft set over , where is a mapping given by .
3. Generalised Interval-Valued Fuzzy Soft Set
In this section, we generalise the concept of interval-valued fuzzy soft sets as introduced in [13]. In our generalisation of interval-valued fuzzy soft set, a degree is attached with the parameterization of fuzzy sets while defining an interval-valued fuzzy soft set.
Definition 3.1. Let be the universal set of elements and the universal set of parameters. The pair will be called a soft universe. Let and be a fuzzy set of , that is,, where is the set of all interval-valued fuzzy subsets on . Let be a function defined as follows:
Then, is called a generalised interval-valued fuzzy soft set (GIVFSS in short) over the soft universe . For each parameter , indicates not only the degree of belongingness of the elements of in but also the degree of possibility of such belongingness which is represented by . So we can write as follows:
Example 3.2. Let be a set of universe, a set of parameters, and let . Define a function as follows:
Then, is a GIVFSS over . In matrix notation, we write
Definition 3.3. Let and be two GIVFSSs over . is called a generalised interval-valued fuzzy soft subset of , and we write if(a) is a fuzzy subset of for all ,(b) is an interval-valued fuzzy subset of for all .
Example 3.4. Let be a set of three cars, and let be a set of parameters where = cheap, = expensive, = red. Let be a GIVFSS over defined as follows:
Let be another GIVFSS over defined as follows:
It is clear that is a GIVFS subset of .
Definition 3.5. Two GIVFSSs and over are said to be equal, and we write if is a GIVFS subset of and is a GIVFS subset of . In other words, if the following conditions are satisfied: (a) is equal to for all ,(b) is equal to for all .
Definition 3.6. A GIVFSS is called a generalised null interval-valued fuzzy soft set, denoted by if such that
where and for all .
Definition 3.7. A GIVFSS is called a generalised absolute interval-valued fuzzy soft set, denoted by if such that
where , and for all .
4. Basic Operations on GIVFSS
In this section, we introduce some basic operations on GIVFSS, namely, complement, union and intersection and we give some properties related to these operations.
Definition 4.1. Let be a GIVFSS over . Then, the complement of , denoted by and is defined by , such that and for all , where is a fuzzy complement and is an interval-valued fuzzy complement.
Example 4.2. Consider a GIVFSS over as in Example 3.2:
By using the basic fuzzy complement for and interval-valued fuzzy complement for , we have where
Proposition 4.3. Let be a GIVFSS over . Then, the following holds:
Proof. Since , then
but, from Definition 4.1,ββ, then
Definition 4.4. Union of two GIVFSSs and , denoted by , is a GIVFSS where and is defined by
such that and , where is an -norm and .
Example 4.5. Consider GIVFSS and as in Example 3.4. By using the interval-valued fuzzy union and basic fuzzy union, we have , where
Similarly, we get
In matrix notation, we write
Proposition 4.6. Let , , and be any three GIVFSSs. Then, the following results hold.(a).(b). (c). (d). (e).
Proof. (a) . From Definition 4.4, we have such that and . But (since union of interval-valued fuzzy sets is commutative) and (since -norm is commutative), then . (b) The proof is straightforward from Definition 4.4. (c) The proof is straightforward from Definition 4.4. (d) The proof is straightforward from Definition 4.4. (e) The proof is straightforward from Definition 4.4.
Definition 4.7. Intersection of two GIVFSSs and , denoted by , is a GIVFSS where and is defined by
such that and , where is a -norm and .
Example 4.8. Consider GIVFSS and as in Example 4.5. By using the interval-valued fuzzy intersection and basic fuzzy intersection, we have , where
Similarly, we get
In matrix notation, we write
Proposition 4.9. Let , , and be any three GIVFSSs. Then, the following results hold.(a).(b). (c). (d). (e).
Proof. (a) . From Definition 4.7, we have such that and . But (since intersection of interval-valued fuzzy sets is commutative) and (since -norm is commutative), then . (b) The proof is straightforward from Definition 4.7. (c) The proof is straightforward from Definition 4.7. (d) The proof is straightforward from Definition 4.7. (e) The proof is straightforward from Definition 4.7.
Proposition 4.10. Let and be any two GIVFSSs. Then the DeMorganβs Laws hold:(a).(b).
Proof. (a) Consider
() The proof is similar to the above.
Proposition 4.11. Let , , and be any three GIVFSSs. Then, the following results hold. (a). (b).
Proof. (a) For all ,
(b) Similar to the proof of (a).
5. AND and OR Operations on GIVFSS with Application
In this section, we give the definitions of AND and OR operations on GIVFSS. An application of this operations in decision making problem has been shown.
Definition 5.1. If and are two GIVFSSs, then β() AND β denoted by is defined by
where for all , such that and , for all , where is a -norm.
Example 5.2. Suppose the universe consists of three machines , that is,, and consider the set of parameters which describe their performances according to certain specific task. Suppose a firm wants to buy one such machine depending on any two of the parameters only. Let there be two observations and by two experts and , respectively, defined as follows:
To find the AND between the two GIVFSSs, we have AND , where
Now, to determine the best machine, we first compute the numerical grade for each such that
The result is shown in Tables 1 and 2. Let . Now, we mark the highest numerical grade (indicated in parenthesis) in each row excluding the last row which is the grade of such belongingness of a machine against each pair of parameters (see Table 3). Now, the score of each such machine is calculated by taking the sum of the products of these numerical grades with the corresponding value of . The machine with the highest score is the desired machine. We do not consider the numerical grades of the machine against the pairs , , as both the parameters are the same:Score , Score ,Score .The firm will select the machine with the highest score. Hence, they will buy machine .
Definition 5.3. If and are two GIVFSSs, then β() OR β denoted by is defined by
where for all , such that and , for all , where is an -norm.
Example 5.4. Consider Example 5.2. To find the OR between the two GIVFSSs, we have OR , where
Remark 5.5. We use the same method in Example 5.2 for the OR operation if the firm wants to buy one such machine depending on any one of the parameters only.
Proposition 5.6. Let and be any two GIVFSSs. Then, the following results hold:(a), (b).
Proof. Straightforward from Definitions 4.1, 5.1, and 5.3.
Proposition 5.7. Let , , and be any three GIVFSSs. Then, the following results hold:(a),
(b),
(c),
(d).
Proof. Straightforward from Definitions 5.1 and 5.3.
Remark 5.8. The commutativity property does not hold for AND and OR operations since .
6. Similarity between Two GIVFSS
In this section, we give a measure of similarity between two GIVFSSs. We are taking the set theoretic approach because it is easier to calculate on and is a very popular method too.
Definition 6.1. Similarity between two GIVFSSs and , denoted by , is defined by
where
Definition 6.2. Let and be two GIVFSSs over the same universe . We say that two GIVFSS are significantly similar if .
Theorem 6.3. Let , , and be any three GIVFSSs over . Then, the following hold: (a)in general , (b) and , (c), (d), (e).
Proof. (a) The proof is straightforward and follows from Definition 6.1. (b) From Definition 6.1, we have If , for all , then , and, if , for some , then it is clear that . Also since , suppose that and , then , that means, if and , then . (c) The proof is straightforward and follows from Definition 6.1. (d) The proof is straightforward and follows from Definition 6.1. (e) The proof is straightforward and follows from Definition 6.1.
Example 6.4. Let be GIVFSS over defined as follows:
Let be another GIVFSS over defined as follows:
Here,
Then,
Hence, the similarity between the two GIVFSSs and will be
Therefore, and are significantly similar.
7. Application of Similarity Measure in Medical Diagnosis
In this section, we will try to estimate the possibility that a sick person having certain visible symptoms is suffering from dengue fever. For this, we first construct a GIVFSS model for dengue fever and the GIVFSS of symptoms for the sick person. Next, we find the similarity measure of these two sets. If they are significantly similar, then we conclude that the person is possibly suffering from dengue fever. Let our universal set contain only two elements βyesβ and βno,β that is, . Here, the set of parameters is the set of certain visible symptoms. Let , where = body temperature, = cough with chest congestion, = loose motion, = chills, = headache, = low heart rate (bradycardia), and = pain upon moving the eyes. Our model GIVFSS for dengue fever is given in Table 4, and this can be prepared with the help of a physician.
Now, after talking to the sick person, we can construct his GIVFSS as in Table 5.
Now, we find the similarity measure of these two sets by using the same method as in Example 6.4, where, after the calculation, we get . Hence the two GIVFSSs are not significantly similar. Therefore, we conclude that the person is not suffering from dengue fever.
8. Conclusion
In this paper, we have introduced the concept of generalised interval-valued fuzzy soft set and studied some of its properties. The complement, union, intersection, βAND,β and βORβ operations have been defined on the interval-valued fuzzy soft sets. An application of this theory is given in solving a decision making problem. Similarity measure of two generalised interval-valued fuzzy soft sets is discussed, and its application to medical diagnosis has been shown.
Acknowledgment
The authors would like to acknowledge the financial support received from Universiti Kebangsaan Malaysia under the Research Grants UKM-ST-06-FRGS0104-2009 and UKM-DLP-2011-038.
References
D. Molodtsov, βSoft set theoryβfirst results,β Computers and Mathematics with Applications, vol. 37, no. 4-5, pp. 19β31, 1999.
P. K. Maji, A. R. Roy, and R. Biswas, βAn application of soft sets in a decision making problem,β Computers and Mathematics with Applications, vol. 44, no. 8-9, pp. 1077β1083, 2002.
A. R. Roy and P. K. Maji, βA fuzzy soft set theoretic approach to decision making problems,β Journal of Computational and Applied Mathematics, vol. 203, no. 2, pp. 412β418, 2007.
Y. Zou and Z. Xiao, βData analysis approaches of soft sets under incomplete information,β Knowledge-based Systems, vol. 21, no. 8, pp. 941β945, 2008.
S. Alkhazaleh, A. R. Salleh, and N. Hassan, βFuzzy parameterized interval-valued fuzzy soft set,β Applied Mathematical Sciences, vol. 5, no. 67, pp. 3335β3346, 2011.
A. R. Salleh, βFrom soft sets to intuitionistic fuzzy soft sets: a brief survey,β in Proceedings of the International Seminar on the Current Research Progress in Sciences and Technology (ISSTech '11), Universiti Kebangsaan MalaysiaβUniversitas Indonesia, Bandung, Indonesia, October 2011.
X. Yang, T. Y. Lin, J. Yang, Y. Li, and D. Yu, βCombination of interval-valued fuzzy set and soft set,β Computers and Mathematics with Applications, vol. 58, no. 3, pp. 521β527, 2009.
M. B. GorzaΕczany, βA method of inference in approximate reasoning based on interval-valued fuzzy sets,β Fuzzy Sets and Systems, vol. 21, no. 1, pp. 1β17, 1987.