 Research
 Open Access
 Published:
Fuzzy soft set theory applied to medical diagnosis using fuzzy arithmetic operations
Journal of Inequalities and Applications volume 2013, Article number: 82 (2013)
Abstract
In this paper, we apply fuzzy soft set theory through wellknown Sanchez’s approach for medical diagnosis using fuzzy arithmetic operations and exhibit the technique with a hypothetical case study.
AMS Subject Classification:03E72, 92C50.
1 Introduction and preliminaries
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. In classical mathematics, a mathematical model of an object is devised and the notion of the exact solution of this model is determined. Because of that, the mathematical model is too complex, the exact solution cannot be found. There are several wellknown theories to describe uncertainty. For instance, fuzzy set theory [1], rough set theory [2] and other mathematical tools. But all of these theories have their inherit difficulties as pointed out by Molodtsov [3]. To overcome these difficulties, Molodtsov introduced the concept of a soft set as a new mathematical tool for dealing with uncertainties that is free from the difficulties affecting the existing methods. The theory of soft sets has rich potential for applications in several directions, a few of which were demonstrated by Molodtsov in his pioneer work [3]. At present, works on soft set theory are making progress rapidly. Maji et al. [4] initiated the concept of fuzzy soft sets with some properties regarding fuzzy soft union, intersection, complement of a fuzzy soft set, De Morgan’s law etc. Neog and Sut [5] have reintroduced the notion of fuzzy soft sets and redefined the complement of a fuzzy soft set accordingly. They have shown that the modified definition of the complement of a fuzzy soft set meets all the requirements that the complement of a set in the classical sense really does. Applications of fuzzy soft set theory in many disciplines and real life situations have been studied by many researchers. De et al. [6] have studied Sanchez’s [7, 8] method of medical diagnosis using an intuitionistic fuzzy set. Saikia et al. [9] have extended the method in [6] using intuitionistic fuzzy soft set theory. In [10], Chetia and Das have studied Sanchez’s approach of medical diagnosis through IVFSS (intervalvalued fuzzy soft set) obtaining an improvement of the same set presented in De et al. [6]. Using the representation of intervalvalued fuzzy matrix, Meenakshi and Kaliraja [11] have provided the techniques to study Sanchez’s approach of medical diagnosis of intervalvalued fuzzy matrices. In this paper, by using the notion of a fuzzy soft set together with arithmetic operations on fuzzy number, we apply the fuzzy soft set technology through wellknown Sanchez’s [8] approach for medical diagnosis, and we exhibit the technique with a hypothetical case study.
In this section, we will give some known and useful definitions and notations regarding a soft set and a fuzzy soft set. The definitions and notions in this part may be found in references [1, 3, 4, 12–14].
Let U be an initial universal set and E be a set of parameters. The power set of U is denoted by $\mathcal{P}(U)$ and A is a subset of E. A pair $(F,A)$ is called a soft set over U, where F is a mapping given by $F:A\to \mathcal{P}(U)$.
Definition 2 [1]
A fuzzy subset μ of U is defined as a map from U to $[0,1]$. The family of all fuzzy subsets of U is denoted by $\mathcal{F}(U)$. Let $\mu ,\nu \in \mathcal{F}(U)$ and $x\in U$. Then the union and intersection of μ and ν are defined in the following way:
$\mu \le \nu $ if and only if $\mu (x)\le \nu (x)$ for all $x\in U$.
Definition 3 [4]
Let U be a common universe, E be a set of parameters and $A\subseteq E$. Then a pair $(F,A)$ is called a fuzzy soft set over U, where F is a mapping given by $F:A\to \mathcal{F}(U)$.
Definition 4 [4]
For two fuzzy soft sets $(F,A)$ and $(G,B)$ over a common universe U, we say that $(F,A)$ is a fuzzy soft subset of $(G,B)$ if

(i)
$A\subseteq B$,

(ii)
$F(a)\le G(a)$ for all $a\in A$.
In this case, we write $(F,A)\phantom{\rule{0.2em}{0ex}}\tilde{\subseteq}\phantom{\rule{0.2em}{0ex}}(G,B)$.
Definition 5 [14]
The relative complement of a fuzzy soft set $(F,A)$ is denoted by ${(F,A)}^{c}$ and is defined by ${(F,A)}^{c}=({F}^{c},A)$, where ${F}^{c}:A\to \mathcal{F}(U)$ is a mapping given by ${F}^{c}(a)=1F(a)$ for all $a\in A$.
It should be noted that $1F(a)$ denotes the fuzzy complement of $F(a)$.
Definition 6 [4]

(i)
A fuzzy soft set $(F,A)$ is said to be the absolute fuzzy soft set over U, denoted by Ω, if $F(a)={1}_{U}$ for all $a\in A$.

(ii)
A fuzzy soft set $(F,A)$ is said to be the null fuzzy soft set over U, denoted by Φ, if $F(a)={0}_{U}$ for all $a\in A$.
Let $(F,A)$ and $(G,B)$ be two fuzzy soft sets over a common universe U. Then

(i)
The union of fuzzy soft sets $(F,A)$ and $(G,B)$ is defined as the fuzzy soft set $(H,C)=(F,A)\phantom{\rule{0.2em}{0ex}}\tilde{\cup}\phantom{\rule{0.2em}{0ex}}(G,B)$ over U, where $C=A\cup B$ and
$$H(c)=\{\begin{array}{cc}F(c)\hfill & \text{if}c\in A\mathrm{\setminus}B,\hfill \\ G(c)\hfill & \text{if}c\in B\mathrm{\setminus}A,\hfill \\ F(c)\vee G(c)\hfill & \text{if}c\in A\cap B\hfill \end{array}$$
for all $c\in C$.

(ii)
The restricted intersection of fuzzy soft sets $(F,A)$ and $(G,B)$ is defined as the fuzzy soft set $(H,C)=(F,A)\phantom{\rule{0.2em}{0ex}}\tilde{\sqcap}\phantom{\rule{0.2em}{0ex}}(G,B)$ over U, where $C=A\cap B\ne \mathrm{\varnothing}$ and $H(c)=F(c)\wedge G(c)$ for all $c\in C$.

(iii)
The restricted union of fuzzy soft sets $(F,A)$ and $(G,B)$ is defined as the fuzzy soft set $(H,C)=(F,A)\phantom{\rule{0.2em}{0ex}}\tilde{\bigsqcup}\phantom{\rule{0.2em}{0ex}}(G,B)$ over U, where $C=A\cap B\ne \mathrm{\varnothing}$ and $H(c)=F(c)\vee G(c)$ for all $c\in C$.

(iv)
The extended intersection of fuzzy soft sets $(F,A)$ and $(G,B)$ is defined as the fuzzy soft set $(H,C)=(F,A)\phantom{\rule{0.2em}{0ex}}\tilde{\cap}\phantom{\rule{0.2em}{0ex}}(G,B)$ over U, where $C=A\cup B$ and
$$H(c)=\{\begin{array}{cc}F(c)\hfill & \text{if}c\in A\mathrm{\setminus}B,\hfill \\ G(c)\hfill & \text{if}c\in B\mathrm{\setminus}A,\hfill \\ F(c)\wedge G(c)\hfill & \text{if}c\in A\cap B\hfill \end{array}$$
for all $c\in C$.

(v)
The ∧intersection of fuzzy soft sets $(F,A)$ and $(G,B)$ is defined as the fuzzy soft set $(H,C)=(F,A)\phantom{\rule{0.2em}{0ex}}\tilde{\wedge}\phantom{\rule{0.2em}{0ex}}(G,B)$ over U, where $C=A\times B$ and $H(a,b)=F(a)\wedge G(b)$ for all $(a,b)\in A\times B$.

(vi)
The ∨union of fuzzy soft sets $(F,A)$ and $(G,B)$ is defined as the fuzzy soft set $(H,C)=(F,A)\phantom{\rule{0.2em}{0ex}}\tilde{\vee}\phantom{\rule{0.2em}{0ex}}(G,B)$ over U, where $C=A\times B$ and $H(a,b)=F(a)\vee G(b)$ for all $(a,b)\in A\times B$.
Example Let $U=\{{h}_{1},{h}_{2},{h}_{3}\}$ be the set of three houses under consideration and $E=\{{e}_{1}\text{(costly)},{e}_{2}\text{(beautiful)},{e}_{3}\text{(green surroundings)}\}$ be the set of parameters.
Consider two fuzzy soft sets $(F,A)$ and $(G,B)$, where $A=\{{e}_{1},{e}_{2}\}$ and $B=\{{e}_{1},{e}_{2},{e}_{3}\}$ given by $(F,A)=\{F({e}_{1})=\{({h}_{1},.7),({h}_{2},.5),({h}_{3},.3)\},F({e}_{2})=\{({h}_{1},.7),({h}_{2},.6),({h}_{3},.5)\}\}$ and $(G,B)=\{G({e}_{1})=\{({h}_{1},.7),({h}_{2},.5),({h}_{3},.3)\},G({e}_{2})=\{({h}_{1},.7),({h}_{2},.6),({h}_{3},.5)\},G({e}_{3})=\{({h}_{1},.2),({h}_{2},.4),({h}_{3},.5)\}\}$. Then

(i)
${(F,A)}^{c}={F}^{c}({e}_{1})=\{({h}_{1},.3),({h}_{2},.5),({h}_{3},.7)\}$, ${F}^{c}({e}_{2})=\{({h}_{1},.3),({h}_{2},.4),({h}_{3},.5)\}$,

(ii)
$(F,A)\phantom{\rule{0.2em}{0ex}}\tilde{\subseteq}\phantom{\rule{0.2em}{0ex}}(G,B)$.
Let $(F,A)$ and $(G,B)$ be two fuzzy soft sets over a common universe U. Then

(1)
$(F,A)\phantom{\rule{0.2em}{0ex}}\tilde{\cup}\phantom{\rule{0.2em}{0ex}}(F,A)=(F,A)$,

(2)
$(F,A)\phantom{\rule{0.2em}{0ex}}\tilde{\cap}\phantom{\rule{0.2em}{0ex}}(F,A)=(F,A)$,

(3)
${((F,A)\phantom{\rule{0.2em}{0ex}}\tilde{\cup}\phantom{\rule{0.2em}{0ex}}(G,B))}^{c}={(F,A)}^{c}\phantom{\rule{0.2em}{0ex}}\tilde{\cap}\phantom{\rule{0.2em}{0ex}}{(G,B)}^{c}$,

(4)
${((F,A)\phantom{\rule{0.2em}{0ex}}\tilde{\cap}\phantom{\rule{0.2em}{0ex}}(G,B))}^{c}={(F,A)}^{c}\phantom{\rule{0.2em}{0ex}}\tilde{\cup}\phantom{\rule{0.2em}{0ex}}{(G,B)}^{c}$,

(5)
${((F,A)\phantom{\rule{0.2em}{0ex}}\tilde{\vee}\phantom{\rule{0.2em}{0ex}}(G,B))}^{c}={(F,A)}^{c}\phantom{\rule{0.2em}{0ex}}\tilde{\wedge}\phantom{\rule{0.2em}{0ex}}{(G,B)}^{c}$,

(6)
${((F,A)\phantom{\rule{0.2em}{0ex}}\tilde{\wedge}\phantom{\rule{0.2em}{0ex}}(G,B))}^{c}={(F,A)}^{c}\phantom{\rule{0.2em}{0ex}}\tilde{\vee}\phantom{\rule{0.2em}{0ex}}{(G,B)}^{c}$.
Definition 8 [12]

(1)
A fuzzy subset μ on the universe of discourse ℝ (the set of all real numbers) is convex if and only if for $a,b\in U$ $\mu (\alpha a+\beta b)\ge \mu (a)\wedge \mu (b)$, where $\alpha +\beta =1$.

(2)
A fuzzy subset μ on the universe of discourse U is called a normal fuzzy subset if there exist ${a}_{i}\in U$ such that $\mu ({a}_{i})=1$.

(3)
A fuzzy number is a fuzzy subset defined on the universe of discourse ℝ which is both convex and normal.
A fuzzy number μ on the universe of discourse ℝ may be characterized by a triangular distribution function parameterized by a triplet $(a,b,c)$. The membership function of the fuzzy number μ is defined as
If the membership function $\mu (u)$ is piecewise linear, then μ is said to be a trapezoidal fuzzy number.
Let μ and β be two triangular fuzzy numbers parameterized by the triplet ${b}_{1}=({a}_{1},{b}_{1},{c}_{1})$ and ${b}_{2}=({a}_{2},{b}_{2},{c}_{2})$ respectively. Then addition and multiplication of μ and β as given in [12] are
and
Next we give the defuzzification method of a trapezoidal fuzzy number. Take a trapezoidal fuzzy number parameterized by a quadruplet $(p,q,r,s)$ as shown in Figure 1.
Then the defuzzification value t of the fuzzy number is calculated from the figure as follows:
Similarly, the defuzzification value e of a triangular fuzzy number $(a,b,c)$ is equal to
2 Methodology and algorithm
In this section we present an algorithm for medical diagnosis using fuzzy arithmetic operations. Assume that there is a set of m patients, $P=\{{p}_{1},{p}_{2},{p}_{3},\dots ,{p}_{m}\}$ with a set of n symptoms $S=\{{s}_{1},{s}_{2},{s}_{3},\dots ,{s}_{n}\}$ related to a set of k diseases $D=\{{d}_{1},{d}_{2},{d}_{3},\dots ,{d}_{k}\}$.
We apply fuzzy soft set theory to develop a technique through Sanchez’s method to diagnose which patient is suffering from what disease. For this, construct a fuzzy soft set $(F,P)$ over S where F is a mapping $F:P\to \mathcal{F}(S)$. This fuzzy soft set gives a relation matrix Q, called patientsymptom matrix, where the entries are fuzzy numbers $\tilde{p}$ parameterized by a triplet $(p1,p,p+1)$.
Then construct another fuzzy soft set $(G,S)$ over D, where G is a mapping $G:S\to \mathcal{F}(D)$. This fuzzy soft set gives a relation matrix (weighted matrix) R, called symptomdisease matrix, where each element denotes the weight of the symptoms for a certain disease. These elements are also taken as triangular fuzzy numbers.
Thus the general form of Q is
and the general form of R is
Now, performing the transformation operation $Q\otimes R$, we get the patientdiagnosis matrix ${D}^{\ast}$ as follows:
where
Then, defuzzifying each element of the above matrix by (1), we get the crisp diagnosis matrix as
Now if $max{v}_{il}={v}_{is}$ for $1\le l\le k$, then we conclude that the patient ${p}_{i}$ is suffering from disease ${d}_{s}$. In case $max{v}_{il}$ occurs for more than one value of l, $1\le l\le m$, then we can reassess the symptoms to break the tie.
Algorithm
Step I: Input the soft set $(F,P)$ to obtain the patientsymptom matrix Q.
Step II: Input the soft set $(G,S)$ to obtain the symptomdisease matrix R.
Step III: Perform the transformation operation $Q\otimes R$ to get the patient diagnosis matrix ${D}^{\ast}$.
Step IV: Defuzzify all the elements of the matrix ${D}^{\ast}$ by (1) to obtain the matrix ${D}^{\ast \ast}$.
Step V: Find s for which ${\nu}_{is}=max{v}_{il}$.
Then we conclude that the patient ${p}_{i}$ is suffering from disease ${d}_{s}$.
3 Case study
Suppose there are three patients John, George and Albert in a hospital with symptoms temperature, headache, cough and stomach problem. Let the possible diseases relating to the above symptoms be viral fever, typhoid and malaria. Now take $P=\{{p}_{1},{p}_{2},{p}_{3}\}$ as the universal set where ${p}_{1}$, ${p}_{2}$ and ${p}_{3}$ represent patients John, George and Albert, respectively. Next consider the set $S=\{{s}_{1},{s}_{2},{s}_{3},{s}_{4}\}$ as a universal set where ${s}_{1}$, ${s}_{2}$, ${s}_{3}$, ${s}_{4}$ represent symptoms temperature, headache, cough and stomach problem, respectively and the set $D=\{{d}_{1},{d}_{2},{d}_{3}\}$, where ${d}_{1}$, ${d}_{2}$ and ${d}_{3}$ represent the diseases viral fever, typhoid and malaria, respectively.
Suppose
Then the fuzzy soft set $(F,P)$ is a parameterized family of all fuzzy sets over S and gives a collection of an approximate description of the patientsymptoms in the hospital. This fuzzy soft set $(F,P)$ represents the relation matrix (patientsymptom matrix) Q and is given by
Next suppose
Then the fuzzy soft set $(G,S)$ is a parameterized family $\{G({s}_{1}),G({s}_{2}),G({s}_{3}),G({s}_{4})\}$ of all fuzzy sets over the set S where $G:S\to \mathcal{F}(D)$ and is determined from expert medical documentation. Thus the fuzzy soft set $(G,S)$ gives an approximate description of the three diseases and their symptoms. This soft set is represented by a relation matrix (symptomdisease matrix) R and is given by
Then, performing the transformation operation $Q\otimes R$, we get the patientdiagnosis matrix ${D}^{\ast}$ as
where
The above values are obtained from (∗).
Now, defuzzifying the above matrix, we get
It is clear from the above matrix that patient ${p}_{1}$ is suffering from disease ${d}_{1}$ and patients ${p}_{2}$ and ${p}_{3}$ both are suffering from disease ${d}_{2}$.
4 Conclusion
We have applied the notion of fuzzy soft sets in Sanchez’s method of medical diagnosis. A case study has been taken to exhibit the simplicity of the technique. Future work in this regard would be required to study whether the notions put forward in this paper yield a fruitful result.
References
 1.
Zadeh LA: Fuzzy sets. Inf. Control 1965, 8: 338–353. 10.1016/S00199958(65)90241X
 2.
Pawlak Z: Rough sets. Int. J. Comput. Inf. Sci. 1982, 11: 341–356. 10.1007/BF01001956
 3.
Molodtsov D: Soft set theory  first result. Comput. Math. Appl. 1999, 37: 19–31.
 4.
Maji PK, Biswas R, Roy AR: Fuzzy soft set. J. Fuzzy Math. 2001, 9(3):677–692.
 5.
Neog TJ, Sut DK: Theory of fuzzy soft sets from a new perspective. Int. J. Latest Trends Comput. 2011, 2(3):439–450.
 6.
De SK, Biswas R, Roy AR: An application of intuitionistic fuzzy sets in medical diagnosis. Fuzzy Sets Syst. 2001, 117: 209–213. 10.1016/S01650114(98)002358
 7.
Sanchez E: Resolution of composite fuzzy relation equations. Inf. Control 1976, 30: 38–48. 10.1016/S00199958(76)904460
 8.
Sanchez E: Inverse of fuzzy relations, application to possibility distributions and medical diagnosis. Fuzzy Sets Syst. 1979, 2(1):75–86. 10.1016/01650114(79)900174
 9.
Saikia BK, Das PK, Borkakati AK: An application of intuitionistic fuzzy soft sets in medical diagnosis. BioSci. Res. Bull. 2003, 19(2):121–127.
 10.
Chetia B, Das PK: An application of interval valued fuzzy soft set in medical diagnosis. Int. J. Contemp. Math. Sci. 2010, 5(38):1887–1894.
 11.
Meenakshi AR, Kaliraja M: An application of interval valued fuzzy matrices in medical diagnosis. Int. J. Math. Anal. 2011, 5(36):1791–1802.
 12.
Kaufmann A, Gupta MM: Introduction to Fuzzy Arithmetic Theory and Applications. Van NostrandReinhold, New York; 1991.
 13.
Ali MI, Feng F, Liu X, Min WK, Shabir M: On some new operations in soft set theory. Comput. Math. Appl. 2009, 57: 1547–1553. 10.1016/j.camwa.2008.11.009
 14.
Ali MI, Shabir M: Comments on De Morgan’s law in fuzzy soft sets. J. Fuzzy Math. 2010, 18(3):679–686.
Acknowledgements
Dedicated to Professor Hari M Srivastava.
Author information
Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
The present study was proposed by YÇ and SY. All authors read and approved the final manuscript.
Authors’ original submitted files for images
Below are the links to the authors’ original submitted files for images.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Çelik, Y., Yamak, S. Fuzzy soft set theory applied to medical diagnosis using fuzzy arithmetic operations. J Inequal Appl 2013, 82 (2013). https://doi.org/10.1186/1029242X201382
Received:
Accepted:
Published:
Keywords
 soft set
 fuzzy soft set
 fuzzy number
 defuzzification