Journal of Applied Mathematics

Volume 2012 (2012), Article ID 870504, 18 pages

doi:10.1155/2012/870504

Research Article

Generalised Interval-Valued Fuzzy Soft Set

Shawkat Alkhazaleh and Abdul Razak Salleh

School of Mathematical Sciences, Faculty of Science and Technology, Universiti Kebangsaan Malaysia, 43600 UKM Bangi, Selangor, Malaysia

Received 6 August 2011; Revised 21 January 2012; Accepted 22 February 2012

Academic Editor: Ch. Tsitouras

Copyright © 2012 Shawkat Alkhazaleh and Abdul Razak Salleh. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

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 .

Table 1: ().

0.3

0.1

0.2

0.3

0.1

0.2

0.1

0.1

0.1

Table 2: Numerical grade .

−0.8
−0.5
−0.8
0
0
0

−0.3
−0.2
−0.3
−0.8
−0.7
−0.7

−0.8
−0.5

−0.2
−0.4
−0.1

0.3
0.1
0.2
0.3
0.1
0.2
0.1
0.1
0.1

Table 3: Grade table.

Highest grade
—
1.3
1.3
0.3
—
0.3
1
1.1
—

0.3
0.1
0.2
0.3
0.1
0.2
0.1
0.1
0.1

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.

Table 4: Model GIVFSS for dengue fever.

1
0
0
1
1
1
1

0
1
1
0
0
0
0

1
1
1
1
1
1
1

Now, after talking to the sick person, we can construct his GIVFSS as in Table 5.

Table 5: GIVFSS for the sick person.

1

0

1

0.3
0.5
0.4
0.6
0.1
0.5
0.2

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, R. Biswas, and A. R. Roy, “Soft set theory,” Computers and Mathematics with Applications, vol. 45, no. 4-5, pp. 555–562, 2003.

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.

P. K. Maji, R. Biswas, and A. R. Roy, “Fuzzy soft sets,” Journal of Fuzzy Mathematics, vol. 9, no. 3, pp. 589–602, 2001.

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, “Soft multisets theory,” Applied Mathematical Sciences, vol. 5, no. 72, pp. 3561–3573, 2011.

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.

S. Alkhazaleh, A. R. Salleh, and N. Hassan, “Possibility fuzzy soft set,” Advances in Decision Sciences, Article ID 479756, 18 pages, 2011.

S. Alkhazaleh and A. R. Salleh, “Soft expert sets,” Advances in Decision Sciences, vol. 2011, 15 pages, 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.

P. Majumdar and S. K. Samanta, “Generalised fuzzy soft sets,” Computers and Mathematics with Applications, vol. 59, no. 4, pp. 1425–1432, 2010.

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.

L. A. Zadeh, “The concept of a linguistic variable and its application to approximate reasoning-I,” vol. 8, pp. 199–249, 1975.