Abstract
Picture fuzzy set (PFS) is a direct generalization of the fuzzy sets (FSs) and intuitionistic fuzzy sets (IFSs). The concept of PFS is suitable to model the situations that involve more answers of the type yes, no, abstain, and refuse. In this study, we introduce a novel picture fuzzy (PF) distance measure on the basis of direct operation on the functions of membership, non-membership, neutrality, refusal, and the upper bound of the function of membership of two PFSs. We contrast the proposed PF distance measure with the existing PF distance measures and discuss the advantages in the pattern classification problems. The application of fuzzy and non-standard fuzzy models in the real data is very challenging as real data is always found in crisp form. Here, we also derive some conversion formulae to apply proposed method in the real data set. Moreover, we introduce a new multi-attribute decision-making (MADM) method using the proposed PF distance measure. In addition, we justify necessity of the newly proposed MADM method using appropriate counterintuitive examples. Finally, we contrast the performance of the proposed MADM method with the classical MADM methods in the PF environment.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
Introduction
The comparison of the two distinct objects from various viewpoints is necessary to deal with various real-life problems concerning machine learning, pattern recognition, image processing, decision-making, etc. Depending on the nature of the problem, different researches applied different compatibility/comparison measures. The prominent compatibility/comparison measures are ‘similarity measure’, ‘distance measure’, ‘correlation measure’, etc. The PFS is a non-standard form of fuzziness. As the PFS is a direct extension of FS and IFS, so, it is pertinent to mention the prominent studies regarding the developments and applications of the fuzzy and IFSs.
Zadeh [1] introduced the concept of FSs to study the uncertainty due to lack of complete knowledge. A FS is a group of objects in the universe of discourse with vague, ambiguous, and unsharp boundary. A FS is mainly understood and represented with the help of a membership function assigning a value in the unit interval \(\left[ {0, 1} \right]\) to each element of the universe of discourse. This assigned value is known as membership degree. The membership degree indicates the extent of belongingness of the element to the FS. If an element has \(^{\prime}0^{\prime}\) as its membership degree, then the element does not belong to the set, and if it has \(^{\prime}1^{\prime}\) as membership degree, then the element fully belongs to the set. If the membership degree of an element lies in \(\left( {0, 1} \right)\), then the element partially belongs to the FS. Thus, any FS can be determined uniquely with the help of its membership function. To get more insight regarding the development and applications of fuzzy compatibility/comparison measures, we refer to [2,3,4,5,6,7,8,9] and references therein. Because of various perspectives of understanding the vagueness and linguistic imprecision in a system, researchers came up with different mathematical representations. Some important representations among them are intuitionistic FSs (IFSs) [10], type-2 FSs [11,12,13,14,15,16], Pythagorean FSs [17], q-rung orthopair FSs [18], hesitant FSs [19], etc. These varied expressions are considered as extensions or generalizations of the conventional FS. In the contemporary literature, some prominent researches have termed these extensions/generalizations as non-standard FSs. One such extension is the IFS, introduced by Atanassov [10]. Atanassov [10] included the non-membership degree of an element to a FS with the condition that the sum of membership and non-membership degrees should be less or equal to one. Some prominent studies comprising the development and applications of intuitionistic fuzzy (IF)/Pythagorean fuzzy (PF) compatibility/comparison measures are due to researches [20,21,22,23,24,25,26,27,28,29]. Recently, Niu et al. [30] introduced two mentality-parameters and proposed a new method for solving some MADM problems in the interval-valued IF environment. Ejegwa [31] presented the idea of Pythagorean fuzzy relation and demonstrated its application in decision-making. Some exponential Pythagorean fuzzy similarity measures with their applications in decision-making and pattern recognition were put forward by Nguyen and Garg [32]. With the help of probabilistic hesitant FSs and bipartite network projection, Cao et al. [33] introduced a recommendation decision-making algorithm for sharing accommodation.
Although IFSs are more powerful than FSs in expressing uncertain and vague information, they lack an important concept, i.e., degree of neutrality, which has a key role in many situations such as human voting, medical diagnosis, personal selection, etc. In human voting, a person has four options either to vote in favour or to vote against or to abstain or to refuse from voting. In medical diagnosis, the symptoms like temperature and headache may have a null effect on the diseases chest problem and stomach problem. So, to deal with such situations, a new generalization of FSs and IFSs known as PFS was introduced by Cuong and Kreinvoch [34]. In a PFS, each element is specified by the degree of membership, the degree of non-membership, and degree of neutrality together with the condition that the sum of these grades should be less or equal to one. Thereafter, several studies [35,36,37,38,39,40,41,42,43,44,45,46,47] investigated the concepts of entropy, similarity, distance, dissimilarity, correlation in the framework of PFSs. The PF cross-entropy with its application in MADM was introduced by Wei [48]. Wei [49] also introduced the TODIM method for solving MADM problems with PF data. Some geometric aggregation operators and some PF operational laws were given by Wang et al. [50]. Wei [51] investigated the application of PF Hamacher aggregation operators in MADM problems. Zhang et al. [52] introduced the evaluation based on distance from the average solution (EDAS) method for solving MADM problems with PF data. Later on, Nhung et al. [53] proposed some new dissimilarity measures involving PF-information and applied them in pattern recognition and multi-criteria decision-making (MCDM). Liu et al. [54] introduced some models of MADM in PF-environment. A PF-divergence measure with its application in multi-criteria decision-making (MCDM) and pattern recognition was proposed by Thao et al. [55]. Some Dombi aggregation operators in PF-environment with their application in MADM were introduced by Jana et al. [56]. Wei et al. [57] extended the bidirectional projection method to PF-theory for solving a multi-attribute group decision-making (MAGDM) problem. With the help of t-norm and t-conorm, Ashraf et al. [58] introduced a series of weighted geometric operators of PFSs and also demonstrated their application in MAGDM. Wang et al. [59] introduced PF normalized projection-based VIKOR (PFNP-VIKOR) method for risk evaluation. Lin et al. [60] proposed a PF-novel score function, a novel PF-entropy measure, a novel PF-knowledge measure, and PF MULTIMOORA method. Tian et al. [61] suggested a weighted PF power Choquet ordered geometric operator (WPFPCOG) and a weighted PF power Shapley Choquet ordered geometric (WPFPSCOG) operator with their applications in MCDM. For MAGDM problems in PF environment, Zhang et al. [62] introduced an ELECTRE TRI-based outranking approach. To handle emergency decision-making (EDM) problems, a new EDM approach with the help of PFSs was proposed by Ding et al. [63]. Jin et al. [64] introduced Pearson’s correlation-based MADM method in PF environment. Zeng et al. [65] introduced an exponential Jensen picture fuzzy divergence measure with its application in MCDM. Joshi [66, 67] investigated some compatibility/comparison measures in the framework of PFSs.
The present work concerns with the study of PF distance measure and its interdisciplinary applications.
The main contributions of this paper can be summarized as follows.
-
We introduce a novel PF distance measure that overcomes the drawbacks of the existing PF distance measures.
-
We demonstrate the application of the novel PF distance measure in pattern recognition.
-
We derive some conversion formulae to generate PF data from the crisp data that enables us to apply our method in real data set.
-
We examine the performance of the proposed PF distance measure on the real data set pertaining to the Iris plant.
-
With the help of the novel PF distance measure, we propose a new method known as the picture fuzzy inferior ratio (PFIR) method for solving MADM problems in the PF environment that is based on the same idea as TOPSIS considering the distance from the positive ideal solution (PIS) as well as from the negative ideal solution (NIS).
The remainder of this paper is organized as follows: we discuss the existing work related to the present study in “Related studies”. “Preliminaries” presents some basic concepts related to standard/non-standard fuzzy theory. In “The picture fuzzy distance measure based on direct operations”, a novel PF distance measure, and a weighted novel PF distance measure are proposed and validated. In “Experiments and analysis”, we run some experiments on synthetic dataset as well as on real dataset regarding problems of pattern recognition. These numerical experiments facilitate us to contrast the performance of our proposed PF distance measure with various existing PF compatibility measures. In “A new MADM method in a PF system”, we discuss the weakness of the traditional TOPSIS method of MADM and present a novel method of MADM. Finally, the section “Conclusion” includes the main findings of this paper and the scope for the future research.
Related work
To compare the features or attributes of two entities in picture fuzzy environment a comparison measure is essential. The functional forms that express the compatibility degree of sets or items are used in automatic classification, physical anthropology, citation analysis, psychology, ecology, pattern recognition, numerical taxonomy, and information retrieval etc. Distance measure, similarity measure and correlation measure are some predominately used indices to compare two feature spaces. These measures largely have similar pragmatic significance. Therefore, to contrast the performance of our newly proposed picture fuzzy distance measure it is essential to mention the existing distance measures, similarity measures and correlation measure concerning the PFSs. We mention the applicability of these measures just after the concerned formulae.
Moreover, we discuss the main drawbacks and limitations of these PF distance measures in Section “Experiments and analysis”. First, we mention the prominent existing PF distance measures.
Since, in a PFS G, each element is specified by the degree of membership, the degree of non-membership, and degree of neutrality. Let \(m_{G} \left( {t_{k} } \right), n_{G} \left( {t_{k} } \right)\) and \(h_{G} \left( {t_{k} } \right)\) represents the membership degree, the non-membership degree, and the neutrality degree, respectively, of the element \(t_{k} \in U\) (Universal set) in the set \(G\) such that \(0 \le m_{G} \left( {t_{k} } \right) + n_{G} \left( {t_{k} } \right) + h_{G} \left( {t_{k} } \right) \le 1\). In the remaining paper, we shall follow this notation.
PF distance measures \(D_{{{\text{DT}}1}}\),\(D_{{{\text{DT}}2}}\), \(D_{{{\text{DT}}3}}\), \(D_{{{\text{DT}}4}}\) due to Dinh, and Thao [44] are as follows.
Dinh and Thao [44] have successfully applied the distance measures (1)–(4) in the pattern recognition problem.
PF distance measures \(D_{{{\text{D}}1}}\), \(D_{{{\text{D}}2}}\), \(D_{{{\text{D}}3}}\), \(D_{{{\text{D}}4}}\), \(D_{{{\text{D}}5}}\) due to Dutta [37] are as follows.
The distance measures (5)–(9) have been applied in the medical diagnosis problem.
Singh et al. [39] defined the following PF distance measures.
Singh et al. [39] utilized the distance measures (10)–(13) for the determination the flood disaster risk in the South region of India.
Son [38] defined four PF distance measures \(D_{{{\text{S}}1}}\), \(D_{{{\text{S}}2}}\), \(D_{{{\text{S}}3}}\), \(D_{{{\text{S}}4}}\) as follows.
where \(\Delta m_{k} = \left| {m_{G} \left( {t_{k} } \right) - m_{H} \left( {t_{k} } \right)} \right|, k = 1, 2, \ldots , l\), \({\Delta }n_{k} = \left| {n_{G} \left( {t_{k} } \right) - n_{H} \left( {t_{k} } \right)} \right|, k = 1, 2, \ldots , l\), \({\Delta }h_{k} = \left| {h_{G} \left( {t_{k} } \right) - h_{H} \left( {t_{k} } \right)} \right|, k = 1, 2, \ldots , l\), \({\Phi }_{k}^{G} = \left| {m_{G} \left( {t_{k} } \right) + n_{G} \left( {t_{k} } \right) + h_{G} \left( {t_{k} } \right)} \right|, k = 1, 2, \ldots , l\), \({\Phi }_{k}^{H} = \left| {m_{H} \left( {t_{k} } \right) + n_{H} \left( {t_{k} } \right) + h_{H} \left( {t_{k} } \right)} \right|, k = 1, 2, \ldots , l\).
Son [38] has investigated the application of the PF-distance measures (14)–(17) in the clustering analysis.
Bi-parametric PF distance measure \(D_{{{\text{KKDK}}}}\) due to Khan et al. [46] is
where \(t = 3, 4, \ldots\) and \(p = 1, 2, 3, \ldots\) represent the level of uncertainty and \(l_{p}\) norm, respectively.
Khan et al. [46] demonstrated the application of the PF distance measure (18) in the pattern recognition and medical diagnosis.
Second, we mention the existing PF correlation measures.
PF correlation measures due to Singh [47] are as follows:
Singh [47] illustrated the application of PF-correlation coefficients (19)–(20) in bidirectional approximate reasoning and clustering analysis. However, the PF correlation coefficients due to Singh [47] indicate only the degree of correlation and not the nature of correlation.
PF correlation measures due to Ganie et al. [36] are as follows:
where \(\overline{{m_{G} }} = \frac{1}{l}\sum\nolimits_{k = 1}^{l} {m_{G} } \left( {t_{k} } \right), \overline{{n_{G} }} = \frac{1}{l}\sum\nolimits_{k = 1}^{l} {n_{G} } \left( {t_{k} } \right),\) \(\overline{{h_{G} }} = \frac{1}{l}\sum\nolimits_{k = 1}^{l} {h_{G} } \left( {t_{k} } \right), \overline{{m_{H} }} = \frac{1}{l}\sum\nolimits_{k = 1}^{l} {m_{H} } \left( {t_{k} } \right),\) \(\overline{{n_{H} }} = \frac{1}{l}\sum\nolimits_{k = 1}^{l} {n_{H} } \left( {t_{k} } \right), \overline{{h_{H} }} = \frac{1}{l}\sum\nolimits_{k = 1}^{l} {h_{H} } \left( {t_{k} } \right),\) \(\sigma_{k} \left( G \right) = \left( {\begin{array}{*{20}c} {\left( {m_{G} \left( {t_{k} } \right) - \overline{{m_{G} }} } \right) - \left( {n_{G} \left( {t_{k} } \right) - \overline{{n_{G} }} } \right)} \\ { - \left( {h_{G} \left( {t_{k} } \right) - \overline{{h_{G} }} } \right)} \\ \end{array} } \right)\) and \(\sigma_{k} \left( H \right) = \left( {\begin{array}{*{20}c} {\left( {m_{H} \left( {t_{k} } \right) - \overline{{m_{H} }} } \right) - \left( {n_{H} \left( {t_{k} } \right) - \overline{{n_{H} }} } \right)} \\ { - \left( {h_{H} \left( {t_{k} } \right) - \overline{{h_{H} }} } \right)} \\ \end{array} } \right)\).
where \(\gamma_{1} = \frac{{\mathop \sum \nolimits_{k = 1}^{l} \left( {m_{G} \left( {t_{k} } \right) - \overline{{m_{G} }} } \right)\left( {m_{H} \left( {t_{k} } \right) - \overline{{m_{H} }} } \right)}}{{\sqrt {\mathop \sum \nolimits_{k = 1}^{l} \left( {m_{G} \left( {t_{k} } \right) - \overline{{m_{G} }} } \right)^{2} \times \mathop \sum \nolimits_{k = 1}^{l} \left( {m_{H} \left( {t_{k} } \right) - \overline{{m_{H} }} } \right)^{2} } }}\), \(\gamma_{2} = \frac{{\mathop \sum \nolimits_{k = 1}^{l} \left( {n_{G} \left( {t_{k} } \right) - \overline{{n_{G} }} } \right)\left( {n_{H} \left( {t_{k} } \right) - \overline{{n_{H} }} } \right)}}{{\sqrt {\mathop \sum \nolimits_{k = 1}^{l} \left( {n_{G} \left( {t_{k} } \right) - \overline{{n_{G} }} } \right)^{2} \times \mathop \sum \nolimits_{k = 1}^{l} \left( {n_{H} \left( {t_{k} } \right) - \overline{{n_{H} }} } \right)^{2} } }}\) and \(\gamma_{3} = \frac{{\mathop \sum \nolimits_{k = 1}^{l} \left( {h_{G} \left( {t_{k} } \right) - \overline{{h_{G} }} } \right)\left( {h_{H} \left( {t_{k} } \right) - \overline{{h_{H} }} } \right)}}{{\sqrt {\mathop \sum \nolimits_{k = 1}^{l} \left( {h_{G} \left( {t_{k} } \right) - \overline{{h_{G} }} } \right)^{2} \times \mathop \sum \nolimits_{k = 1}^{l} \left( {h_{H} \left( {t_{k} } \right) - \overline{{h_{H} }} } \right)^{2} } }}\).
The PF correlation coefficients (21)–(22) are capable to compute the extent as well as nature of correlation (positive or negative). Ganie et al. [36] applied these PF correlation coefficients in pattern recognition, medical diagnosis, and clustering analysis. The performance has also been investigated.
Finally, we mention the existing PF similarity measures.
Wei [49] introduced the following PF similarity measures.
The PF similarity measures (25)–(30) are based on trigonometric functions. Wei [49] discussed the application of these measures in decision-making. One obvious drawback of trigonometric similarity measures is that these are computationally more expensive.
Wei [43] proposed the PF similarity measure \(S_{{{\text{W}}9}}\) and successfully applied in the mineral field recognition and building material recognition.
Wei and Gao [43] suggested the PF dice similarity measures \({S}_{\mathrm{WG}1}\), \({S}_{\mathrm{WG}2}\) and illustrated their application in the building material recognition.
Singh et al. [39] derived the PF similarity measures \(S_{{{\text{SMKSS}}1}}\), \(S_{{{\text{SMKSS}}2}}\), \(S_{{{\text{SMKSS}}3}}\).
The PF similarity measure \(S_{{{\text{SMKSS}}3}}\) is computationally more expensive due to min–max operations.
Khan et al. [46] proposed a bi-parametric PF similarity measure
where \(t = 3, 4, \ldots\) and \(p = 1, 2, 3, \ldots\) represent the level of uncertainty and \(l_{p}\) norm, respectively. The applications of this measure have been shown in pattern recognition and medical diagnosis problem.
In the present study, we propose a new PF distance measure and apply it in some real-life problems. Thus, it is essential to reflect upon the necessity and justification of the newly proposed PF distance measure.
The following are the main reasons that motivated us to consider the present study.
-
Many of the existing PF distance measures fail to satisfy the axiomatic requirements of being PF distance measures, and others produce counterintuitive results in calculating the distance between different PFSs.
-
Most of the existing PF distance measures have been proposed at the “formula” level, and does not satisfy the concerned axiomatic requirements.
-
Most of the existing PF distance measures give unreasonable results in the field of pattern recognition.
-
For applying a fuzzy or non-standard fuzzy model, the biggest challenge is the non-availability of real data in fuzzy or non-standard fuzzy form. Thus, the relevant formulae for conversion of crisp data to fuzzy/non-standard fuzzy data are essential.
-
The TOPSIS method for solving a MADM problem investigates for a compromise solution (alternative) that is closest to the positive ideal solution (PIS) and farthest from the negative ideal solution (NIS). But practically, in many situations, the compromise solution due to TOPSIS is not farthest from NIS, and so the coefficients of ranking mainly consider the closeness to PIS to provide the ranking results (See Examples 4 and 5). Such a situation seems to be inappropriate and hence may deliver false ranking results.
To address the above-mentioned issues, this paper proposes a novel PF distance measure and a new MADM method in the PF settings.
Preliminaries
In this section, we include some basic definitions and operations regarding standard/non-standard fuzzy sets. Throughout this paper, \(U = \left\{ {t_{1} , t_{2} , \ldots , t_{l} } \right\}\) denotes the universe of discourse and \({\text{PFS}}\left( U \right)\) denotes the set of all PFSs on \(U\).
Basic definitions
Definition 1
[1]. A FS \(G\) in \(U\) is defined as \(G = \left\{ {t_{k} , m_{G} \left( {t_{k} } \right)| t_{k} \in U, k = 1, 2, \ldots , l} \right\}\), where \(m_{G} \left( {t_{k} } \right)\) represents the membership degree of the element \(t_{k} \in U\) in the set \(G\) such that \(0 \le m_{G} \left( {t_{k} } \right) \le 1\).
Definition 2
[10]. An IFS \(G\) in \(U\) is defined as \(G = \left\{ {t_{k} , m_{G} \left( {t_{k} } \right), n_{G} \left( {t_{k} } \right)| t_{k} \in U, k = 1, 2, \ldots , l} \right\}\), where \(m_{G} \left( {t_{k} } \right)\) and \(n_{G} \left( {t_{k} } \right)\) represents the membership degree and non-membership degree, respectively, of the element \(t_{k} \in U\) in the set \(G\) such that \(0 \le m_{G} \left( {t_{k} } \right) + n_{G} \left( {t_{k} } \right) \le 1\). The pair \(m_{G} \left( {t_{k} } \right), n_{G} \left( {t_{k} } \right)\) is termed as an intuitionistic fuzzy value (IFV).
Definition 3
[34]. A PFS \(G\) in \(U\) is defined as \(G = \left\{ {t_{k} , m_{G} \left( {t_{k} } \right), n_{G} \left( {t_{k} } \right), h_{G} \left( {t_{k} } \right)| t_{k} \in U, k = 1, 2, \ldots , l} \right\}\), where \(m_{G} \left( {t_{k} } \right), n_{G} \left( {t_{k} } \right)\) and \(h_{G} \left( {t_{k} } \right)\) represents the membership degree, the non-membership degree, and the neutrality degree, respectively, of the element \(t_{k} \in U\) in the set \(G\) such that \(0 \le m_{G} \left( {t_{k} } \right) + n_{G} \left( {t_{k} } \right) + h_{G} \left( {t_{k} } \right) \le 1\). Also, \(e_{G} \left( {t_{k} } \right) = 1 - \left( {m_{G} \left( {t_{k} } \right) - n_{G} \left( {t_{k} } \right) - h_{G} \left( {t_{k} } \right)} \right), k = 1, 2, \ldots , l\) is termed as the degree of refusal of the element \(t_{k} \in U\) in the set \(G\). The triad \(m_{G} \left( {t_{k} } \right), n_{G} \left( {t_{k} } \right), h_{G} \left( {t_{k} } \right)\) is a picture fuzzy value (PFV).
Definition 4
[35]. For any two PFSs \(G\) and \(H\) in \(U\), the operations of complement, inclusion, union, and intersection are defined as.
-
(1)
\(\left( G \right)^{c} = \left\{ {\begin{array}{*{20}c} {t_{k} , n_{G} \left( {t_{k} } \right), m_{G} \left( {t_{k} } \right), h_{G} \left( {t_{k} } \right)} \\ {| t_{k} \in U, k = 1, 2, \ldots , l} \\ \end{array} } \right\}\).
-
(2)
\(G \subseteq H,\) if \(m_{G} \left( {t_{k} } \right) \le m_{H} \left( {t_{k} } \right), n_{G} \left( {t_{k} } \right) \ge n_{H} \left( {t_{k} } \right), h_{G} \left( {t_{k} } \right) \le h_{H} \left( {t_{k} } \right), \forall t_{k} \in U\).
-
(3)
$$ G \cup H = \left\{ {\begin{array}{*{20}c} {t_{k} ,\max \left( {m_{G} \left( {t_{k} } \right),m_{H} \left( {t_{k} } \right)} \right),} \\ {\left\langle {\min \left( {n_{G} \left( {t_{k} } \right),n_{H} \left( {t_{k} } \right)} \right),} \right\rangle } \\ {\min \left( {h_{G} \left( {t_{k} } \right),h_{H} \left( {t_{k} } \right)} \right)} \\ \end{array} |t_{k} \in U} \right\} $$
-
(4)
$$ G \cap H = \left\{ {\begin{array}{*{20}c} {t_{k} ,\min \left( {m_{G} \left( {t_{k} } \right),m_{H} \left( {t_{k} } \right)} \right),} \\ {\left\langle {\max \left( {n_{G} \left( {t_{k} } \right),n_{H} \left( {t_{k} } \right)} \right),} \right\rangle } \\ {\min \left( {h_{G} \left( {t_{k} } \right),h_{H} \left( {t_{k} } \right)} \right)} \\ \end{array} |t_{k} \in U} \right\} $$
Definition 5
[39]. A function \(D\left( {G, H} \right)\) with \(G, H \in {\text{PFS}}\left( U \right)\) is called a PF distance measure if it satisfies:
-
(1)
\(0 \le D\left( {G, H} \right) \le 1\).
-
(2)
\(D\left( {G, H} \right) = D\left( {H,G} \right)\).
-
(3)
\(D\left( {G, H} \right) = 0\) if and only if \(G = H\).
-
(4)
If \(G \subseteq H \subseteq I\), then \(D\left( {G, H} \right) \le D\left( {G, I} \right)\) and \(D\left( {H, I} \right) \le D\left( {G, I} \right)\).
Now, it is essential to mention some important definitions regarding neutrosophic theory in the sense that a picture fuzzy set is a special case of neutrosophic set and a refined neutrosophic set.
Definition 6
[68] A neutrosophic set ANS in U is defined as ANS = {< tk, TA(tk), IA(tk), FA(tk) >|\(t_{k} \in U, k = 1, 2, \ldots , l\)}, where TA(tk), IA(tk), FA(tk): U → [0, 1] represent the degree of truth-membership, degree of indeterminacy-membership, and degree of false non-membership, respectively, with 0 ≤ TA(tk) + IA(tk) + FA(tk) ≤ 3.
Definition 7
[68] A refined neutrosophic set ARNS in U is defined as ARNS = {< tk, T1A(tk), T2A(tk), …, TpA(tk); I1A(tk), I2A(tk), …, IrA(tk); F1A(tk), F2A(tk), …, FsA(tk) >| \(t_{k} \in U, k = 1, 2, \ldots , l\)}, where all TjA(tk), 1 ≤ j ≤ p, IkA(tk), 1 ≤ m ≤ r, FlA(tk), 1 ≤ l ≤ s,: U → [0, 1], and TjA(tk) represents the jth sub membership degree, IkA(tk) represents the mth sub-indeterminacy degree, FlA(x) represents the lth sub-non-membership degree, with p, r, s ≥ 1 integers, where p + r + s + n ≥ 4, and: 0 ≤ Σ TjA(x) + Σ IkA(x) + Σ TjA(x) ≤ n. All neutrosophic sub-components TjA(x), IkA(x), FlA(x) are independent with respect to each other.
In view of the definitions given in this section we can say that a PFS is a particular case of neutrosophic set (NS) [68,69,70] and refined neutrosophic set (RNS) [68, 70]. The basic difference between a PFS and NS (RNS) is that the components (i.e., membership degrees) in a PFS are dependent whereas the components in a NS (RNS) are independent of each other. Refined neutrosophic set is a generalization of neutrosophic set.
The definitions of NS and RNS seem to inculcate the further generalizations and extensions of the present work.
In the next section, we introduce a new PF distance measure along with its properties.
The picture fuzzy distance measure based on direct operations
Apart from the representation of IFSs given in Definition 2, many other possible representations of IFSs are available in the literature. One such interpretation of the IFS \(\langle{m_{G} \left( {t_{k} } \right), n_{G} \left( {t_{k} } \right)}\rangle\) due to [71] is in terms of the interval \(\left[ {m_{G} \left( {t_{k} } \right), 1 - n_{G} \left( {t_{k} } \right)} \right]\) which is the same as the interval-valued fuzzy sets representation of IFSs in which \(m_{G} \left( {t_{k} } \right)\) and \(1 - n_{G} \left( {t_{k} } \right)\) are, respectively, the lower and upper bounds of the degree of membership. Clearly, \(\left[ {m_{G} \left( {t_{k} } \right), 1 - n_{G} \left( {t_{k} } \right)} \right]\) is a valid interval as \(m_{G} \left( {t_{k} } \right) \le 1 - n_{G} \left( {t_{k} } \right)\) holds always for \(m_{G} \left( {t_{k} } \right) + n_{G} \left( {t_{k} } \right) \le 1\). Continuing this process, we represent the PFS \(\langle{m_{G} \left( {t_{k} } \right), n_{G} \left( {t_{k} } \right), h_{G} \left( {t_{k} } \right)}\rangle\) in the form of an interval \(\left[ {m_{G} \left( {t_{k} } \right), 1 - n_{G} \left( {t_{k} } \right) - h_{G} \left( {t_{k} } \right)} \right]\), which is a valid interval since \(m_{G} \left( {t_{k} } \right) + n_{G} \left( {t_{k} } \right) + h_{G} \left( {t_{k} } \right) \le 1\). Here \(m_{G} \left( {t_{k} } \right)\) and \(1 - n_{G} \left( {t_{k} } \right) - h_{G} \left( {t_{k} } \right)\) are the lower and upper bounds of the degree of membership, respectively. Consider the interval representation of two PFSs \(G\, {\text{and}}\, H \in {\text{PFS}}\left( U \right)\) as \(\left[ {m_{G} \left( {t_{k} } \right), 1 - n_{G} \left( {t_{k} } \right) - h_{G} \left( {t_{k} } \right)} \right]\), and \(\left[ {m_{H} \left( {t_{k} } \right), 1 - n_{H} \left( {t_{k} } \right) - h_{H} \left( {t_{k} } \right)} \right]\), then together with lower and upper bounds, the information carried by the PFSs \(G\) and \(H\) is also determined by the length of intervals. Therefore, we introduce a simple and easy to understand PF distance measure between the PFSs \(G\) and \(H\)
Here we utilize the concept of consistency in defining this novel PF distance measure. For a PFS \(G = \left\{ {t_{k} , m_{G} \left( {t_{k} } \right), n_{G} \left( {t_{k} } \right), h_{G} \left( {t_{k} } \right)| t_{k} \in U, k = 1, 2, \ldots , l} \right\}\), the membership, non-membership, and neutrality degree can be, respectively, written as \(\left[ {m_{G} \left( {t_{k} } \right), 1 - n_{G} \left( {t_{k} } \right) - h_{G} \left( {t_{k} } \right)} \right]\), \(\left[ {n_{G} \left( {t_{k} } \right), 1 - m_{G} \left( {t_{k} } \right) - h_{G} \left( {t_{k} } \right)} \right]\) and \(\left[ {h_{G} \left( {t_{k} } \right), 1 - m_{G} \left( {t_{k} } \right) - n_{G} \left( {t_{k} } \right)} \right]\). The length of these intervals is \(1 - m_{G} \left( {t_{k} } \right) - n_{G} \left( {t_{k} } \right) - h_{G} \left( {t_{k} } \right)\). So, in Eq. (38) \(\sqrt {m_{G} \left( {t_{k} } \right)m_{H} \left( {t_{k} } \right)}\), \(\sqrt {n_{G} \left( {t_{k} } \right)n_{H} \left( {t_{k} } \right)}\), and \(\sqrt {h_{G} \left( {t_{k} } \right)h_{H} \left( {t_{k} } \right)}\), respectively, represent the degree of consistency between the lower bounds of the degree of membership, degree of non-membership, and degree of neutrality. Consequently, \(\sqrt {\left( {1 - n_{G} \left( {t_{k} } \right) - h_{G} \left( {t_{k} } \right)} \right)\left( {1 - n_{H} \left( {t_{k} } \right) - h_{H} \left( {t_{k} } \right)} \right)}\), \(\sqrt {\left( {1 - m_{G} \left( {t_{k} } \right) - h_{G} \left( {t_{k} } \right)} \right)\left( {1 - m_{H} \left( {t_{k} } \right) - h_{H} \left( {t_{k} } \right)} \right)}\), and \(\sqrt {\left( {1 - m_{G} \left( {t_{k} } \right) - n_{G} \left( {t_{k} } \right)} \right)\left( {1 - m_{H} \left( {t_{k} } \right) - n_{H} \left( {t_{k} } \right)} \right)}\) represent the degree of consistency between the upper bounds of the degree of membership, degree of non-membership, and degree of neutrality, respectively. The degree of consistency between interval lengths is described by \(\sqrt {e_{G} \left( {t_{k} } \right)e_{H} \left( {t_{k} } \right)}\).
Now, we show that \(D_{{{\text{GS}}}} \left( {G, H} \right)\) is a valid PF distance measure.
Theorem 1
\(D_{GS} \left( {G, H} \right)\) is a distance measure between the two PFSs \(G\) and \(H\).
Proof
To show that \(D_{{{\text{GS}}}} \left( {G, H} \right)\) is a PF distance measure, we show that it satisfies the four properties given in Definition 5.
-
(1)
For each, \(q, r \in \left[ {0, + \infty } \right]\), we have \(\sqrt {qr} \le \frac{q + r}{2}\). So, for \(0 \le m_{G} \left( {t_{k} } \right) \le 1\), \(0 \le n_{G} \left( {t_{k} } \right) \le 1\), \(0 \le h_{G} \left( {t_{k} } \right) \le 1\), \(0 \le e_{G} \left( {t_{k} } \right) \le 1\), \(0 \le 1 - m_{G} \left( {t_{k} } \right) - n_{G} \left( {t_{k} } \right) \le 1\), \(0 \le 1 - m_{G} \left( {t_{k} } \right) - h_{G} \left( {t_{k} } \right) \le 1\) and \(0 \le 1 - n_{G} \left( {t_{k} } \right) - h_{G} \left( {t_{k} } \right) \le 1\) we get
$$ \begin{aligned} & 0 \le 3\sqrt {m_{G} \left( {t_{k} } \right)m_{H} \left( {t_{k} } \right)} + 3\sqrt {n_{G} \left( {t_{k} } \right)n_{H} \left( {t_{k} } \right)} + 3\sqrt {h_{G} \left( {t_{k} } \right)h_{H} \left( {t_{k} } \right)} + \sqrt {e_{G} \left( {t_{k} } \right)e_{H} \left( {t_{k} } \right)} \\ & \quad + \sqrt {\left( {1 - m_{G} \left( {t_{k} } \right) - n_{G} \left( {t_{k} } \right)} \right)\left( {1 - m_{H} \left( {t_{k} } \right) - n_{H} \left( {t_{k} } \right)} \right)} + \sqrt {\left( {1 - m_{G} \left( {t_{k} } \right) - h_{G} \left( {t_{k} } \right)} \right)\left( {1 - m_{H} \left( {t_{k} } \right) - h_{H} \left( {t_{k} } \right)} \right)} \\ & \quad + \sqrt {\left( {1 - n_{G} \left( {t_{k} } \right) - h_{G} \left( {t_{k} } \right)} \right)\left( {1 - n_{H} \left( {t_{k} } \right) - h_{H} \left( {t_{k} } \right)} \right)} \\ \end{aligned} $$$$ \begin{aligned} & \le \frac{3}{2}\left( {m_{G} \left( {t_{k} } \right) + m_{H} \left( {t_{k} } \right)} \right) + \frac{3}{2}\left( {n_{G} \left( {t_{k} } \right) + n_{H} \left( {t_{k} } \right)} \right) \\ & \quad + \frac{3}{2}\left( {h_{G} \left( {t_{k} } \right) + h_{H} \left( {t_{k} } \right)} \right) + \frac{{e_{G} \left( {t_{k} } \right) + e_{H} \left( {t_{k} } \right)}}{2} \\ & \quad + \frac{{\left( {1 - m_{G} \left( {t_{k} } \right) - n_{G} \left( {t_{k} } \right)} \right) + \left( {1 - m_{H} \left( {t_{k} } \right) - n_{H} \left( {t_{k} } \right)} \right)}}{2} \\ & \quad + \frac{{\left( {1 - m_{G} \left( {t_{k} } \right) - h_{G} \left( {t_{k} } \right)} \right) + \left( {1 - m_{H} \left( {t_{k} } \right) - h_{H} \left( {t_{k} } \right)} \right)}}{2} \\ & \quad + \frac{{\left( {1 - n_{G} \left( {t_{k} } \right) - h_{G} \left( {t_{k} } \right)} \right) + \left( {1 - n_{H} \left( {t_{k} } \right) - h_{H} \left( {t_{k} } \right)} \right)}}{2} \\ & = 3 + \frac{{m_{G} \left( {t_{k} } \right) + n_{G} \left( {t_{k} } \right) + h_{G} \left( {t_{k} } \right) + e_{G} \left( {t_{k} } \right)}}{2} + \frac{{m_{H} \left( {t_{k} } \right) + n_{H} \left( {t_{k} } \right) + h_{H} \left( {t_{k} } \right) + e_{H} \left( {t_{k} } \right)}}{2} \\ & = 3 + \frac{1}{2} + \frac{1}{2} = 4. \\ \end{aligned} $$$$ {\text{So}},0 \le \frac{1}{4l}\sum\limits_{k = 1}^{l} {\left[ {\begin{array}{*{20}l} {3\sqrt {m_{G} \left( {t_{k} } \right)m_{H} \left( {t_{k} } \right)} + 3\sqrt {n_{G} \left( {t_{k} } \right)n_{H} \left( {t_{k} } \right)} } \hfill \\ { + 3\sqrt {h_{G} \left( {t_{k} } \right)h_{H} \left( {t_{k} } \right)} + \sqrt {e_{G} \left( {t_{k} } \right)e_{H} \left( {t_{k} } \right)} } \hfill \\ { + \sqrt {\begin{array}{*{20}c} {\left( {1 - m_{G} \left( {t_{k} } \right) - n_{G} \left( {t_{k} } \right)} \right)} \\ { \times \left( {1 - m_{H} \left( {t_{k} } \right) - n_{H} \left( {t_{k} } \right)} \right)} \\ \end{array} } } \hfill \\ { + \sqrt {\begin{array}{*{20}c} {\left( {1 - m_{G} \left( {t_{k} } \right) - h_{G} \left( {t_{k} } \right)} \right)} \\ { \times \left( {1 - m_{H} \left( {t_{k} } \right) - h_{H} \left( {t_{k} } \right)} \right)} \\ \end{array} } } \hfill \\ { + \sqrt {\begin{array}{*{20}c} {\left( {1 - n_{G} \left( {t_{k} } \right) - h_{G} \left( {t_{k} } \right)} \right)} \\ { \times \left( {1 - n_{H} \left( {t_{k} } \right) - h_{H} \left( {t_{k} } \right)} \right)} \\ \end{array} } } \hfill \\ \end{array} } \right]} \le 1 $$$$ {\text{or}}\,\,0 \le 1 - \frac{1}{4l}\sum\limits_{k = 1}^{l} {\left[ {\begin{array}{*{20}l} {3\sqrt {m_{G} \left( {t_{k} } \right)m_{H} \left( {t_{k} } \right)} + 3\sqrt {n_{G} \left( {t_{k} } \right)n_{H} \left( {t_{k} } \right)} } \hfill \\ { + 3\sqrt {h_{G} \left( {t_{k} } \right)h_{H} \left( {t_{k} } \right)} + \sqrt {e_{G} \left( {t_{k} } \right)e_{H} \left( {t_{k} } \right)} } \hfill \\ { + \sqrt {\begin{array}{*{20}c} {\left( {1 - m_{G} \left( {t_{k} } \right) - n_{G} \left( {t_{k} } \right)} \right)} \\ { \times \left( {1 - m_{H} \left( {t_{k} } \right) - n_{H} \left( {t_{k} } \right)} \right)} \\ \end{array} } } \hfill \\ { + \sqrt {\begin{array}{*{20}c} {\left( {1 - m_{G} \left( {t_{k} } \right) - h_{G} \left( {t_{k} } \right)} \right)} \\ { \times \left( {1 - m_{H} \left( {t_{k} } \right) - h_{H} \left( {t_{k} } \right)} \right)} \\ \end{array} } } \hfill \\ { + \sqrt {\begin{array}{*{20}c} {\left( {1 - n_{G} \left( {t_{k} } \right) - h_{G} \left( {t_{k} } \right)} \right)} \\ { \times \left( {1 - n_{H} \left( {t_{k} } \right) - h_{H} \left( {t_{k} } \right)} \right)} \\ \end{array} } } \hfill \\ \end{array} } \right]} \le 1. $$Therefore, we have \(0 \le D_{{{\text{GS}}}} \left( {G, H} \right) \le 1\).
-
(2)
\(D_{{{\text{GS}}}} \left( {G, H} \right) = D_{{{\text{GS}}}} \left( {H, G} \right)\) is obvious due to the cumutativeness of the expression of \(D_{{{\text{GS}}}} \left( {G, H} \right)\).
-
(3)
Since \(\sqrt {qr}\) achieves its maximum value \(\frac{q + r}{2}\) when \(q = r\). So, we have
$$ D_{{{\text{GS}}}} \left( {G, H} \right) = 0 $$$$ \Leftrightarrow \left[ {\begin{array}{*{20}l} {3\sqrt {m_{G} \left( {t_{k} } \right)m_{H} \left( {t_{k} } \right)} + 3\sqrt {n_{G} \left( {t_{k} } \right)n_{H} \left( {t_{k} } \right)} } \hfill \\ { + 3\sqrt {h_{G} \left( {t_{k} } \right)h_{H} \left( {t_{k} } \right)} + \sqrt {e_{G} \left( {t_{k} } \right)e_{H} \left( {t_{k} } \right)} } \hfill \\ { + \sqrt {\begin{array}{*{20}c} {\left( {1 - m_{G} \left( {t_{k} } \right) - n_{G} \left( {t_{k} } \right)} \right)} \\ { \times \left( {1 - m_{H} \left( {t_{k} } \right) - n_{H} \left( {t_{k} } \right)} \right)} \\ \end{array} } } \hfill \\ { + \sqrt {\begin{array}{*{20}c} {\left( {1 - m_{G} \left( {t_{k} } \right) - h_{G} \left( {t_{k} } \right)} \right)} \\ { \times \left( {1 - m_{H} \left( {t_{k} } \right) - h_{H} \left( {t_{k} } \right)} \right)} \\ \end{array} } } \hfill \\ { + \sqrt {\begin{array}{*{20}c} {\left( {1 - n_{G} \left( {t_{k} } \right) - h_{G} \left( {t_{k} } \right)} \right)} \\ { \times \left( {1 - n_{H} \left( {t_{k} } \right) - h_{H} \left( {t_{k} } \right)} \right)} \\ \end{array} } } \hfill \\ \end{array} } \right] = 4 $$$$ \begin{aligned} & \Leftrightarrow m_{G} \left( {t_{k} } \right) = m_{H} \left( {t_{k} } \right), n_{G} \left( {t_{k} } \right) = n_{H} \left( {t_{k} } \right), h_{G} \left( {t_{k} } \right) \\ & = h_{H} \left( {t_{k} } \right), e_{G} \left( {t_{k} } \right) = e_{H} \left( {t_{k} } \right),\left( {1 - m_{G} \left( {t_{k} } \right) - n_{G} \left( {t_{k} } \right)} \right) \\ & = \left( {1 - m_{H} \left( {t_{k} } \right) - n_{H} \left( {t_{k} } \right)} \right),\left( {1 - m_{G} \left( {t_{k} } \right) - h_{G} \left( {t_{k} } \right)} \right) \\ & = \left( {1 - m_{H} \left( {t_{k} } \right) - h_{H} \left( {t_{k} } \right)} \right),\left( {1 - n_{G} \left( {t_{k} } \right) - h_{G} \left( {t_{k} } \right)} \right) \\ & = \left( {1 - n_{H} \left( {t_{k} } \right) - h_{H} \left( {t_{k} } \right)} \right) \Leftrightarrow G = H. \\ \end{aligned} $$
So, \(D_{{{\text{GS}}}} \left( {G, H} \right) = 0\) if and only if \(G = H\).
(4) Let \(I \in {\text{PFS}}\left( U \right)\) be another PFS such that \(G \subseteq H \subseteq I\). Then we have, \(m_{G} \left( {t_{k} } \right) \le m_{H} \left( {t_{k} } \right) \le m_{I} \left( {t_{k} } \right)\), \(n_{I} \left( {t_{k} } \right) \le n_{H} \left( {t_{k} } \right) \le n_{G} \left( {t_{k} } \right)\) and \(h_{G} \left( {t_{k} } \right) \le h_{H} \left( {t_{k} } \right) \le h_{I} \left( {t_{k} } \right)\).
For \(a, b, c \in \left[ {0, 1} \right], a + b + c \le 1\), we define a fuction \(f\) as:
where \(q, r, s \in \left[ {0, 1} \right], q + r + s \in \left[ {0, 1} \right]\).
Now, \(\frac{\partial f}{{\partial q}} = \frac{3\sqrt a }{{2\sqrt q }} - \frac{{\sqrt {1 - a - b - c} }}{{2\sqrt {1 - q - r - s} }} - \frac{{\sqrt {1 - a - b} }}{{2\sqrt {1 - q - r} }} - \frac{{\sqrt {1 - a - c} }}{{2\sqrt {1 - q - s} }}\)
Similarly, we have
For \(a \le q \le 1, b \le 1, c \le 1\), we have \(\frac{\partial f}{{\partial q}} \le 0\), so \(f\) is a decreasing function of \(q\) for \(q \ge a\). For \(0 \le q \le a, b \le 1, c \le 1\), we have \(\frac{\partial f}{{\partial q}} \ge 0\), so \(f\) is an increasing function of \(q\) for \(q \le a\). Similarly, for \(b \le r \le 1, a \le 1, c \le 1\), we have \(\frac{\partial f}{{\partial r}} \le 0\) and for \(0 \le r \le b, a \le 1, c \le 1\), we have \(\frac{\partial f}{{\partial r}} \ge 0\). This means that \(f\) is a decreasing function of \(r\) when \(r \ge b\) and an increasing function of \(r\) when \(r \le b\). Also, for \(c \le s \le 1, a \le 1, b \le 1\), we have \(\frac{\partial f}{{\partial s}} \le 0\) and for \(0 \le s \le c, a \le 1, b \le 1\), we have \(\frac{\partial f}{{\partial s}} \ge 0\). This means that \(f\) is a decreasing function of \(s\) when \(s \ge c\) and an increasing function of \(s\) when \(s \le c\).
Now, for \(a = m_{G} \left( {t_{k} } \right), b = n_{G} \left( {t_{k} } \right), c = h_{G} \left( {t_{k} } \right)\) and two triplets \(\left( {m_{H} \left( {t_{k} } \right), n_{H} \left( {t_{k} } \right), h_{H} \left( {t_{k} } \right)} \right)\), \(\left( {m_{I} \left( {t_{k} } \right), n_{I} \left( {t_{k} } \right), h_{I} \left( {t_{k} } \right)} \right)\) satisfying \(a = m_{G} \left( {t_{k} } \right) \le m_{H} \left( {t_{k} } \right) \le m_{I} \left( {t_{k} } \right), n_{I} \left( {t_{k} } \right) \le n_{H} \left( {t_{k} } \right) \le n_{G} \left( {t_{k} } \right) = b\) and \(c = h_{G} \left( {t_{k} } \right) \le h_{H} \left( {t_{k} } \right) \le h_{I} \left( {t_{k} } \right)\), we have
and \(f\left( {m_{I} \left( {t_{k} } \right), n_{I} \left( {t_{k} } \right), h_{I} \left( {t_{k} } \right)} \right) \le f\left( {m_{I} \left( {t_{k} } \right), n_{I} \left( {t_{k} } \right), h_{H} \left( {t_{k} } \right)} \right)\).
\(\le f\left( {m_{I} \left( {t_{k} } \right), n_{H} \left( {t_{k} } \right), h_{H} \left( {t_{k} } \right)} \right)\).
\(\Rightarrow D_{{{\text{GS}}}} \left( {G, H} \right) \le D_{{{\text{GS}}}} \left( {G, I} \right)\).
Now, if we let \(a = m_{I} \left( {t_{k} } \right), b = n_{I} \left( {t_{k} } \right), c = h_{I} \left( {t_{k} } \right)\) and two triplets \(\left( {m_{G} \left( {t_{k} } \right), n_{G} \left( {t_{k} } \right), h_{G} \left( {t_{k} } \right)} \right)\), \(\left( {m_{H} \left( {t_{k} } \right), n_{H} \left( {t_{k} } \right), h_{H} \left( {t_{k} } \right)} \right)\) satisfying \(m_{G} \left( {t_{k} } \right) \le m_{H} \left( {t_{k} } \right) \le m_{I} \left( {t_{k} } \right) = a, b = n_{I} \left( {t_{k} } \right) \le n_{H} \left( {t_{k} } \right) \le n_{G} \left( {t_{k} } \right)\) and \(h_{G} \left( {t_{k} } \right) \le h_{H} \left( {t_{k} } \right) \le h_{I} \left( {t_{k} } \right) = c\), we have
and
Thus, if \(G \subseteq H \subseteq I\), then \(D_{{{\text{GS}}}} \left( {G, H} \right) \le D_{{{\text{GS}}}} \left( {G, I} \right)\) and \(D_{{{\text{GS}}}} \left( {H, I} \right) \le D_{{{\text{GS}}}} \left( {G, I} \right)\).
Hence, \(D_{{{\text{GS}}}} \left( {G, H} \right)\) is a valid PF distance measure.
If we consider the weights \(w_{k}\) of \(t_{k} , k = 1, 2, \ldots ,l\), then the weighted distance measure between the PFSs \(G\) and \(H\) can be defined as
Theorem 2
\(D_{WGS} \left( {G, H} \right)\) is a distance measure between the two PFSs \(G\) and \(H\) .
In the next section, we discuss the reasonability of the proposed PF distance measure and also discuss the drawbacks of the existing PF distance/correlation/similarity measures with the help of some experiments.
Experiments and analysis
Normally, the reasonability and performance of the distance (similarity) measures between PFSs are mostly confirmed by means of some practical experiments. In this section, two types of experiments are executed to investigate the performance of the newly proposed PF distance measure. First, the numerical experiments with some typically chosen PFSs. Second, we execute numerical experiment concerning the pattern recognition problems using synthetic data and real data. These experiments enabled us to test the performance and the rationality of the proposed PF distance measure. For numerical experiments, eighteen traditional PF distance measures are chosen to contrast with the proposed PF distance measure. Further, for pattern recognition problems, thirty-seven PF compatibility (similarity/distance/correlation) measures are selected to contrast with the proposed PF distance measure.
Numerical experiments
Usually, the numerical experiments are first used to check the appropriateness of the PF distance (similarity) measures by many researchers, and an effectual distance measure differentiates the distance between PFSs. Three numerical experiments are performed to test the effectiveness of our proposed PF distance measure along with various traditional PF distance measures. In the first numerical experiment, six different cases of PFSs are used, in the second numerical experiment, four different cases of PFSs are used, and in the third numerical experiment, six different cases of PFSs are utilized. The experimental results are listed in Tables 1, 2, 3 and the counter-intuitive results are shown by bold letters. The detailed analysis pertaining to the three numerical experiments is summarized below.
-
(1)
All the existing PF distance measures given in Eqs. (1)–(18) produce unreasonable results in various situations as indicated by bold values in Tables 1, 2, 3.
-
(2)
The PFSs \(G = \left\{ {\left( {0.3, 0.2, 0.1} \right)} \right\}\), \(H = \left\{ {\left( {0.5, 0.2, 0.1} \right)} \right\}\) and \(I = \left\{ {\left( {0.5, 0.1, 0.1} \right)} \right\}\) (Case 5, and Case 6 in Table 1) satisfy \(G \subseteq H \subseteq I\) and thus by the fourth axiom of PF distance measure given in Definition 5, we have \(D\left( {G,H} \right) \le D\left( {G,I} \right)\) for any PF distance measure \(D\). But we see from Table 1 that the PF distance measures \(D_{{{\text{D}}3}} , D_{{{\text{D}}4}} ,\,{\text{and }}D_{{{\text{SMKSS}}2}}\) given in Eqs. (7), (8) and (11) fail to satisfy this axiom.
-
(3)
The proposed PF distance measure \(D_{{{\text{GS}}}}\) given in Eq. (38) produces reasonable results without any counterintuitive case.
In the next section, we demonstrate the application of the proposed PF distance measure \(D_{{{\text{GS}}}}\) in pattern recognition and compare the results with the existing PF compatibility measures.
Application in pattern recognition
We discuss the application of the proposed PF distance measure \(D_{{{\text{GS}}}}\) given in the Eq. (38) in pattern recognition problems. In pattern recognition, we are given some known patterns and an unknown pattern. The task is to identify the known pattern with which the resemblance of the unknown pattern is maximum. For this many compatibility measures like distance measure, divergence measure, accuracy measure, similarity measure, correlation measure, dissimilarity measure can be utilized. We, here utilize our proposed PF distance measure \(D_{{{\text{GS}}}}\) given in Eq. (38) for this purpose. In general, a pattern recognition problem in PF environment can be formulated as:
Scenario Let \(G_{i} , i = 1, 2, \ldots , n\) be some known patterns and \(H\) be an unknown pattern given in the form of PFSs as
Aim To find the known pattern \(G_{i} , i = 1, 2, \ldots , n\) with which the resemblance of the unknown pattern \(H\) is maximum.
Recognition principle The unknown pattern \(H\) can be assigned to one of the known patterns \(G_{i} , i = 1, 2, \ldots , n\) according to the following methods.
-
Accuracy/correlation/similarity method Let \(A\left( {G_{i} , H} \right)\)/\(C\left( {G_{i} , H} \right)\)/\( S\left( {G_{i} , H} \right), i = 1, 2, \ldots , n\) be the accuracy/correlation/similarity between the known pattern \(G_{i} , i = 1, 2, \ldots , n\) and the unknown pattern \(H\), then \(H\) is assigned to \(G_{{i^{*} }}\), where \(i^{*} = {\text{arg}}\max_{i} A\left( {G_{i} , H} \right)/C\left( {G_{i} , H} \right)/ S\left( {G_{i} , H} \right), i = 1, 2, \ldots , n\).
-
Distance/divergence/dissimilarity method Let \(D\left( {G_{i} , H} \right)\)/\({\text{DI}}\left( {G_{i} , H} \right)\)/\( {\text{DS}}\left( {G_{i} , H} \right), i = 1, 2, \ldots , n\) be the distance/divergence/dissimilarity between the known pattern \(G_{i} , i = 1, 2, \ldots , n\) and the unknown pattern \(H\), then \(H\) is assigned to \(G_{{i^{*} }}\), where \(i^{*} = {\text{arg}}\min_{i} D\left( {G_{i} , H} \right)/DI\left( {G_{i} , H} \right)/ DS\left( {G_{i} , H} \right), i = 1, 2, \ldots , n\).
Now, we solve some pattern recognition problems involving PF information with the help of our proposed PF distance measure given in Eq. (38) and compare the results with some existing PF compatibility measures given in the Eqs. (1)–(37).
Example 1
[36] Consider three known patterns \(G_{1} , G_{2} ,G_{3}\), and an unknown pattern \(H\) in the form of PFSs as
\(G_{3} = \left\{ {\begin{array}{*{20}c} {\left( {t_{1} , 0.1, 0.3, 0.4} \right), \left( {t_{2} , 0.4, 0.3, 0.1} \right),} \\ {\left( {t_{3} , 0.3, 0.4, 0.2} \right), \left( {t_{4} , 0.2, 0.5, 0.3} \right), } \\ {\left( {t_{5} , 0.5, 0.3, 0.1} \right)} \\ \end{array} } \right\}\) and
The calculated values of PF-correlation/PF distance/PF-similarity measures between the known patterns \(G_{i} , i = 1, 2, 3\), and the unknown pattern \(H\) are summarized in Table 4.
From Table 4, it is clear that all the existing PF compatibility measures except \(S_{{{\text{SMKSS}}3}}\) given in the Eqs. (1)–(37) and our proposed PF distance measure given in the Eq. (38) assign the unknown pattern \(H\) to the known pattern \(G_{1}\). This shows that our proposed PFdistance measure is consistent with the existing compatibility measures in PF environment.
Example 2
Consider three known patterns \(G_{1} , G_{2} ,{ }G_{3}\), and an unknown pattern \(H\) in the form of PFSs as
\(G_{3} = \left\{ {\begin{array}{*{20}c} {\left( {t_{1} , 0.5, 0.0, 0.4} \right), \left( {t_{2} , 0.7, 0.0, 0.1} \right),} \\ {\left( {t_{3} , 0.4, 0.0, 0.6} \right), \left( {t_{4} , 0.7, 0.0, 0.2} \right)} \\ \end{array} } \right\}\) and.
The calculated values of PF correlation/PF distance/PF similarity measures between the known patterns \(G_{i} , i = 1, 2, 3\), and the unknown pattern \(H\) are summarized in Table 5.
From Table 5, it is clear that out of thirty-eight PF compatibility measures given in Eqs. (1)–(38), twenty-four fail to classify the unknown pattern \(H\) into one of the known patterns \(G_{i} , i = 1, 2, 3\) and the rest fourteen PF compatibility measures including our proposed distance measure \(D_{{{\text{GS}}}}\) classify the unknown pattern \(H\) into one of the known patterns \(G_{i} , i = 1, 2, 3\). Thus, we conclude that our proposed PF distance measure \(D_{{{\text{GS}}}}\) is more effective and reasonable than most of the existing PF compatibility measures.
Further, we apply our proposed PF similarity measures on the real data related to the Iris plant that has been obtained from the UCI Machine Learning Repository (https://archive.ics.uci.edu/ml/datasets/Iris).
Example 3
Consider the database of the Iris plant. In this database, there are 150 samples (Table 12 in the Appendix) that are divided into three categories Setosa, Versicolor, and Virginica. There are four attributes corresponding to each sample namely, Sepal Length (SL), Sepal Width (SW), Petal Length (PL),and Petal Width (PW). We calculate the distance between Virginica and Setosa and between Virginica and Versicolor with the help of our proposed PF distance measure and compare the results with some existing PF compatibility measures.
To assess the performance of the proposed PFdistance measure, we utilize a performance index “Degree of Confidence (DoC)”. The more the value of DoC, the more effective is a compatibility measure. The notion of DoC was suggested by Hatzimichailidis et al. [72] in the intuitionistic fuzzy framework. We extend this index in the PF framework. For the data set under consideration, the DoC is given as follows.
where \(K\) is any PF compatibility measure and \(M = \min \left\{ {K\left( {{\text{Setosa}},{\text{Virginica}}} \right), K\left( {{\text{Versicolor}},{\text{Virginica}}} \right)} \right\}\), if \(K\) is a PF distance/dissimilarity measure or \(M = \max \left\{ {K\left( {{\text{Setosa}},{\text{Virginica}}} \right), K\left( {{\text{Versicolor}},{\text{Virginica}}} \right)} \right\}\), if \(K\) is a PF correlation/similarity measure. As the data in the Iris database is in crisp form, so we need to convert it into PF form.
We propose the following formulae to convert the crisp data to picture fuzzy data.
The membership \(\tilde{m}\left( {t_{ij} } \right)\), the non-membership \(\tilde{n}\left( {t_{ij} } \right)\), and the neutrality \(\tilde{h}\left( {t_{ij} } \right)\) of the element \(t_{ij}\) is calculated as
\(\tilde{h}\left( {t_{ij} } \right) = 1 - \left( {1 - m\left( {t_{ij} } \right)} \right)^{a}\), \(0 < a \le 1\) and
Here \(\max \left( {t_{ij} } \right)\) is the maximum value of an attribute under a particular category and \(\min \left( {t_{ij} } \right)\) is the minimum value of an attribute under a particular category.
We convert the crisp data given in Table 12 in Appendix into the PF form with the help of the conversion formula.
The PF representation of Iris setosa is given in Table 13 (See Appendix) and the PF representation of Iris versicolor and Iris virginica can be obtained similarly.
Then, we calculate the distance between Virginica and Setosa and between Virginica and Versicolor by various PF compatibility measures including our proposed one and also calculate the DoC of each measure as shown in Table 6. From Table 6, we see that Virginica has maximum resemblance with Setosa as indicated by all the PF compatibility measures. Also, we observe that the DoC of our proposed PF distance measure is higher than most of the existing PF distance/similarity measures.
In the next section, we introduce a novel method for solving MADM problems in the PF environment with the help of the proposed PF distance measure \({D}_{\mathrm{GS}}\).
A new MADM method in a picture fuzzy system
In this section, first we point out the weakness of the classical picture fuzzy TOPSIS method. Then, we propose a new TOPSIS like MADM method in the PF settings.
The weakness of classical picture fuzzy TOPSIS
One of the popular and effective methods for solving MADM problems is the technique for order preference by similarity to ideal solution (TOPSIS) introduced originally by Hwang and Yoon [73] and later on extended to the fuzzy environment by Chen [74]. The TOPSIS method is based on the fact that the chosen alternative should be closest to the positive ideal solution (PIS) and farthest from the negative ideal solution (NIS). However, the chosen alternative due to TOPSIS is not actually farthest from NIS as can be seen in the examples given below.
Example 4
Consider the PF-decision matrix with three alternatives \(E_{i} \left( {i = 1, 2, 3} \right)\), and two attributes \(A_{j} \left( {j = 1, 2} \right)\).
Then the picture fuzzy positive ideal solution (PFPIS) \(E^{ + }\) and picture fuzzy negative ideal solution (PFNIS)\(E^{ - }\) are given as
We now calculate the distance of each alternative \(E_{i} \left( {i = 1, 2, 3} \right)\) from the PFPIS \(E^{ + }\), and from PFNIS \(E^{ - }\) by using the proposed PF distance measure \(D_{{{\text{GS}}}}\) given in Eq. (38), and then determine the closeness coefficient \(\gamma_{i} = D_{{{\text{GS}}}} \left( {E_{i} , E^{ + } } \right)/\left( {D_{{{\text{GS}}}} \left( {E_{i} , E^{ + } } \right) + D_{{{\text{GS}}}} \left( {E_{i} , E^{ - } } \right)} \right)\) of each alternative, and finally rank the alternatives in ascending order of closeness coefficient as shown in Table 7.
From Table 7, we see that the chosen alternative \(E_{3}\) is closest to PFPIS \(E^{ + }\) but is not farthest from PFNIS \(E^{ - }\) because \(D_{{{\text{GS}}}} \left( {E_{1} , E^{ - } } \right) = 0.0635 > D_{{{\text{GS}}}} \left( {E_{3} , E^{ - } } \right) = 0.0566\).
Example 5
Consider the PF-decision matrix with three alternatives \(E_{i} \left( {i = 1, 2, 3} \right)\), and two attributes \(A_{j} \left( {j = 1, 2} \right)\).
Then the picture fuzzy positive ideal solution (PFPIS) \(E^{ + }\) and picture fuzzy negative ideal solution (PFNIS)\(E^{ - }\) are given as
We now calculate the distance of each alternative \(E_{i} \left( {i = 1, 2, 3} \right)\) from the PFPIS \(E^{ + }\), and from PFNIS \(E^{ - }\) by using the proposed PF distance measure \(D_{{{\text{GS}}}}\) given in Eq. (38), and then determine the closeness coefficient \(\gamma_{i} = D_{{{\text{GS}}}} \left( {E_{i} , E^{ + } } \right)/\left( {D_{{{\text{GS}}}} \left( {E_{i} , E^{ + } } \right) + D_{{{\text{GS}}}} \left( {E_{i} , E^{ - } } \right)} \right)\) of each alternative, and finally rank the alternatives in ascending order of closeness coefficient as shown in Table 8.
From Table 8, we see that the chosen alternative \(E_{2}\) is closest to PFPIS \(E^{ + }\) but is not farthest from PFNIS \(E^{ - }\) because \(D_{{{\text{GS}}}} \left( {E_{1} , E^{ - } } \right) = 0.1964 > D_{{{\text{GS}}}} \left( {E_{2} , E^{ - } } \right) = 0.1853\).
Thus, from Examples 4 and 5, we see that the best alternative in TOPSIS is not farthest from the NIS. To overcome this major drawback, we introduce a new MADM method in the PF environment known as the picture fuzzy inferior ratio (PFIR) method based on the same concept as in TOPSIS that the chosen alternative should be closest to PFPIS and farthest from PFNIS.
Picture fuzzy inferior ratio method for MADM
Our proposed method establishes a compromise solution (alternative) that is closest to PFPIS and farthest from PFNIS. First of all, we formulate a MADM problem in PF environment as follows:
Scenario We are given a set of \(n\) alternatives \(E_{i} \left( {i = 1, 2, \ldots , n} \right)\) and \(m\) attributes \(A_{j} \left( {j = 1, 2, \ldots , m} \right)\) along with the attribute weight vector \(w = \left( {w_{1} , w_{2} , \ldots , w_{m} } \right), 0 \le w_{j} \le 1, j = 1, 2, \ldots , m\) and \(\sum\nolimits_{j = 1}^{m} {w_{j} } = 1.\)
Aim To select the most feasible alternative.
For determining the best alternative, the algorithm is given below.
Algorithm
Step 1 Construct the PF-decision matrix \(C = \left[ {c_{ij} } \right]_{n \times m}\) in which \(c_{ij} = \left( {m_{ij} , n_{ij} , h_{ij} } \right)\). is a PFV where \(m_{ij}\) is the membership value of alternative \(E_{i}\) under attribute \(A_{j}\), \(n_{ij}\) is the non-membership value of alternative \(E_{i}\) under attribute \(A_{j}\) and \(h_{ij}\) is the neutrality value of alternative \(E_{i}\) under attribute \(A_{j}\).
Step 2 Calculate the normalized PF decision matrix \(F = \left[ {f_{ij} } \right]_{n \times m}\), where
Step 3 Determine the PFPIS \(E^{ + }\) and PFNIS \(E^{ - }\), where \(E^{ + } = \left\{ {f_{1}^{ + } , f_{2}^{ + } , \ldots , f_{m}^{ + } } \right\}\) and \(E^{ - } = \left\{ {f_{1}^{ - } , f_{2}^{ - } , \ldots , f_{m}^{ - } } \right\}\) with \(f_{j}^{ + } = \left( {\max_{i} \left( {m_{ij} } \right), \min_{i} \left( {n_{ij} } \right), \min_{i} \left( {h_{ij} } \right)} \right)\) and \(f_{j}^{ - } = \left( {\min_{i} \left( {m_{ij} } \right), \max_{i} \left( {n_{ij} } \right), {\min_{i} \left( {h_{ij} } \right)} }\right)\), \(i = 1, 2, \ldots , n\) and \(j = 1, 2, \ldots , m\).
Step 4 Calculate the distance of each alternative \(E_{i} , i = 1, 2, \ldots , n\) from PFPIS \(E^{ + }\), and from PFNIS \(E^{ - }\) using our proposed PF distance measure \(D_{{{\text{GS}}}}\) given in Eq. (38) i.e., calculate \(D_{{{\text{GS}}}} \left( {E_{i} , E^{ + } } \right)\), and \(D_{{{\text{GS}}}} \left( {E_{i} , E^{ - } } \right)\), \(i = 1, 2, \ldots , n\). The smaller \(D_{{{\text{GS}}}} \left( {E_{i} , E^{ + } } \right)\) is the better \(E_{i}\) is and the greater \(D_{{{\text{GS}}}} \left( {E_{i} , E^{ - } } \right)\) is the better \(E_{i}\) is.
Step 5 Calculate \(D_{{{\text{GS}}}} \left( {E^{ + } } \right)\), where \(D_{{{\text{GS}}}} \left( {E^{ + } } \right) = \min_{1 \le i \le n} \left( {D_{{{\text{GS}}}} \left( {E_{i} , E^{ + } } \right)} \right)\), and therefore, the alternative \(E_{i}\) that satisfies \(D_{{{\text{GS}}}} \left( {E^{ + } } \right) = D_{{{\text{GS}}}} \left( {E_{i} , E^{ + } } \right)\) is closest to PFPIS.
Step 6 Calculate \(D_{{{\text{GS}}}} \left( {E^{ - } } \right)\), where \(D_{{{\text{GS}}}} \left( {E^{ - } } \right) = \max_{1 \le i \le n} \left( {D_{{{\text{GS}}}} \left( {E_{i} , E^{ - } } \right)} \right)\), and therefore, the alternative \(E_{i}\) that satisfies \(D_{{{\text{GS}}}} \left( {E^{ - } } \right) = D_{{{\text{GS}}}} \left( {E_{i} , E^{ - } } \right)\) is farthest from PFNIS.
Step 7. Calculate \(\xi \left( {E_{i} } \right), i = 1, 2, \ldots , n\), for each alternative, where
Clearly \(\xi \left( {E_{i} } \right)\) measures the degree to which an alternative \(G_{i} , i = 1, 2, \ldots , n\) is closest to PFPIS and farthest from PFNIS simultaneously. An alternative \(E_{i}\) with \(\xi \left( {E_{i} } \right) = 0\) is the best alternative.
Step 8 Calculate the PFIR \(\eta_{i}\) for each alternative, where, \(\eta_{i} = \frac{{\xi \left( {E_{i} } \right)}}{{\min_{1 \le i \le n} \xi \left( {E_{i} } \right)}}\).
Step 9 Rank the alternatives in ascending order of values of PFIR \(\eta_{i}\).
Proposition 1
\(\xi \left( {E_{i} } \right) \le 0, i = 1, 2, \ldots , n\)
Proof
Since \(D_{{{\text{GS}}}} \left( {E^{ + } } \right) = \min_{1 \le i \le n} \left( {D_{{{\text{GS}}}} \left( {E_{i} , E^{ + } } \right)} \right)\) and \(D_{{{\text{GS}}}} \left( {E^{ - } } \right) = \max_{1 \le i \le n} \left( {D_{{{\text{GS}}}} \left( {E_{i} , E^{ - } } \right)} \right)\), so we have.
\(D_{{{\text{GS}}}} \left( {E^{ + } } \right) \le D\left( {E_{i} , E^{ + } } \right)\), and \(D_{{{\text{GS}}}} \left( {E^{ - } } \right) \ge D_{{{\text{GS}}}} \left( {E_{i} , E^{ - } } \right), i = 1, 2, \ldots , n\). Therefore, we obtain.
\(\frac{{D_{{{\text{GS}}}} \left( {E_{i} , E^{ + } } \right)}}{{D_{{{\text{GS}}}} \left( {E^{ + } } \right)}} \ge 1\) and \(\frac{{D_{{{\text{GS}}}} \left( {E_{i} , E^{ - } } \right)}}{{D_{{{\text{GS}}}} \left( {E^{ - } } \right)}} \le 1\) and thus \(\xi \left( {E_{i} } \right) = \frac{{D_{{{\text{GS}}}} \left( {E_{i} , E^{ - } } \right)}}{{D_{{{\text{GS}}}} \left( {E^{ - } } \right)}} - \frac{{D_{{{\text{GS}}}} \left( {E_{i} , E^{ + } } \right)}}{{D_{{{\text{GS}}}} \left( {E^{ + } } \right)}} \le 1 - 1 = 0\).
Proposition 2
The \(0 \le \eta_{i} = \frac{{\xi \left( {E_{i} } \right)}}{{\mathop {\min }\limits_{1 \le i \le n} \xi \left( {E_{i} } \right)}} \le 1, i = 1, 2, \ldots , n\)
Proof
We have \(\xi \left( {E_{i} } \right) \ge \min_{1 \le i \le n} \xi \left( {E_{i} } \right)\) or \(\min_{1 \le i \le n} \xi \left( {E_{i} } \right) \le \xi \left( {E_{i} } \right) \le 0\) or \(1 \ge \frac{{\xi \left( {E_{i} } \right)}}{{\min_{1 \le i \le n} \xi \left( {E_{i} } \right)}} \ge 0\) i.e., \(0 \le \eta_{i} \le 1, i = 1,2,..,n\).
Now, we apply the proposed PFIR method for solving a MADM problem involving PF data in the following example.
Example 6
[66] A finance company wants to invest its sum of money. The four attributes fixed by the company for choosing the best possible option out of the five possible options \(\left({E}_{1}\right)\) Mutual Funds \(\left({E}_{2}\right)\) Health Insurance \(\left({E}_{3}\right)\) Share Market \(\left({E}_{4}\right)\) Housing Development Corporations and \(\left({E}_{5}\right)\) General Insurance are \(\left({A}_{1}\right)\) Maximum Returns \(\left({A}_{2}\right)\) Minimum Risk \(\left({A}_{3}\right)\) Easy withdrawal in case of emergency and \(\left({A}_{4}\right)\) Transparency. The evaluation of the five possible options \({E}_{i}, i=1, 2, 3, 4, 5\) corresponding to the four attributes \({A}_{j}, j=1, 2, 3, 4\) is provided by the decision experts in the form of PF decision matrix as shown in Table 9.
Since all the attributes are of benefit type, so the normalized PF decision matrix is the same as given in Table 9. With the help of Step 3, we determine the PFPIS \({E}^{+}\) and PFNIS \({E}^{-}\) as given below:
Next, using the proposed PF distance measure \({D}_{GS}\) given in Eq. (38), we calculate the distance of each alternative \({E}_{i}, i=1, 2, 3, 4, 5\) from PFPIS \({E}^{+}\), and from PFNIS \({E}^{-}\). Then we determine \({D}_{\mathrm{GS}}\left({E}^{+}\right)=\underset{1\le i\le n}{\mathrm{min}}\left({D}_{\mathrm{GS}}\left({E}_{i}, {E}^{+}\right)\right)=0.0877={D}_{\mathrm{GS}}\left({E}_{1}, {E}^{+}\right)\) and \({D}_{\mathrm{GS}}\left({E}^{-}\right)=\underset{1\le i\le n}{\mathrm{max}}\left({D}_{\mathrm{GS}}\left({E}_{i}, {E}^{-}\right)\right)=0.1960={D}_{\mathrm{GS}}\left({E}_{1}, {E}^{-}\right)\). After that, we calculate \(\xi \left({E}_{i}\right), i=1,\; 2,\; 3,\; 4, 5\), and \({\eta }_{i}, i=1, \; 2, \; 3, \; 4, \; 5\) for each alternative using Step 7 and Step 8, respectively. Finally, in the ascending order of \({\eta }_{i}\), we rank the alternatives. These calculations are listed in Table 10.
From Table 10, we see that the best option is \({E}_{1}\) and we also observe that \({E}_{1}\) is closest to PFPIS \({E}^{+}\) and simultaneously farthest from PFNIS \({E}^{-}\).
In order to determine the validity and reasonability of the proposed PFIR method, we apply the existing methods [45, 48, 49, 51, 52, 56, 66, 74] for solving the same investment problem given in Example 6, and the results are listed in Table 11.
From Table 11, we observe that all the existing methods [45, 48, 49, 51, 52, 56, 66, 74] indicate that the best option is \({E}_{1}\), the same option indicated by our proposed method. This implies that our proposed method is in agreement with the existing methods in the PF environment.
Conclusion
The proposed PF distance measure is found to be stronger than the existing PF compatibility measures both theoretically and practically. Theoretically, it is valid in view of the metric axioms however some of the existing PF distance measures does not satisfy the metric properties. Practically, the proposed PF distance measure perform better than the existing measures in some counterintuitive situations. We have utilized the proposed PF distance measure for solving the problems related to pattern recognition and compared the results with the existing PF compatibility measures. We observed that in the problems of pattern recognition, the proposed PF distance measure is consistent and in some situations superior to the existing PF compatibility measures. The application of the proposed PF distance measure has also been investigated in a pattern recognition problem with real data from the UCI machine learning repository. For working with real data (in the crisp form), we have introduced the conversion formula from crisp data to PF data. Also, to assess the performance of the proposed measures a performance index namely “Degree of confidence (DoC)” has been introduced. In view of DoC, our proposed measure is found to outperform the existing PF compatibility measures. We have also presented a new method known as the picture fuzzy inferior ratio (PFIR) method for solving MADM problems in the PF environment. It has been observed that the compromise solution due to the PFIR method is closest to PFPIS and simultaneously farthest from PFNIS. But, in the conventional TOPSIS method this situation fails to occur in many practical problems. We have also seen that the PFIR method is consistent with the existing MADM methods in the PF environment.
In the future, we plan to study:
-
(1)
Generalization of the proposed PF distance measure to spherical fuzzy sets and T-spherical fuzzy sets.
-
(2)
The application of the proposed PF distance measure in clustering analysis, medical diagnosis, image segmentation, etc.
-
(3)
In this paper, we have considered thirty-seven existing compatibility measures concerning picture fuzzy sets and contrasted the performance of proposed measure with them. So, in view of the refernces [68,69,70,71] and thirty-eight compatibilty measures considered in this paper, many compatibilty measures can be developed in the framework of neutrosophic sets and refined neutrosophic sets.
References
Zadeh LA (1965) Fuzzy sets. Inf Control 8:338–353
Bajaj PK, Hooda DS (2010) Generalized measures of fuzzy directed-divergence, total ambiguity and information improvement. J Appl Math Stat Inform JAMSI 6(2):31–44
Bhatia PK, Singh S (2013) On some divergence measures between fuzzy sets and aggregation operations. AMO Adv Model Optim 15:235–248
Janis V, Tepavcevic A (2004) Distance generated by a fuzzy compatibility. Indian J Pure Appl Math 35:737–746
Montes S, Couso I, Gil P, Bertoluzza C (2002) Divergence measure between fuzzy sets. Int J Approx Reason 30:91–105
Sharma S, Singh S (2019) On some generalized correlation coefficients of the fuzzy sets and fuzzy soft sets with application in cleanliness ranking of public health centres. J Intell Fuzzy Syst 36:3671–3683
Singh S, Lalotra S, Sharma S (2019) Dual concepts in fuzzy theory: entropy and knowledge measure. Int J Intell Syst 34:1034–1059
Singh S, Sharma S (2019) On generalized fuzzy entropy and fuzzy divergence measure with applications. Int J Fuzzy Syst Appl 8:47–69
Xucheng L (1992) Entropy, distance measure and similarity measure of fuzzy sets and their relations. Fuzzy Sets Syst 52:305–318
Atanassov KT (1986) Intuitionistic fuzzy sets. Fuzzy Sets Syst 20:87–96
Zadeh LA (1975) The concept of a linguistic variable and its application to approximate reasoning—1. Inf Sci 8:199–249
John R (1998) Type 2 fuzzy sets: an appraisal of theory and applications. Int J Uncertain Fuzziness Knowl Based Syst 6(6):563–576
Karnik NN, Mendel JM (2001) Operations on type-2 fuzzy sets. Fuzzy Sets Syst 122(2):327–348
Mendel JM, John RB (2002) Type-2 fuzzy sets made simple. IEEE Trans Fuzzy Syst 10(2):117–127
Castillo O, Melin P, Kacprzyk J, Pedrycz W (2007) Type-2 fuzzy logic: theory and applications. In: 2007 IEEE international conference on granular computing (GRC 2007), pp 145–145
Castillo O, Melin P (2008) Intelligent systems with interval type-2 fuzzy logic. Int J Innov Comput Inf Control 4(4):771–783
Yager RR (2013) Pythagorean fuzzy subsets. In: 2013 joint IFSA world congress and NAFIPS annual meeting (IFSA/NAFIPS), pp 57–61
Yager RR (2016) Generalized orthopair fuzzy sets. IEEE Trans Fuzzy Syst 25(5):1222–1230
Torra V (2010) Hesitant fuzzy sets. Int J Intell Syst 25(6):529–539
Das S, Dutta B, Guha D (2016) Weight computation of criteria in a decision-making problem by knowledge measure with intuitionistic fuzzy set and interval-valued intuitionistic fuzzy set. Soft Comput 20:3421–3442
Hung WL, Yang MS (2007) Similarity measures of intuitionistic fuzzy sets based on Lp-metric. Int J Approx Reason 6:120–136
Liu HW (2005) New similarity measures between intuitionistic fuzzy sets and between elements. Math Comput Model 2:61–70
Mishra AR, Jain D, Hooda DS (2016) On fuzzy distance and induced fuzzy information measures. J Inf Optim Sci 37:193–211
Montes I, Pal NR, Janiš V, Montes S (2014) Divergence measures for intuitionistic fuzzy sets. IEEE Trans Fuzzy Syst 23:444–456
Peng X, Yuan H, Yang Y (2017) Pythagorean fuzzy information measures and their applications. Int J Intell Syst 32:991–1029
Rajarajeswari P, Uma N (2013) Intuitionistic fuzzy multi-similarity measure based on cotangent function. Int J Eng Res Technol 2:1323–1329
Singh S, Ganie AH (2020) On some correlation coefficients in Pythagorean fuzzy environment with applications. Int J Intell Syst 35(4):682–717
Singh S, Lalotra S, Ganie AH (2020) On some knowledge measures of intuitionistic fuzzy sets of type-two with application to MCDM. Cybern Inf Technol 20:1–21
Ye J (2012) Multicriteria group decision-making method using vector similarity measures for trapezoidal intuitionistic fuzzy numbers. Group Decis Negot 21:519–530
Niu LL, Li J, Li F, Wang ZX (2020) Multi-criteria decision-making method with double risk parameters in interval-valued intuitionistic fuzzy environments. Complex Intell Syst 6:669–679
Ejegwa PA (2019) Pythagorean fuzzy set and its application in career placements based on academic performance using max–min–max composition. Complex Intell Syst 5(2):165–175
Nguyen XT, Garg H (2019) Exponential similarity measures for Pythagorean fuzzy sets and their applications to pattern recognition and decision-making process. Complex Intell Syst 5(2):217–228
Cao Q, Liu X, Wang Z, Zhang S, Wu J (2020) Recommendation decision-making algorithm for sharing accommodation using probabilistic hesitant fuzzy sets and bipartite network projection. Complex Intell Syst 6:431–445
Cuong BC, Kreinovich V (2013) Picture Fuzzy Sets-a new concept for computational intelligence problems. In: 2013 third world congress on information and communication technologies (WICT, 2013), IEEE, pp 1–6
Cuong BC (2014) Picture fuzzy sets. J Comput Sci Cybern 30(4):409–420
Ganie AH, Singh S, Bhatia PK (2020) Some new correlation coefficients of picture fuzzy sets with applications. Neural Comput Appl 32:12609–12625. https://doi.org/10.1007/s00521-020-04715-y
Dutta P (2018) Medical diagnosis based on distance measures between picture fuzzy sets. Int J Fuzzy Syst Appl 7:15–36
Son LH (2017) Measuring analogousness in picture fuzzy sets: from picture distance measures to picture association measures. Fuzzy Optim Decis Making 16:359–378
Singh P, Mishra NK, Kumar M, Saxena S, Singh V (2018) Risk analysis of flood disaster based on similarity measures in picture fuzzy environment. Afrika Matematika 29:1019–1038
Wei G (2018a) Some Cosine similarity measures for picture fuzzy sets and their applications to strategic decision making. Informatica 28:547–564
Thao NX (2019) Similarity measures of picture fuzzy sets based on entropy and their application in MCDM. Pattern Anal Appl 23(3):1203–1213
Wei G (2018b) Some similarity measures for picture fuzzy sets and their applications. Iran J Fuzzy Syst 15:77–89
Wei G, Gao H (2018) The generalized dice similarity measures for picture fuzzy sets and their applications. Informatica 29:107–124
Dinh NV, Thao NX (2018) Some measures of picture fuzzy sets and their application in multi-attribute decision-making. Int J Math Sci Comput 3:23–41
Son LH (2016) Generalized picture distance measure and applications to picture fuzzy clustering. Appl Soft Comput 46:284–295
Khan MJ, Kumam P, Deebani W, Kumam W, Shah Z (2020) Bi-parametric distance and similarity measures of picture fuzzy sets and their applications in medical diagnosis. Egypt Inform J. https://doi.org/10.1016/j.eij.2020.08.002
Singh P (2015) Correlation coefficients for picture fuzzy sets. J Intell Fuzzy Syst 28(2):591–604
Wei G (2016) Picture fuzzy cross-entropy for multiple attribute decision making problems. J Bus Econ Manag 17:491–502
Wei G (2018c) TODIM method for picture fuzzy multiple attribute decision-making. Informatica 29:555–566
Wang C, Zhou X, Tu H, Tao S (2017) Some geometric aggregation operators based on picture fuzzy sets and their application in multiple attribute decision making. Ital J Pure Appl Math 37:477–492
Wei G (2018d) Picture fuzzy Hamacher aggregation operators and their application to multiple attribute decision making. FundamentaInformaticae 157:271–320
Zhang S, Wei G, Gao H, Wei C, Wei Y (2019) EDAS method for multiple criteria group decision making with picture fuzzy information and its application to green suppliers’ selections. Technol Econ Dev Econ 25:1123–1138
Nhung LT, Dinh NV, Chau NM, Thao NX (2018) New dissimilarity measures on picture fuzzy sets and applications. J Comput Sci Cybern 34:219–231
Liu H, Wang H, Yuan Y, Zhang C (2019) Models for multiple attribute decision making with picture fuzzy information. J Intell Fuzzy Syst 37:1973–1980
Thao NX, Ali M, Nhung LT, Gianey HK, Smarandache F (2019) A new multi-criteria decision-making algorithm for medical diagnosis and classification problems using divergence measure of picture fuzzy sets. J Intell Fuzzy Syst 37:7785–7796
Jana C, Senapati T, Pal M, Yager RR (2019) Picture fuzzy Dombi aggregation operators: application to MADM process. Appl Soft Comput 74:99–109
Wei G, Zhang S, Lu J, Wu J, Wei C (2019) An extended bidirectional projection method for picture fuzzy MAGDM and its application to safety assessment of construction project. IEEE Access 7:166138–166147
Ashraf S, Mahmood T, Abdullah S, Khan Q (2019) Different approaches to multi-criteria group decision-making problems for picture fuzzy environment. Bull Braz Math Soc New Ser 50:373–397
Wang L, Zhang HY, Wang JQ, Li L (2018) Picture fuzzy normalized projection-based VIKOR method for the risk evaluation of construction project. Appl Soft Comput 64:216–226
Lin M, Huang C, Xu Z (2020) MULTIMOORA based MCDM model for site selection of car sharing station under picture fuzzy environment. Sustain Cities Soc 53:101873. https://doi.org/10.1016/j.scs.2019.101873
Tian C, Peng J, Zhang S, Zhang W, Wang J (2019) Weighted picture fuzzy aggregation operators and their applications to multi-criteria decision-making problems. Comput Ind Eng 137:106037. https://doi.org/10.1016/j.cie.2019.106037
Zhang P, Tao Z, Liu J, Jin F, Zhang J (2020) An ELECTRE TRI-based outranking approach for multi-attribute group decision making with picture fuzzy sets. J Intell Fuzzy Syst. https://doi.org/10.3233/JIFS-191540
Ding XF, Zhang L, Liu HC (2019) Emergency decision making with extended axiomatic design approach under picture fuzzy environment. Expert Syst 37(2):e12482. https://doi.org/10.1111/exsy.12482
Jin Y, Wu H, Sun D, Zeng S, Luo D, Peng B (2019) A multi-attribute Pearson’s picture fuzzy correlation-based decision-making method. Mathematics 7:999. https://doi.org/10.3390/math7100999
Zeng S, Ashraf S, Arif M, Abdullah S (2019) Application of exponential Jensen picture fuzzy divergence measure in multi-criteria group decision-making. 7:191. https://doi.org/10.3390/math7020191
Joshi R (2020a) A novel decision-making method using R-Norm concept and VIKOR approach under picture fuzzy environment. Expert Syst Appl 147:113228
Joshi R (2020b) A new picture fuzzy information measure based on Tsallis–Havrda–Charvat concept with applications in presaging poll outcome. Comput Appl Math 39:1–24
Smarandache F (2019) Neutrosophic set is a generalization of intuitionistic fuzzy set, inconsistent intuitionistic fuzzy set (picture fuzzy set, ternary fuzzy set), pythagorean fuzzy set (Atanassov’s Intuitionistic Fuzzy Set of second type), q-Rung orthopair fuzzy set, spherical fuzzy set, and n-hyperspherical fuzzy set, while neutrosophication is a generalization of regret theory, grey system theory, and three-ways decision. J New Theory 29:01–35
Smarandache F (2002) A Unifying field in logics: neutrosophic logic, multiple-valued logic. Int J 8(3):385–438
Smarandache F (2013) n-Valued refined neutrosophic logic and its applications in physics. Prog Phys 4:143–146
Hong DH, Kim C (1999) A note on similarity measures between vague sets and between elements. Inf Sci 115:83–96
Hatzimichailidis AG, Papakostas GA, Kaburlasos VG (2012) A novel distance measure of intuitionistic fuzzy sets and its application to pattern recognition problems. Int J Intell Syst 27:396–409
Hwang CL, Yoon KP (1981) Multiple attribute decision making: methods and applications. Springer, New York
Chen CT (2000) Extensions of the TOPSIS for group decision making under fuzzy environment. Fuzzy Sets Syst 114:1–9
Acknowledgements
Authors are highly thankful to the Editor-in-chief and anonymous reviewers for their valuable suggestions to bring this paper in the present form.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
Authors declare that there is no conflict ofinterest.
Ethical approval
The present article does not contain any studies withhuman participants or animals performed by any of the authors.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Ganie, A.H., Singh, S. An innovative picture fuzzy distance measure and novel multi-attribute decision-making method. Complex Intell. Syst. 7, 781–805 (2021). https://doi.org/10.1007/s40747-020-00235-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40747-020-00235-3