Abstract
Complex fuzzy soft matrices play a crucial role in various applications, including decision-making, pattern recognition, signals processing, and image processing. The main objective of this study is to introduce the unique notions of complex Pythagorean fuzzy soft matrices (CPFSMs), which provide more flexibility and accuracy in modelling uncertainty. CPFSMs incorporate Pythagorean fuzzy soft matrices, allowing for more sophisticated uncertainty modeling. The key findings of CPFSMs, specific instances, and certain fundamental set-theoretic operations and principles were covered. A set of new distance metrics between two CPFSMs has been defined. In the context of complex Pythagorean fuzzy soft sets and complex Pythagorean fuzzy soft matrices, we created a CPFS decision-making technique. Moreover, the application’s numerical example and comparison analysis have been effectively demonstrated. Thus, by integrating the concepts of Pythagorean fuzzy sets, soft matrices, and complex numbers, CPFSMs provide a robust framework with membership and non-membership degrees for complex decision-making modeling and analyzing uncertain data.
Similar content being viewed by others
Introduction
Many theories in the literature are used to deal with the ambiguity and uncertainty of many problems that arise in engineering, social science, economics, and other fields of science. However, because of the parametrization tool used, all of the theories have their intuitive limitations. Molodstov1 discussed a new mathematical framework, known as soft set (SS), devoid of parametrization inadequacies, tailored for handling uncertainties, and discussed several findings stemming from its application. Maji et al.2 studied soft set theory and determined some binary operations on SSs such as intersection, union, complement, OR, AND, and equality of SSs. Rehman et al.3 Discussed fuzzy soft sets (FSSs) and FS lattices. Using fuzzy sets (FSs) and FSSs, soft hypermodules and fuzzy soft hypermodules were proposed by Ameri4. Rehman et al.5 defined some new type of graphs called neighborhood-based soft covering rough graphs.
Maji et al.6,7 proceeded on to successfully extend the concept of SS to FSS and intuitionistic FSS, as well as discuss their applications in decision-making (DM) problems. Zeb et al.8 discussed applications of fermatean fuzzy soft aggregation operators in symptomatic treatment of COVID-19 (a case study of patient identification).
The concept of Pythagorean fuzzy soft set (PFSS) was proposed by Peng et al.9. They reviewed different operations on it and proposed a DM algorithm based on PFSSs. FSSs and intuitionistic FSSs are special cases of a PFSS, as shown by their structure. Some novel distance measures for the PFSSs were introduced by Athira et al.10. Moreover, to compute the degree of fuzziness of the set, Athira et al.11 discussed some new entropy measures in the environment of PFSs. They discussed their applications in DM problems. Naeem et al.12 presented an algorithm and flow chart based on PFSSs for multi-criteria group decision-making (MCGDM) in the context of site selection. As extensions to the TOPSIS and VIKOR, they established the PFS TOPSIS and the PFS VIKOR methods. They discussed an application addressing the stock exchange investment challenge and tackled it using PFS TOPSIS and PFS VIKOR methodologies. Zulqarnain et al.13 discussed the desirable axioms of PFS weighted averaging and PFS weighted geometric operators. They developed DM algorithms based on the proposed operators. In Zhang et al.14 gave the idea of a PF N-soft set, a generalization of the N-soft set. They discussed related operations to this theory, such as extended intersection and union, weak complement, and restricted intersection and union. Moreover, two algorithms for dealing with MCGDM problems were introduced in the environment of PF N-soft sets. Jia-hua gave the theory of possibility PFSSs in15. They identified various binary operations on the possibility of PFSSs. They introduced a similarity measure to compare two possible PFSSs and presented their applications in DM problems. Zeb et al.16 introduced aggregation operators of Pythagorean fuzzy bi-polar soft sets and discussed their applications in multiple attribute decision-making problems.
N. Çağman and S. Enginoğlu have applied soft matrices and explored their various properties. They proposed a soft max-min DM algorithm, introducing a valuable tool for addressing uncertainties17. Moreover, fuzzy soft matrices (FSMs) have been defined alongside the fs-max-min DM method, discussing successful application in DM scenarios fraught with ambiguity18. Indeed, they provided a new direction for both practical applications and foundational research within the realm of SSs and FSSs theory. Naim and Serdar19 discussed soft matrices, which serve as representations of Molodtsov’s SSs, and applied them to resolve DM challenges. Khan et al.20 defined complex fuzzy soft matrices and discussed some new operations on these matrices. Furthermore, they constructed an algorithm utilizing complex fuzzy soft matrices and applied it in a signal-processing DM scenario. Yong and Chenli21 generalized the matrix representation of SSs to FSSs, while Chetia and Das22 expanded it to intuitionistic fuzzy soft matrices. They subsequently utilized the proposed extensions to address DM problems. Guleria et al.23 presented the notion of PFS matrices and studied several properties and binary operations associated with these matrices. Furthermore, they discussed the applications of PFS matrices in DM scenarios and medical diagnosis. Akram et al.24 discussed a new decision-making methodology, namely, the complex Pythagorean fuzzy method. They introduced some novel operators in the environment of complex Pythagorean fuzzy N-soft sets and utilized them in MCGDM problems. Zeb et al.25 defined some generalized approach based on Hamacher aggregation operators for q-rung orthopair fuzzy soft sets. They discussed their applications in optimizing decision-making in electric power system selection.
The main objective of this paper is to introduce the novel concepts of CPFSMs. CPFSMs offer a powerful and flexible mathematical framework for modeling and solving complex decision-making problems, enabling the effective handling of uncertainty, ambiguity, and multi-criteria decision-making challenges. By integrating Pythagorean fuzzy sets, soft matrices, and complex numbers, CPFSMs provide a robust and efficient tool for decision-makers to analyze and optimize uncertain and complex systems, leading to more informed and accurate decision-making outcomes in various fields, including management, economics, engineering, and healthcare.
Motivation
CPFSMs are a specialized extension of soft matrices, fuzzy soft matrices, complex fuzzy soft matrices, and Pythagorean fuzzy soft matrices designed to handle ambiguity and uncertainty in DM processes. They combine elements of soft sets, fuzzy sets, and complex numbers to establish a new approach for representing and analyzing uncertain, vague, and complex information. The motivation behind using CPFSMs lies in their ability to model and handle complex systems where traditional soft matrices fail to discuss the intricacies of uncertainty. Here are some significant motivations for utilizing CPFSMs:
-
1.
Real-world challenges frequently involve uncertainty and ambiguity. CPFSMs provide a flexible representation that can better accept uncertainty in DM procedures than the traditional soft matrices.
-
2.
Decision-making procedures frequently require integrating data from various sources, each with its level of uncertainty. CPFSMs allow for integrating multiple sources of information by offering a uniform representation framework.
-
3.
CPFSMs are based on rigorous mathematical foundations, leveraging concepts from FS theory, SS theory, and complex numbers. This mathematical framework ensures the reliability and consistency of the analysis conducted by applying these matrices.
-
4.
CPFSMs find applications in diverse domains such as DM, pattern recognition, image processing, expert systems, and artificial intelligence. Their ability to discuss uncertain and complex information makes them useful tools in addressing real-life problems across various fields.
Contributions
CPFSMs have emerged as a powerful tool for addressing decision-making problems in complex and uncertain environments. CPFSMs enables decision-makers to effectively handle ambiguity and uncertainty by integrating Pythagorean fuzzy sets, soft sets, and complex numbers, allowing for the simultaneous consideration of multiple criteria and uncertainty levels. This approach facilitates more accurate and informed decision-making outcomes, particularly in complex and dynamic environments.
The paper is organized as follows. A formal definition of the CPFS set is provided in "Preliminaries". In "Complex pythagorean fuzzy soft matrix theory" section, we introduce a new concept of a CPFSM. Some particular examples and basic definitions of CPFSMs are also presented in this section. In "Main results" section, we discussed the main results of CPFSMs. "Distance measures of complex Pythagorean fuzzy soft matrices" section is concerned with the distance measures of CPFSMs. In section 5, we developed the DM method. The comparison analysis of the proposed CPFSMs is discussed in "Applications of complex Pythagorean fuzzy soft matrix in decision-making" section. In "Comparison analysis" and "Conclusion"section, we discussed the advantages and conclusion, respectively.
Preliminaries
We will discuss here the basic set-theoretic operations and laws of CPFS sets and matrices and also discuss particular examples of these operations and laws.
Definition 2.1
1 Let X be an initial universe set and \(\Gamma \) be a set of parameters. Let P(X) denote the power set of X. Consider a nonempty set \(\tau ,\) \(\tau \subset \Gamma \). A pair\((\digamma ,\Gamma )\) is called a soft set over X, where \(\digamma \) is a mapping given by \(\digamma :\tau \rightarrow P(X)\).
Definition 2.2
15 Let \(\digamma (X)\) denotes the set of all fuzzy sets of X. A pair \((\digamma ,\Gamma )\) is called a fuzzy soft set over \(\digamma (X)\), where \(\digamma \) is a mapping given by \(\digamma :\tau \rightarrow P(\digamma (X)).\)
Definition 2.3
15 The pair \((\digamma ,\Gamma )\) is called the Pythagorean fuzzy soft set (PFSS) over X if \(\digamma :\tau \to PFS(X) \) and can be represented as
where PFS(X) denotes the set of all Pythagorean fuzzy sets of X.
Definition 2.4
26 Let \(X=\{ \tilde{a}_{1},\tilde{a}_{2},...,\tilde{a}_{n} \}\) be the universal set and \(\Gamma =\{q_{1},q_{2},...,q_{n} \}\) be the set of parameters. If \(\tau \subset \Gamma ,\) then \((\psi ,\tau )\) is a CPFS set over X, where \(\psi \) is a mapping given by \(\psi :\tau \rightarrow P(\lambda _{U}),\) and is defined as
Remark 2.1
For a given set if \(\varkappa _{j}(\tilde{a}_{i})=0=\kappa _{j}(\tilde{a}_{i})\) The CPFS set is then reduced to the Pythagorean fuzzy soft set.
Definition 2.5
26 Let \((\digamma ,\tau )\) and \((\digamma ^{\prime },\tau ^{\prime })\) be two CPFS sets over X, where \(\tau ,\tau ^{\prime }\subset \Gamma .\) Then
- (i).:
-
\((\digamma ,\tau )\subseteq (\digamma ^{\prime },\tau ^{\prime } )\) if \(\tau \subseteq \tau ^{\prime }\) and \(\varkappa _{\digamma (q_{i})}(\tilde{a}_{i})\le \varkappa _{\digamma ^{\prime }(q_{i} )}(\tilde{a}_{i}),\ell _{\digamma (q_{i})}(\tilde{a}_{i})\ge \ell _{\digamma ^{\prime }(q_{i})}(\tilde{a}_{i})\) for amplitude terms and \(\epsilon _{\digamma (q_{i})}(\tilde{a}_{i})\le \epsilon _{\digamma ^{\prime }(q_{i})}(\tilde{a}_{i}),\kappa _{\digamma (q_{i})}(\tilde{a} _{i})\ge \kappa _{\digamma ^{\prime }(q_{i})}(\tilde{a}_{i})\) for phase terms, for all \(\tilde{a}_{t}\in X.\)
- (ii).:
-
\((\digamma ,\tau )=(\digamma ^{\prime },\tau ^{\prime })\) if and if \(\varkappa _{\digamma (q_{i})}(\tilde{a}_{i})=\varkappa _{\digamma ^{\prime }(q_{i})}(\tilde{a}_{i}),\ell _{\digamma (q_{i} )}(\tilde{a}_{i})=\ell _{\digamma ^{\prime }(q_{i})}(\tilde{a}_{i})\) for amplitude terms and \(\epsilon _{\digamma (q_{i})}(\tilde{a}_{i})=\epsilon _{\digamma ^{\prime }(q_{i})}(\tilde{a}_{i}),\kappa _{\digamma (q_{i})}(\tilde{a}_{i})=\kappa _{\digamma ^{\prime }(q_{i})}(\tilde{a}_{i} )\) for phase terms.
- (iii).:
-
\((\digamma ^{c},\tau )\) is the complement of \((\digamma ,\tau )\) where
Complex Pythagorean fuzzy soft matrix theory
In this section, we introduce a novel concept: the introduction of a CPFSM. It’s notable to mention that a CPFSM surpasses a complex fuzzy soft matrix in generality. This is because each entry of the matrix incorporates both the degree of membership function and non-membership function, offering a more comprehensive selection in decision-making problems.
Complex Pythagorean fuzzy soft matrix
Let \(X=\{ \tilde{a}_{1},\tilde{a}_{2},...,\tilde{a}_{n}\}\) be the universal set and \(\Gamma =\{q_{1},q_{2},...,q_{n}\}\) be the set of parameters. If \(\tau \subset \Gamma ,\) then \((\psi ,\tau )\) is a CPFS set over X, where \(\psi \) is a mapping given by \(\psi :\tau \rightarrow P(\lambda _{X}),\) and is defined as
where \(P(\lambda _{U})\) denotes the power sets of CPFSSs. Then, the CPFS sets can be expressed in matrix form as \([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}=[\mid a_{ij}\mid ]_{\hat{s}\times \breve{u}}\) for \(i=1,2,...,\hat{s}\) and \(j=1,2,...,\breve{u}\); where
Note that
represents the elements of \([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}\) corresponding to the elements \(\tilde{a}_{k}\) of X for \(i=1,2,...,\hat{s}\) and \(k,j=1,2,...,\breve{u}\) where \(\varkappa _{ij}(\tilde{a}_{t}),\ell _{ij}(\tilde{a}_{t})\in [0,1]\).
Also, note that the elements \(\varkappa _{ij}(\tilde{a}_{t})\) and \(\ell _{ij}(\tilde{a}_{t})\) are known as truth grade (TG) and false grade (FG) of the CPFSM and \(0\le (\varkappa _{ij}(\tilde{a}_{t}))^{2}+(\ell _{ij}(\tilde{a}_{t}))^{2}\le 1.\)
Equation (1) can be rearranged as:
We would represent this CPFS set in matrix form as:
where \(\xi _{ij}(\tilde{a}_{t})=[\varkappa _{ij}(\tilde{a}_{t}),\ell _{ij} (\tilde{a}_{t})].\)
An example of the newly defined CPFSM is given below.
Why do we need this new model?
Although existing fuzzy soft matrices are highly effective in dealing with ambiguous information, their limitations highlight the need for a superior model that can serve as a powerful tool in dealing with ambiguous information. The principle of fuzzy soft matrices has been utilized in separated areas, but the principle of fuzzy soft matrices has limited applications due to its structure. Because if a person faces information in the form of TG and falsity grade (FG), then the fuzzy soft matrices principle has failed in certain actual life troubles. To overcome this difficulty, we introduce the concepts of CPFSMs. False grades in CPFSMs play a vital role in defining the features of CPFSMs. This term distinguishes a CPFSM from all other soft matrices in the literature. The CPFSMs discuss two-dimensional phenomena in the form of truth and false grades, making them superior to handling ambiguous and intuitive information prevalent in time-periodic phenomena. They provide a powerful and flexible framework for modeling and analyzing complex decision-making problems, which are increasingly prevalent in various fields, including management, economics, engineering, and healthcare. Traditional approaches often struggle to handle uncertainty, ambiguity, and multi-criteria decision-making challenges, leading to inaccurate or suboptimal decisions. CPFSMs address these limitations by integrating Pythagorean fuzzy sets, soft matrices, and complex numbers, enabling the simultaneous consideration of multiple criteria, uncertainty levels, and complex relationships. This allows for more accurate and informed decision-making outcomes, making CPFSMs a crucial tool for tackling complex real-world problems and enabling better decision-making in uncertain and dynamic environments.
Example 3.1
Assume that there are three iPhones under consideration, namely the universes \(X=\{ \tilde{a}_{1}=iPhone\) \(11,\tilde{a}_{2}=iPhone\) \(12,\tilde{a} _{3}=iPhone\) 12 \(pro\}\). Let \(\Gamma =\{q_{1},q_{2},q_{3}\}\) be the set of parameters where \(q_{1}\) stands for “beautiful”, \(q_{2}\) stands for “cheap”, \(q_{3}\) stands for “expensive”. Consider the mapping \(\psi \) form parameter set \(\tau =\{q_{1},q_{3}\} \subset \Gamma \) to the power set of all CPFS sets over X. Then,
Now,
where
We would represent this CPFS set in matrix form as:
Definition 3.1
Let \([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}\) be a CPFSM. Then \([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}\) is called complex Pythagorean fuzzy zero soft matrix if \([\varkappa _{ij}(\tilde{a}_{t}),\ell _{ij}(\tilde{a}_{t})]=[0,0]\) for all \([\varkappa _{ij}(\tilde{a}_{t}),\ell _{ij}(\tilde{a}_{t})]\in [{\mathcal {L}} ]_{\hat{s}\times \breve{u}}\) and denoted by \([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}=[0,0].\)
Example 3.2
The matrix \([ {\mathcal {L}} ]_{3\times 3}= \begin{pmatrix} [0,0] &{} [0,0] &{} [0,0]\\ [0,0] &{} [0,0] &{} [0,0]\\ [0,0] &{} [0,0] &{} [0,0] \end{pmatrix} \) is a complex Pythagorean fuzzy zero soft matrix.
Definition 3.2
Let \([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}\) and \([{{\ss}} ]_{\hat{s}\times \breve{u}}\) be CPFSMs. Then
- (i).:
-
\([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}\) is a CPFS submatrices of \([{{\ss }}]_{\hat{s}\times \breve{u}}\), denoted by \([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}\subseteq [{{\ss }}]_{\hat{s}\times \breve{u}},\) if \(\varkappa _{ij}(\tilde{a}_{t})\le \Re _{ij}(\tilde{a}_{t})\) and \(\ell _{ij}(\tilde{a}_{t})\ge \eth _{ij}(\tilde{a}_{t})\) for all \([\varkappa _{ij}(\tilde{a}_{t}),\ell _{ij}(\tilde{a}_{t})]\in [{\mathcal {L}} ]_{\hat{s}\times \breve{u}}\) and \([\Re _{ij}(\tilde{a}_{t}),\eth _{ij}(\tilde{a}_{t})]\in [{{\ss }}]_{\hat{s}\times \breve{u}}.\)
- (ii).:
-
\([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}\) is a proper CPFS submatrices of \([{{\ss }} ]_{\hat{s}\times \breve{u}},\) denoted by \([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}\subset [{{\ss }}]_{\hat{s}\times \breve{u} },\) if \(\varkappa _{ij}(\tilde{a}_{t})\le \Re _{ij}(\tilde{a}_{t})\) and \(\ell _{ij}(\tilde{a}_{t})\ge \eth _{ij}(\tilde{a}_{t})\) for all \([\varkappa _{ij}(\tilde{a}_{t}),\ell _{ij}(\tilde{a}_{t})]\in [{\mathcal {L}} ]_{\hat{s}\times \breve{u}}\) and \([\Re _{ij}(\tilde{a}_{t}),\eth _{ij}(\tilde{a}_{t})]\in [{{\ss }}]_{\hat{s}\times \breve{u}},\) and for at least one term \(\varkappa _{ij}(\tilde{a}_{t})<\Re _{ij}(\tilde{a}_{t})\) and \(\ell _{ij}(\tilde{a}_{t})>\eth _{ij}(\tilde{a}_{t}).\)
- (iii).:
-
\([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}\) is an equal CPFSM of \([{{\ss }}]_{\hat{s} \times \breve{u}}\), denoted by \([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}=[{{\ss }}]_{\hat{s}\times \breve{u}}\) if \(\varkappa _{ij}(\tilde{a}_{t})=\Re _{ij}(\tilde{a}_{t})\) and \(\ell _{ij} (\tilde{a}_{t})=\eth _{ij}(\tilde{a}_{t})\) for all \([\varkappa _{ij}(\tilde{a}_{t}),\ell _{ij}(\tilde{a}_{t})]\in [{\mathcal {L}} ]_{\hat{s}\times \breve{u}}\) and \([\Re _{ij}(\tilde{a}_{t}),\eth _{ij}(\tilde{a}_{t})]\in [{{\ss }}]_{\hat{s}\times \breve{u}}.\)
Definition 3.3
Let \([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}\) and \([{{\ss }}]_{\hat{s}\times \breve{u}}\) be CPFSMs. Then the union of \([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}\) and \([{{\ss }}]_{\hat{s}\times \breve{u}},\) denoted by \([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}\cup [{{\ss }}]_{\hat{s}\times \breve{u}}\) and defined as:
for all \([\varkappa _{ij}(\tilde{a}_{t}),\ell _{ij}(\tilde{a}_{t})]\in [{\mathcal {L}} ]_{\hat{s}\times \breve{u}}\) and \([\Re _{ij}(\tilde{a}_{t}),\eth _{ij}(\tilde{a}_{t})]\in [{{\ss }}]_{\hat{s}\times \breve{u}}.\)
Definition 3.4
Let \([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}\) and \([{{\ss }}]_{\hat{s}\times \breve{u}}\) be CPFSMs. Then the intersection of \([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}\) and \([{{\ss }}]_{\hat{s}\times \breve{u}},\) denoted by \([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}\cap [{{\ss }}]_{\hat{s}\times \breve{u}}\) and defined as:
for all \([\varkappa _{ij}(\tilde{a}_{t}),\ell _{ij}(\tilde{a}_{t})]\in [{\mathcal {L}} ]_{\hat{s}\times \breve{u}}\) and \([\Re _{ij}(\tilde{a}_{t}),\eth _{ij}(\tilde{a}_{t})]\in [{{\ss }}]_{\hat{s}\times \breve{u}}.\)
Definition 3.5
The complement of \([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}\) denoted by \([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}^{c}\) and defined as:
for all \([\varkappa _{ij}(\tilde{a}_{t}),\ell _{ij}(\tilde{a}_{t})]\in [{\mathcal {L}} ]_{\hat{s}\times \breve{u}}.\)
Example 3.3
Assume that
Then
and
Definition 3.6
Let \([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}\) and \([{{\ss }}]_{\hat{s}\times \breve{u}}\) be CPFSMs. Then \([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}\) and \([{{\ss }}]_{\hat{s}\times \breve{u}}\) are disjoint if \([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}\cap [{{\ss }}]_{\hat{s}\times \breve{u} }=[0,0]\) for all \(\hat{s}\) and \(\breve{u}.\)
Definition 3.7
Let \([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}\) and \([{{\ss }}]_{\hat{s}\times \breve{u}}\) be CPFSMs. Then, the difference between these two CPFSMs is defined by
for all \([\varkappa _{ij}(\tilde{a}_{t}),\ell _{ij}(\tilde{a}_{t})]\in [{\mathcal {L}} ]_{\hat{s}\times \breve{u}}\) and \([\Re _{ij}(\tilde{a}_{t}),\eth _{ij}(\tilde{a}_{t})]\in [{{\ss }}]_{\hat{s}\times \breve{u}}.\)
Definition 3.8
Let \([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}\) and \([{{\ss }}]_{\hat{s}\times \breve{u}}\) be CPFSMs. Then, the symmetric difference of these two CPFSMs denoted by \([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}\Delta [{{\ss }}]_{\hat{s}\times \breve{u}}\) and is defined as:
for all \([\varkappa _{ij}(\tilde{a}_{t}),\ell _{ij}(\tilde{a}_{t})]\in [{\mathcal {L}} ]_{\hat{s}\times \breve{u}}\) and \([\Re _{ij}(\tilde{a}_{t}),\eth _{ij}(\tilde{a}_{t})]\in [{{\ss }}]_{\hat{s}\times \breve{u}}.\)
Definition 3.9
If we interchange the operation union ‘\(\cup \)’ and intersection ‘\(\cap \)’ to each other in any result for a CPFSM, we obtain the true result. Therefore, if any result is derivable from these operations, so is the true result is obtained by interchanging union by intersection and intersection by union. This is called the duality principle.
Example 3.4
Let
\([\grave{A}_{2\times 2}]= \begin{pmatrix} [0.5,0.8] &{} [0.4,0.6]\\ [0.1,0.7] &{} [0.3,0.9] \end{pmatrix} \) and [sss \(_{2\times 2}]= \begin{pmatrix} [0.8,0.3] &{} [0.6,0.5]\\ [0.4,0.8] &{} [0.2,0.7] \end{pmatrix} \) then
Thus, the commutative law holds concerning the union. Now, to check the duality principle, we have to change the union by an intersection as follows:
Thus, the commutative law again holds. This means that by interchanging the We get the same derivable result by union by intersection and intersection by union.
Ethical approval
This article does not contain any studies with human participants or animals performed by any of the authors.
Main results
Proposition 4.1
Let \([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}\) be a CPFS metric matrix then
- (i):
-
\(([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}^{\bullet })^{\bullet }=[ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}.\)
- (ii).:
-
\([0,0]^{\bullet }=[0,0].\)
Proof
It can be proved easily. \(\square \)
Proposition 4.2
Let \([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}\) and \([{{\ss }}]_{\hat{s}\times \breve{u}}\) be CPFSMs, then De-Margon Laws are valid.
- (i).:
-
\(([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}\cup [{{\ss }}]_{\hat{s}\times \breve{u} })^{\bullet }=[ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}^{\bullet }\cap [{{\ss }}]_{\hat{s} \times \breve{u}}^{\bullet }.\)
- (ii).:
-
\(([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}\cap [{{\ss }}]_{\hat{s}\times \breve{u} })^{\bullet }=[ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}^{\bullet }\cup [{{\ss }}]_{\hat{s} \times \breve{u}}^{\bullet }.\)
Proof
- (i).:
-
For all \(\hat{s},\) \(\breve{u}\),
$$\begin{aligned} ([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}\cup [{{\ss }}]_{\hat{s}\times \breve{u} })^{\bullet }=[\max \{ \varkappa _{ij},\Re _{ij}\},\min \{ \ell _{ij},\eth _{ij}\}]^{\bullet }. \end{aligned}$$For all \([\varkappa _{ij}(\tilde{a}_{t}),\ell _{ij}(\tilde{a}_{t})]\in [{\mathcal {L}} ]_{\hat{s}\times \breve{u}}\) and \([\Re _{ij}(\tilde{a}_{t}),\eth _{ij}(\tilde{a}_{t})]\in [{{\ss }}]_{\hat{s}\times \breve{u}}\) such that \(\varkappa _{ij}\le \Re _{ij}\) and \(\ell _{ij}\le \eth _{ij}\) then
$$\begin{aligned} ([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}\cup [{{\ss }}]_{\hat{s}\times \breve{u} })^{\bullet }&=[\Re _{ij},\ell _{ij}]^{\bullet }\nonumber \\&=[\ell _{ij},\Re _{ij}] \end{aligned}$$(2)also
$$\begin{aligned}{}[{\mathcal {L}} ]_{\hat{s}\times \breve{u}}^{\bullet }\cap [{{\ss }}]_{\hat{s} \times \breve{u}}^{\bullet }&=[\min \{ \ell _{ij},\eth _{ij}\},\max \{ \varkappa _{ij},\Re _{ij}\}]\nonumber \\&=[\ell _{ij},\Re _{ij}]. \end{aligned}$$(3)$$\begin{aligned} ([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}\cup [{{\ss }}]_{\hat{s}\times \breve{u} })^{\bullet }=[ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}^{\bullet }\cap [{{\ss }}]_{\hat{s} \times \breve{u}}^{\bullet }. \end{aligned}$$ - (ii).:
-
By duality principle (ii) is also hold.
\(\square \)
Proposition 4.3
If \([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}},\) \([{{\ss }}]_{\hat{s}\times \breve{u}}\) and \([{\text {\Thorn}}]_{\hat{s}\times \breve{u}}\) are CPFSMs then
- (i).:
-
\([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}=[{{\ss }}]_{\hat{s}\times \breve{u}}\) and \([{{\ss }}]_{\hat{s}\times \breve{u}}=[{\text {\Thorn}}]_{\hat{s}\times \breve{u} }\Longrightarrow [{\mathcal {L}} ]_{\hat{s}\times \breve{u}}=[{\text {\Thorn}}]_{\hat{s}\times \breve{u}}.\)
- (ii).:
-
\([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}\subseteq [{{\ss }}]_{\hat{s}\times \breve{u}}\) and \([{{\ss }}]_{\hat{s}\times \breve{u}}\subseteq [{\mathcal {L}} ]_{\hat{s}\times \breve{u}}\Longleftrightarrow [{\mathcal {L}} ]_{\hat{s}\times \breve{u}}=[{{\ss }}]_{\hat{s}\times \breve{u}}.\)
Proof
- (i).:
-
Assume that \([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}=[{{\ss }}]_{\hat{s}\times \breve{u}}\) and \([{{\ss }}]_{\hat{s}\times \breve{u}}=[{\text {\Thorn}}]_{\hat{s}\times \breve{u} }.\) Then \(\varkappa _{ij}(\tilde{a}_{t})=\Re _{ij}(\tilde{a}_{t})\), \(\ell _{ij}(\tilde{a}_{t})=\eth _{ij}(\tilde{a}_{t})\) and \(\Re _{ij}(\tilde{a} _{t})=\sigma _{ij}^{\prime }(\tilde{a}_{t})\), \(\eth _{ij}(\tilde{a}_{t} )=\sigma _{ij}^{\prime \prime }(\tilde{a}_{t})\) for all \([\varkappa _{ij} (\tilde{a}_{t}),\ell _{ij}(\tilde{a}_{t})]\in [{\mathcal {L}} ]_{\hat{s}\times \breve{u}}\), \([\Re _{ij}(\tilde{a}_{t}),\eth _{ij}(\tilde{a} _{t})]\in [{{\ss }}]_{\hat{s}\times \breve{u}}\) and \([\sigma _{ij}^{\prime }(\tilde{a}_{t}),\sigma _{ij}^{\prime \prime }(\tilde{a}_{t} )]\in [{\text {\Thorn}}]_{\hat{s}\times \breve{u}}.\) So by the transitive property, we have that \(\varkappa _{ij}(\tilde{a}_{t})=\sigma _{ij}^{\prime }(\tilde{a} _{t})\) and \(\ell _{ij}(\tilde{a}_{t})=\sigma _{ij}^{\prime \prime }(\tilde{a} _{t})\). This implies that \([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}=[{\text {\Thorn}}]_{\hat{s}\times \breve{u}}.\)
- (ii).:
-
Assume that \([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}\subseteq [{{\ss }}]_{\hat{s}\times \breve{u}}.\) Then \(\varkappa _{ij}(\tilde{a}_{t})\le \Re _{ij}(\tilde{a}_{t})\) and \(\ell _{ij}(\tilde{a}_{t})\ge \eth _{ij}(\tilde{a}_{t}).\) Also \([{{\ss }} ]_{\hat{s}\times \breve{u}}\subseteq [{\mathcal {L}} ]_{\hat{s}\times \breve{u}}\) implies that \(\Re _{ij}(\tilde{a}_{t})\le \varkappa _{ij}(\tilde{a}_{t})\) and \(\eth _{ij}(\tilde{a}_{t})\ge \ell _{ij}(\tilde{a}_{t}).\) Thus we have \(\varkappa _{ij}(\tilde{a}_{t})=\Re _{ij}(\tilde{a}_{t})\) and \(\ell _{ij}(\tilde{a}_{t})=\eth _{ij}(\tilde{a}_{t})\) and hence \([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}=[{{\ss }}]_{\hat{s}\times \breve{u}}.\) Conversely, assume that \([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}=[{{\ss }}]_{\hat{s}\times \breve{u}}.\) Then for all \([\varkappa _{ij}(\tilde{a}_{t}),\ell _{ij}(\tilde{a}_{t})]\in [{\mathcal {L}} ]_{\hat{s}\times \breve{u}}\), \([\Re _{ij}(\tilde{a}_{t}),\eth _{ij}(\tilde{a} _{t})]\in [{{\ss }}]_{\hat{s}\times \breve{u}},\) we have \(\varkappa _{ij}(\tilde{a}_{t})=\Re _{ij}(\tilde{a}_{t})\) and \(\ell _{ij}(\tilde{a} _{t})=\eth _{ij}(\tilde{a}_{t}).\) This implies that \(\varkappa _{ij}(\tilde{a}_{t})\le \Re _{ij}(\tilde{a}_{t})\) and \(\ell _{ij}(\tilde{a}_{t})\ge \eth _{ij}(\tilde{a}_{t})\) and also \(\Re _{ij}(\tilde{a}_{t})\le \varkappa _{ij}(\tilde{a}_{t})\) and \(\eth _{ij}(\tilde{a}_{t})\ge \ell _{ij}(\tilde{a} _{t}).\) Thus \([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}\subseteq [{{\ss }}]_{\hat{s}\times \breve{u}}\) and \([{{\ss }}]_{\hat{s}\times \breve{u}}\subseteq [{\mathcal {L}} ]_{\hat{s}\times \breve{u}}.\)
\(\square \)
Proposition 4.4
If \([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}},\) \([{{\ss }}]_{\hat{s}\times \breve{u}}\) and \([{\text {\Thorn}}]_{\hat{s}\times \breve{u}}\) are CPFSMs then
- (i).:
-
\([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}\subseteq [{{\ss }}]_{\hat{s}\times \breve{u}}\) and \([{{\ss }}]_{\hat{s}\times \breve{u}}\subseteq [{\text {\Thorn}}]_{\hat{s}\times \breve{u}}\Longrightarrow [{\mathcal {L}} ]_{\hat{s}\times \breve{u}}\subseteq [{\text {\Thorn}}]_{\hat{s}\times \breve{u}}.\)
- (ii).:
-
\([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}\subseteq [{{\ss }}]_{\hat{s}\times \breve{u}}\Longleftrightarrow [{\mathcal {L}} ]_{\hat{s}\times \breve{u}}\cap [{{\ss }}]_{\hat{s}\times \breve{u}}=[ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}.\)
- (iii).:
-
\([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}\subseteq [{{\ss }}]_{\hat{s}\times \breve{u}}\Longleftrightarrow [{\mathcal {L}} ]_{\hat{s}\times \breve{u}}\cup [{{\ss }}]_{\hat{s}\times \breve{u} }=[{{\ss }}]_{\hat{s}\times \breve{u}}.\)
Proof
- (i).:
-
Assume that \([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}\subseteq [{{\ss }}]_{\hat{s}\times \breve{u}}\) and \([{{\ss }}]_{\hat{s}\times \breve{u}}\subseteq [{\text {\Thorn}}]_{\hat{s}\times \breve{u}}.\) Then \(\varkappa _{ij}(\tilde{a} _{t})\le \eth _{ij}(\tilde{a}_{t})\), \(\ell _{ij}(\tilde{a}_{t})\ge \eth _{ij}(\tilde{a}_{t})\) and \(\Re _{ij}(\tilde{a}_{t})\le \sigma _{ij}^{\prime }(\tilde{a}_{t})\), \(\eth _{ij}(\tilde{a}_{t})\ge \sigma _{ij}^{\prime \prime }(\tilde{a}_{t})\) for all \([\varkappa _{ij}(\tilde{a}_{t}),\ell _{ij}(\tilde{a}_{t})]\in [{\mathcal {L}} ]_{\hat{s}\times \breve{u}}\), \([\Re _{ij}(\tilde{a}_{t}),\eth _{ij}(\tilde{a} _{t})]\in [{{\ss }}]_{\hat{s}\times \breve{u}}\) and \([\sigma _{ij}^{\prime },\sigma _{ij}^{\prime \prime }]\in [{\text {\Thorn}}]_{\hat{s}\times \breve{u}}.\) So by the transitive property, we have that \(\varkappa _{ij}(\tilde{a}_{t})\le \sigma _{ij}^{\prime }(\tilde{a}_{t})\) and \(\ell _{ij}(\tilde{a}_{t})\ge \sigma _{ij}^{\prime \prime }(\tilde{a}_{t})\). This implies that \([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}\subseteq [{\text {\Thorn}}]_{\hat{s}\times \breve{u}}.\)
- (ii).:
-
Assume that \([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}\subseteq [{{\ss }}]_{\hat{s}\times \breve{u}}.\) Then for all \([\varkappa _{ij}(\tilde{a}_{t}),\ell _{ij}(\tilde{a} _{t})]\in [{\mathcal {L}} ]_{\hat{s}\times \breve{u}}\), \([\Re _{ij}(\tilde{a}_{t}),\eth _{ij}(\tilde{a} _{t})]\in [{{\ss }}]_{\hat{s}\times \breve{u}},\) we have \(\varkappa _{ij}(\tilde{a}_{t})\le \Re _{ij}(\tilde{a}_{t})\) and \(\ell _{ij}(\tilde{a} _{t})\ge \eth _{ij}(\tilde{a}_{t}).\) Now
$$\begin{aligned}{}[{\mathcal {L}} ]_{\hat{s}\times \breve{u}}\cap [{{\ss }}]_{\hat{s}\times \breve{u}}&=[\min \{ \varkappa _{ij}(\tilde{a}_{t}),\Re _{ij}(\tilde{a}_{t})\},\max \{ \ell _{ij}(\tilde{a}_{t}),\eth _{ij}(\tilde{a}_{t})\} \\&=[\varkappa _{ij}(\tilde{a}_{t}),\ell _{ij}(\tilde{a}_{t})]=[ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}. \end{aligned}$$Conversely, assume that \([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}\cap [{{\ss }}]_{\hat{s}\times \breve{u}}=[ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}.\) This implies that \(\varkappa _{ij}(\tilde{a} _{t})\le \Re _{ij}(\tilde{a}_{t})\) and \(\ell _{ij}(\tilde{a}_{t})\ge \eth _{ij}(\tilde{a}_{t})\) for all \([\varkappa _{ij}(\tilde{a}_{t}),\ell _{ij} (\tilde{a}_{t})]\in [{\mathcal {L}} ]_{\hat{s}\times \breve{u}}\) and \([\Re _{ij}(\tilde{a}_{t}),\eth _{ij}(\tilde{a}_{t})]\in [{{\ss }}]_{\hat{s}\times \breve{u}}.\) Hence \([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}\subseteq [{{\ss }}]_{\hat{s}\times \breve{u}}.\)
- (iii).:
-
Assume that \([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}\subseteq [{{\ss }}]_{\hat{s}\times \breve{u}}.\) Then for all \([\varkappa _{ij}(\tilde{a}_{t}),\ell _{ij}(\tilde{a} _{t})]\in [{\mathcal {L}} ]_{\hat{s}\times \breve{u}}\) and \([\Re _{ij}(\tilde{a}_{t}),\eth _{ij}(\tilde{a}_{t})]\in [{{\ss }}]_{\hat{s}\times \breve{u}},\) we have \(\varkappa _{ij}(\tilde{a}_{t})\le \Re _{ij}(\tilde{a}_{t})\) and \(\ell _{ij}(\tilde{a}_{t})\ge \eth _{ij}(\tilde{a}_{t}).\) Now
$$\begin{aligned}{}[{\mathcal {L}} ]_{\hat{s}\times \breve{u}}\cup [{{\ss }}]_{\hat{s}\times \breve{u}}&=[\max \{ \varkappa _{ij}(\tilde{a}_{t}),\Re _{ij}(\tilde{a}_{t})\},\min \{ \ell _{ij}(\tilde{a}_{t}),\eth _{ij}(\tilde{a}_{t})\} \\&=[\Re _{ij}(\tilde{a}_{t}),\eth _{ij}(\tilde{a}_{t})]=[{{\ss }}]_{\hat{s}\times \breve{u}}. \end{aligned}$$Conversely, assume that \([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}\cup [{{\ss }}]_{\hat{s}\times \breve{u} }=[{{\ss }}]_{\hat{s}\times \breve{u}}.\) This implies that \(\varkappa _{ij}(\tilde{a}_{t})\le \Re _{ij}(\tilde{a}_{t})\) and \(\ell _{ij}(\tilde{a} _{t})\ge \eth _{ij}(\tilde{a}_{t})\) for all \([\varkappa _{ij}(\tilde{a} _{t}),\ell _{ij}(\tilde{a}_{t})]\in [{\mathcal {L}} ]_{\hat{s}\times \breve{u}}\) and \([\Re _{ij}(\tilde{a}_{t}),\eth _{ij}(\tilde{a}_{t})]\in [{{\ss }}]_{\hat{s}\times \breve{u}}.\) Hence \([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}\subseteq [{{\ss }}]_{\hat{s}\times \breve{u}}.\)
\(\square \)
Proposition 4.5
If \([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}\) and \([{{\ss }}]_{\hat{s}\times \breve{u}}\) are CPFSMs then
- (i).:
-
\([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}\cup [{{\ss }}]_{\hat{s}\times \breve{u} }=[{{\ss }}]_{\hat{s}\times \breve{u}}\cup [{\mathcal {L}} ]_{\hat{s}\times \breve{u}}.\)
- (ii).:
-
\([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}\cap [{{\ss }}]_{\hat{s}\times \breve{u} }=[{{\ss }}]_{\hat{s}\times \breve{u}}\cap [{\mathcal {L}} ]_{\hat{s}\times \breve{u}}.\)
Proof
To prove (i), we take two cases here. \(\square \)
Case 1. For all \([\varkappa _{ij}(\tilde{a}_{t}),\ell _{ij}(\tilde{a}_{t})]\in [{\mathcal {L}} ]_{\hat{s}\times \breve{u}}\) and \([\Re _{ij}(\tilde{a}_{t}),\eth _{ij}(\tilde{a}_{t})]\in [{{\ss }}]_{\hat{s}\times \breve{u}}\) such that \(\varkappa _{ij}(\tilde{a}_{t})\le \Re _{ij}(\tilde{a}_{t})\) and \(\ell _{ij}(\tilde{a}_{t})\le \eth _{ij}(\tilde{a}_{t})\) then
Also,
Case 2. If \(\varkappa _{ij}(\tilde{a}_{t})\ge \Re _{ij}(\tilde{a}_{t})\) and \(\ell _{ij}(\tilde{a}_{t})\ge \eth _{ij}(\tilde{a}_{t})\) for all \([\varkappa _{ij}(\tilde{a}_{t}),\ell _{ij}(\tilde{a}_{t})]\in [{\mathcal {L}} ]_{\hat{s}\times \breve{u}}\) and \([\Re _{ij}(\tilde{a}_{t}),\eth _{ij}(\tilde{a}_{t})]\in [{{\ss }}]_{\hat{s}\times \breve{u}}\) then
Also
Thus, in all cases, the commutative law of union holds. (ii). By duality principle (ii) is also hold.
Theorem 4.6
If \([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}},\) \([{{\ss }}]_{\hat{s}\times \breve{u}}\) and \([{\text {\Thorn}}]_{\hat{s}\times \breve{u}}\) are CPFSMs then
- (i).:
-
\(([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}\cup [{{\ss }}]_{\hat{s}\times \breve{u} })\cup [{\text {\Thorn}}]_{\hat{s}\times \breve{u}}=[ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}\cup ([{{\ss }}]_{\hat{s}\times \breve{u}} \cup [{\text {\Thorn}}]_{\hat{s}\times \breve{u}}).\)
- (ii).:
-
\(([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}\cap [{{\ss }}]_{\hat{s}\times \breve{u} })\cap [{\text {\Thorn}}]_{\hat{s}\times \breve{u}}=[ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}\cap ([{{\ss }}]_{\hat{s}\times \breve{u}} \cap [{\text {\Thorn}}]_{\hat{s}\times \breve{u}}).\)
Proof
To prove (i), we take three cases here. \(\square \)
Case 1. For all \([\varkappa _{ij}(\tilde{a}_{t}),\ell _{ij}(\tilde{a}_{t})]\in [{\mathcal {L}} ]_{\hat{s}\times \breve{u}}\), \([\phi _{ij}^{\prime }(\tilde{a}_{t}),\phi _{ij}^{\prime \prime }(\tilde{a}_{t})]\in [{{\ss }}]_{\hat{s} \times \breve{u}}\) and \([\Re _{ij}(\tilde{a}_{t}),\eth _{ij}(\tilde{a}_{t} )]\in [{\text {\Thorn}}]_{\hat{s}\times \breve{u}}\) such that \(\varkappa _{ij}(\tilde{a}_{t})\le \phi _{ij}^{\prime }(\tilde{a}_{t})\le \Re _{ij} (\tilde{a}_{t})\) and \(\ell _{ij}(\tilde{a}_{t})\le \phi _{ij}^{\prime \prime }(\tilde{a}_{t})\le \eth _{ij}(\tilde{a}_{t})\) then
Case 2. For all \([\varkappa _{ij}(\tilde{a}_{t}),\ell _{ij}(\tilde{a}_{t})]\in [{\mathcal {L}} ]_{\hat{s}\times \breve{u}}\), \([\phi _{ij}^{\prime }(\tilde{a}_{t}),\phi _{ij}^{\prime \prime }(\tilde{a}_{t})]\in [{{\ss }}]_{\hat{s} \times \breve{u}}\) and \([\Re _{ij}(\tilde{a}_{t}),\eth _{ij}(\tilde{a}_{t} )]\in [{\text {\Thorn}}]_{\hat{s}\times \breve{u}}\) such that \(\varkappa _{ij}(\tilde{a}_{t})\le \Re _{ij}(\tilde{a}_{t})\le \phi _{ij}^{\prime } (\tilde{a}_{t})\) and \(\ell _{ij}(\tilde{a}_{t})\le \eth _{ij}(\tilde{a}_{t} )\le \phi _{ij}^{\prime \prime }(\tilde{a}_{t})\) then
Equations (10) and (11), implies that
Case 3. For all \([\varkappa _{ij}(\tilde{a}_{t}),\ell _{ij}(\tilde{a}_{t})]\in [{\mathcal {L}} ]_{\hat{s}\times \breve{u}}\), \([\phi _{ij}^{\prime }(\tilde{a}_{t}),\phi _{ij}^{\prime \prime }(\tilde{a}_{t})]\in [{{\ss }}]_{\hat{s} \times \breve{u}}\) and \([\Re _{ij}(\tilde{a}_{t}),\eth _{ij}(\tilde{a}_{t} )]\in [{\text {\Thorn}}]_{\hat{s}\times \breve{u}}\) such that \(\Re _{ij} (\tilde{a}_{t})\le \phi _{ij}^{\prime }(\tilde{a}_{t})\le \varkappa _{ij} (\tilde{a}_{t})\)and \(\eth _{ij}(\tilde{a}_{t})\le \phi _{ij}^{\prime \prime }(\tilde{a}_{t})\le \ell _{ij}(\tilde{a}_{t})\) then
Equations (12) and (13) implies that
Thus, in all cases, the associative law of union holds.
(ii). By duality principle, (ii) is also hold.
Theorem 4.7
If \([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}},\) \([{{\ss }}]_{\hat{s}\times \breve{u}}\) and \([{\text {\Thorn}}]_{\hat{s}\times \breve{u}}\) are CPFSMs then
- (i).:
-
\([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}\cup ([{{\ss }}]_{\hat{s}\times \breve{u}} \cap [{\text {\Thorn}}]_{\hat{s}\times \breve{u}})=([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}\cup [{{\ss }}]_{\hat{s}\times \breve{u} })\cap ([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}\cup [{\text {\Thorn}}]_{\hat{s}\times \breve{u}}).\)
- (ii).:
-
\([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}\cap ([{{\ss }}]_{\hat{s}\times \breve{u}} \cup [{\text {\Thorn}}]_{\hat{s}\times \breve{u}})=([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}\cap ([{{\ss }}]_{\hat{s}\times \breve{u}})\cup ([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}\cap [{\text {\Thorn}}]_{\hat{s}\times \breve{u}}).\)
Proof
To prove (i), we take three cases here. \(\square \)
Case 1. For all \([\varkappa _{ij}(\tilde{a}_{t}),\ell _{ij}(\tilde{a}_{t})]\in [{\mathcal {L}} ]_{\hat{s}\times \breve{u}}\), \([\phi _{ij}^{\prime }(\tilde{a}_{t}),\phi _{ij}^{\prime \prime }(\tilde{a}_{t})]\in [{{\ss }}]_{\hat{s} \times \breve{u}}\) and \([\Re _{ij}(\tilde{a}_{t}),\eth _{ij}(\tilde{a}_{t} )]\in [{\text {\Thorn}}]_{\hat{s}\times \breve{u}}\) such that \(\varkappa _{ij}(\tilde{a}_{t})\le \phi _{ij}^{\prime }(\tilde{a}_{t})\le \Re _{ij} (\tilde{a}_{t})\) and \(\ell _{ij}(\tilde{a}_{t})\le \phi _{ij}^{\prime \prime }(\tilde{a}_{t})\le \eth _{ij}(\tilde{a}_{t})\) then
Case 2. For all \([\varkappa _{ij}(\tilde{a}_{t}),\ell _{ij}(\tilde{a}_{t})]\in [{\mathcal {L}} ]_{\hat{s}\times \breve{u}}\), \([\phi _{ij}^{\prime }(\tilde{a}_{t}),\phi _{ij}^{\prime \prime }(\tilde{a}_{t})]\in [{{\ss }}]_{\hat{s} \times \breve{u}}\) and \([\Re _{ij}(\tilde{a}_{t}),\eth _{ij}(\tilde{a}_{t} )]\in [{\text {\Thorn}}]_{\hat{s}\times \breve{u}}\) such that \(\varkappa _{ij}(\tilde{a}_{t})\le \Re _{ij}(\tilde{a}_{t})\le \phi _{ij}^{\prime } (\tilde{a}_{t})\) and \(\ell _{ij}(\tilde{a}_{t})\le \eth _{ij}(\tilde{a}_{t} )\le \phi _{ij}^{\prime \prime }(\tilde{a}_{t})\) then
Case 3. For all \([\varkappa _{ij}(\tilde{a}_{t}),\ell _{ij}(\tilde{a}_{t})]\in [{\mathcal {L}} ]_{\hat{s}\times \breve{u}}\), \([\phi _{ij}^{\prime }(\tilde{a}_{t}),\phi _{ij}^{\prime \prime }(\tilde{a}_{t})]\in [{{\ss }}]_{\hat{s} \times \breve{u}}\) and \([\Re _{ij}(\tilde{a}_{t}),\eth _{ij}(\tilde{a}_{t} )]\in [{\text {\Thorn}}]_{\hat{s}\times \breve{u}}\) such that \(\Re _{ij} (\tilde{a}_{t})\le \phi _{ij}^{\prime }(\tilde{a}_{t})\le \varkappa _{ij} (\tilde{a}_{t})\)and \(\eth _{ij}(\tilde{a}_{t})\le \phi _{ij}^{\prime \prime }(\tilde{a}_{t})\le \ell _{ij}(\tilde{a}_{t})\) then
Thus, the distributive law of union over intersection holds in all cases.
(ii). By duality principle (ii) is also hold.
Distance measures of complex Pythagorean fuzzy soft matrices
In this section, we will define a novel distance measure for CPFSMs. Distance measures of CPFSMs have far-reaching significance and applications in various fields, including decision-making, uncertainty analysis, and data analytics. These measures enable the assessment of similarity and dissimilarity between CPFSMs, which is crucial for evaluating alternative solutions, identifying patterns, and optimizing complex systems. In decision-making, distance measures of CPFSMs help select the most suitable option by quantifying the proximity between alternatives. In uncertainty analysis, they facilitate the evaluation of uncertainty levels and risk assessment. Additionally, distance measures of CPFSMs have applications in image processing, natural language processing, and recommender systems, which aid in image segmentation, text classification, and personalized recommendations. Furthermore, they are useful in social network analysis, clustering, and classification, enabling the identification of influential nodes, clusters, and patterns. Overall, distance measures of CPFSMs provide a powerful tool for analyzing and understanding complex data, leading to more informed decisions and improved outcomes.
Definition 5.1
***A distance measure of CPFSMs is a function \(\amalg :M_{\hat{s}\times \breve{u} }\times M_{\hat{s}\times \breve{u}}\rightarrow [0,1]\) with the properties: for any \([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}=[\varkappa _{ij}(q_{t}),\ell _{ij}(q_{t})], [{{\ss}}]_{\hat{s}\times \breve{u}}=[\phi _{ij}^{\prime }(q_{t}),\phi _{ij}^{\prime \prime }(q_{t})],\) and \([{\text {\Thorn}}]_{\hat{s}\times \breve{u}} =[\Re _{ij}(q_{t}),\eth _{ij}(q_{t})]\in M_{\hat{s}\times \breve{u}}\)
- i).:
-
\(0\le \amalg ([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}},[{{\ss }}]_{\hat{s}\times \breve{u}})\le 1,\) \(\amalg ([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}},[{{\ss }}]_{\hat{s}\times \breve{u}})=0\) if and only if \([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}=[{{\ss }}]_{\hat{s}\times \breve{u}}.\)
- ii).:
-
\(\amalg ([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}},[{{\ss }}]_{\hat{s}\times \breve{u}})=\amalg ([{{\ss }}]_{\hat{s}\times \breve{u}},[ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}).\)
- iii).:
-
\(\amalg ([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}},[{\text {\Thorn}}]_{\hat{s}\times \breve{u}})\le \amalg ([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}},[{{\ss }}]_{\hat{s}\times \breve{u}})+\amalg ([{{\ss }}]_{\hat{s}\times \breve{u}},[{\text {\Thorn}}]_{\hat{s}\times \breve{u}}).\)
We introduce the distance measure \(\amalg \) as:
Note that the distance measure \(\amalg \) plays a key role in the remainder of this paper.
Example 5.1
Let
\([ {\mathcal {L}} _{2\times 2}]= \begin{pmatrix} [0.5,0.8] &{} [0.4,0.6]\\ [0.1,0.7] &{} [0.3,0.9] \end{pmatrix} \) and [sss \(_{2\times 2}]= \begin{pmatrix} [0.8,0.3] &{} [0.6,0.5]\\ [0.4,0.8] &{} [0.2,0.7] \end{pmatrix} \) then
Theorem 5.2
The function \(\amalg \) defined by the equality (20) is a distance measure of CPFSMs on U.
Proof
The condition \(\amalg ([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}},[{{\ss }}]_{\hat{s}\times \breve{u}})\ge 0\) obviously holds. Next, consider
Therefore \(\amalg ([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}},[{{\ss }}]_{\hat{s}\times \breve{u}})\le 1.\)
Note that if \(\breve{u}=1,\) then \(\amalg ([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}, [{{\ss }}]_{\hat{s}\times \breve{u}})=1.\)
Condition (ii) is straightforward. To prove (iii), we have
Hence \(\amalg ([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}},[{\text {\Thorn}}]_{\hat{s}\times \breve{u}})\le \amalg ([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}},[{{\ss }}]_{\hat{s}\times \breve{u}})+\amalg ([{{\ss }}]_{\hat{s}\times \breve{u}},[{\text {\Thorn}}]_{\hat{s}\times \breve{u}}).\)\(\square \)
Definition 5.2
A weighted distance measure of CPFSMs is a function \(\amalg _{w}:M_{\hat{s}\times \breve{u}}\times M_{\hat{s}\times \breve{u}}\rightarrow [0,1]\) with the properties: for any \([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}=[\varkappa _{ij}(\tilde{a}_{t}),\ell _{ij}(\tilde{a}_{t})], [{{\ss }}]_{\hat{s}\times \breve{u}}=[\phi _{ij}^{\prime }(\tilde{a}_{t}),\phi _{ij}^{\prime \prime }(\tilde{a}_{t})],\) and \( {{\text {\Thorn}}}_{\hat{s}\times \breve{u}}=[\Re _{ij}(\tilde{a}_{t}),\eth _{ij}(\tilde{a}_{t})]\in \hat{s}_{\hat{s}\times \breve{u}}\)
- i.:
-
\(0\le \amalg _{w}([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}},[{{\ss }}]_{\hat{s}\times \breve{u}})\le 1,\) \(\amalg _{w}([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}},[{{\ss }}]_{\hat{s}\times \breve{u}})=0\) if and only if \([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}=[{{\ss }}]_{\hat{s}\times \breve{u}}.\)
- ii.:
-
\(\amalg _{w}([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}},[{{\ss }}]_{\hat{s}\times \breve{u}})=\amalg _{w}([{{\ss }}]_{\hat{s}\times \breve{u}},[ {\mathcal {L}} ]_{\hat{s}\times \breve{u}}).\)
- iii.:
-
\(\amalg _{w}([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}},[{\text {\Thorn}}]_{\hat{s}\times \breve{u}})\le \amalg _{w}([ {\mathcal {L}} ]_{\hat{s}\times \breve{u}},[{{\ss }}]_{\hat{s}\times \breve{u}})+\amalg _{w} ([{{\ss }}]_{\hat{s}\times \breve{u}},[{\text {\Thorn}}]_{\hat{s}\times \breve{u}}).\)
We introduce the weighted distance measure \(\amalg _{w}\) as:
where \(w_{t}\) is a weighted vector corresponding to each parameter.
Theorem 5.3
The function \(\amalg \) defined by the equality (21) is a distance measure of CPFSMs on U.
Proof
It is easy to prove. \(\square \)
Applications of complex Pythagorean fuzzy soft matrix in decision-making
CPFSMs have many applications in DM problems due to their ability to handle uncertain, complex, and vague information. CPFSMs are applied in MCDM to evaluate alternatives based on multiple criteria. By incorporating degrees of membership and non-membership, CPFSMs can effectively model the uncertainty and ambiguity inherent in DM processes involving various criteria. CPFSMs provide a robust framework for solving, analyzing, and modeling complex DM problems, thereby enhancing the reliability and quality of decisions made in practical applications.
We discuss the subsequent definitions of a DM matrix, considering the notions of a CPFSM.
Definition 6.1
Assume there are n evaluation objects (scheme set), \(\hbar =\{ \hbar _{1} ,\hbar _{2},...,\hbar _{n}\}\) in a multiattribute DM problem and m evaluation attributes form an index set \(\wp =\{ \wp _{1},\wp _{2},...,\wp _{m}\}.\) The attribute value of scheme \(\hbar _{i}\) for index \(\wp _{j}\) is \([\varkappa _{ij}^{\prime },\varkappa _{ij}^{\prime \prime }]\) \((i=1,2,...,n\) ; \(j=1,2,...,m).\) So the CPFS DM matrix of the scheme set \(\hbar \) for the index set \(\wp \) is
Here the terms \(\varkappa _{ij}^{\prime }\) and \(\varkappa _{ij}^{\prime \prime }\) \((i=1,2,...,n\) ; \(j=1,2,...,m)\) denote the truth grade (TG) and false grade (FG) of the CPFS decision matrix.
Normalization process
In the normalization process, we normalize the TG and FG of the CPFS DM matrix as follows:
This normalization process transforms the CPFS DM matrix \(\chi \) into CPFS DM matrix \(\Gamma \):
Definition 6.2
Assume that
and thus
is called positive CPFS DM matrix for scheme \(\hbar _{i}\).
Definition 6.3
Assume that
and thus
is called negative CPFS DM matrix for scheme \(\hbar _{i}\).
Graphical representation of algorithm
The graphical representation of an algorithm is given below in Fig. 1:
Algorithm
Below are the steps outlining our algorithm for addressing a standard DM problem utilizing the CPFSM alongside positive and negative CPFS DM matrices.
Step 1.
Construct the CPFS DM matrix \(\chi \) corresponding to CPFS sets.
Step 2.
Normalize the CPFS DM matrices \(\chi _{i}\) into CPFS DM matrix \(\Gamma _{i}.\)
Step 3.
Compute the CPFSMs of each scheme \(\hbar _{i}\).
Step 4.
Compute each scheme’s positive and negative CPFSMs \(\hbar _{i}\).
Step 5.
Find the distance measures between positive and negative CPFS DM matrices.
Step 6.
Rank the scheme based on distance measures of CPFSMs.
The scheme will be better if the distance measures between positive and The scheme’s adverse CPFS decision-making matrices are more significant than the other distances.
A case analysis
Suppose an iPhone mobile company invests in three enterprises (schemes). Let \(\hbar =\{ \hbar _{1}=social\) benefit \(index,\hbar _{2}=environment\) \(pollution,\hbar _{3}=economic\) benefit \(index\}.\) The expert team conducts investigations and participates in evaluating these three enterprises from 2018 to 2020. Let \(\wp =\{ \wp _{1},\wp _{2},\wp _{3}\}\) be an index set. The expert team presents the evaluation results for each index as CPFS sets.
Now, for 2018, we have
\([\chi (\hbar _{1})]=\{(\wp _{1},\) \((0.2e^{i\frac{\pi }{2}},0.5e^{i\pi })),(\wp _{2},(0.1e^{i\frac{3\pi }{2}},0.8e^{i2\pi })),(\wp _{3},(0.6e^{i\frac{\pi }{2} },0.8e^{i\pi }))\},\)
\([\chi (\hbar _{2})]=\{(\wp _{1},\) \((0.5e^{i\frac{3\pi }{2}},0.7e^{i\pi } )),(\wp _{2},(0.4e^{i2\pi },0.6e^{i\frac{\pi }{2}})),(\wp _{3},(0.8e^{i\frac{\pi }{4}},0.3e^{i\frac{\pi }{2}}))\},\)
\([\chi (\hbar _{3})]=\{(\wp _{1},\) \((0.4e^{i\pi },0.6e^{i2\pi })),(\wp _{2},(0.2e^{i\pi },0.8e^{i\frac{3\pi }{2}})),(\wp _{3},(0.5e^{i\frac{\pi }{2} },0.3e^{i\frac{\pi }{4}}))\}.\)
For 2019, we have
\([\chi (\hbar _{1})]=\{(\wp _{1},\) \((1e^{i\frac{\pi }{2}},0e^{i\pi })),(\wp _{2},(0.8e^{i\frac{3\pi }{2}},0.3e^{i2\pi })),(\wp _{3},(0.7e^{i\frac{\pi }{2} },0.1e^{i\pi }))\},\)
\([\chi (\hbar _{2})]=\{(\wp _{1},\) \((0.2e^{i\frac{3\pi }{2}},0.7e^{i\pi } )),(\wp _{2},(0.9e^{i2\pi },0.2e^{i\frac{\pi }{2}})),(\wp _{3},(0.7e^{i\frac{\pi }{4}},0.3e^{i\frac{\pi }{2}}))\},\)
\([\chi (\hbar _{3})]=\{(\wp _{1},\) \((0.8e^{i\pi },0.6e^{i2\pi })),(\wp _{2},(0.5e^{i\pi },0.6e^{i\frac{3\pi }{2}})),(\wp _{3},(1e^{i\frac{\pi }{2} },0e^{i\frac{\pi }{4}}))\}.\)
For 2020, we have
\([\chi (\hbar _{1})]=\{(\wp _{1},\) \((0.2e^{i\frac{\pi }{2}},0.7e^{i\pi })),(\wp _{2},(0.4e^{i\frac{3\pi }{2}},0.7e^{i2\pi })),(\wp _{3},(0.8e^{i\frac{\pi }{2} },0.3e^{i\pi }))\},\)
\([\chi (\hbar _{2})]=\{(\wp _{1},\) \((0.5e^{i\frac{3\pi }{2}},0.8e^{i\pi } )),(\wp _{2},(1e^{i2\pi },0e^{i\frac{\pi }{2}})),(\wp _{3},(0.2e^{i\frac{\pi }{4} },0.9e^{i\frac{\pi }{2}}))\},\)
\([\chi (\hbar _{3})]=\{(\wp _{1},\) \((0.4e^{i\pi },0.9e^{i2\pi })),(\wp _{2},(0.2e^{i\pi },0.8e^{i\frac{3\pi }{2}})),(\wp _{3},(0.5e^{i\frac{\pi }{2} },0e^{i\frac{\pi }{4}}))\}.\)
Step 1.
The CPFS DM matrix \(\chi \) during the three years is given below:
Step 2.
Normalize the CPFS DM matrices \(\chi _{i}\) into CPFS DM matrix \(\Gamma _{i}.\)
Step 3.
The CPFSMs of the scheme \(\hbar _{1},\) \(\hbar _{2},\) and \(\hbar _{3}\) are:
Step 4.
Following the definitions 6.2 and 6.3, we compute the positive and negative CPFS DM matrices of scheme \(\hbar _{1},\) \(\hbar _{2},\) and \(\hbar _{3}\) i.e.,
Step 5.
The distance measures between positive and negative CPFS DM matrices of the schemes \(\hbar _{1},\) \(\hbar _{2},\) and \(\hbar _{3}\) are:
Step 6.
Since \(\amalg ([\hbar _{1}^{+}]_{3\times 3},[\hbar _{1}^{-}]_{3\times 3} )>\amalg ([\hbar _{2}^{+}]_{3\times 3},[\hbar _{2}^{-}]_{3\times 3})>\amalg ([\hbar _{3}^{+}]_{3\times 3},[\hbar _{3}^{-}]_{3\times 3}).\) Therefore, we conclude that the scheme \(\hbar _{1}=social\) benefit index is better choice for investment.
Comparison analysis
Here, we have examined the comparison of the proposed CPFSMs with the intuitionistic fuzzy soft matrices (IFSMs)27 and CFSMs20. With the help of some restrictions on the proposed structure of CPFSSs and CPFSMs, it is proposed that it can be reduced to the environments of PFSMs and CFSMs. The comparison is demonstrated in Remarks 7.1 and 7.2. The numerical data in the environment of CFSMs is also considered. Moreover, we discussed the advantages of the proposed CPFSMs.
Remark 7.1
27 The proposed distance measure of CPFSMs reduce to the the environment of IFSSs if we consider the imaginary part as zero in truth grade and false grade and take \(0\le \varkappa _{ij}(\tilde{a}_{t})+\ell _{ij}(\tilde{a}_{t})\le 1\) and \(0\le \phi _{ij}^{\prime }(\tilde{a}_{t} )+\phi _{ij}^{\prime \prime }(\tilde{a}_{t})\le 1\) then
Equation (22) represents the distance measure in the environment of IFSSs.
Remark 7.2
20 The distance measure of CPFSMs reduces to the distance the measure of CFSMs if we considered the false grade of CPFSSs as zero, then we have
where \(\varkappa _{ij}(\tilde{a}_{t}),\phi _{ij}^{\prime }(\tilde{a}_{t} )\in [0,1].\)
The distance measure mentioned in Remark 1 can be employed in DM problems. Now, let’s explore the DM problem within the context of IFSMs.
The intuitionistic fuzzy soft (IFS) information regarding the evaluation of the index is provided below.
Now, for 2018, we have
\([\chi (\hbar _{1})]=\{(\wp _{1},\) \((0.2,0.5)),(\wp _{2},(0.1,0.8)),(\wp _{3},(0.3,0.5))\},\)
\([\chi (\hbar _{2})]=\{(\wp _{1},\) \((0.5,0.4)),(\wp _{2},(0.4,0.6)),(\wp _{3},(0.8,0.1))\},\)
\([\chi (\hbar _{3})]=\{(\wp _{1},\) \((0.4,0.6)),(\wp _{2},(0.2,0.8)),(\wp _{3},(0.5,0.3))\}.\)
For 2019, we have
\([\chi (\hbar _{1})]=\{(\wp _{1},\) \((1,0)),(\wp _{2},(0.7,0.3)),(\wp _{3},(0.7,0.1))\},\)
\([\chi (\hbar _{2})]=\{(\wp _{1},\) \((0.2,0.7)),(\wp _{2},(0.6,0.2)),(\wp _{3},(0.7,0.3))\},\)
\([\chi (\hbar _{3})]=\{(\wp _{1},\) \((0.8,0.1)),(\wp _{2},(0.3,0.6)),(\wp _{3},(1,0))\}.\)
For 2020, we have
\([\chi (\hbar _{1})]=\{(\wp _{1},\) \((0.2,0.7)),(\wp _{2},(0.1,0.7)),(\wp _{3},(0.6,0.3))\},\)
\([\chi (\hbar _{2})]=\{(\wp _{1},\) \((0.5,0.2)),(\wp _{2},(1,0)),(\wp _{3},(0.2,0.8))\},\)
\([\chi (\hbar _{3})]=\{(\wp _{1},\) \((0.4,0.6)),(\wp _{2},(0.2,0.8)),(\wp _{3},(0.5,0))\}.\)
The IFS DM matrix \(\chi \) during the three years are given below:
Normalize the IFS DM matrices \(\chi _{i}\) into IFS DM matrix \(\Gamma _{i}.\)
The IFSMs of the scheme \(\hbar _{1},\) \(\hbar _{2},\) and \(\hbar _{3}\) are:
Following the definitions 6.2 and 6.3, we compute the positive and negative IFS DM matrices of scheme \(\hbar _{1},\) \(\hbar _{2},\) and \(\hbar _{3}\) i.e.,
The distance measures between positive and negative IFS DM matrices of the schemes \(\hbar _{1},\) \(\hbar _{2},\) and \(\hbar _{3}\) are:
Since \(\amalg ([\hbar _{1}^{+}]_{3\times 3},[\hbar _{1}^{-}]_{3\times 3} )>\amalg ([\hbar _{2}^{+}]_{3\times 3},[\hbar _{2}^{-}]_{3\times 3})>\amalg ([\hbar _{3}^{+}]_{3\times 3},[\hbar _{3}^{-}]_{3\times 3}).\) Therefore, we conclude that the scheme \(\hbar _{1}=social\) benefit index is better choice for investment.
The distance measure mentioned in Remark 2 can be employed in DM problems. Now, let’s explore the DM problem within the context of CFSMs.
The complex fuzzy soft information regarding the evaluation of the index is provided below.
The CFS DM matrix \(\chi \) during the three years is given below:
Normalize the CFS DM matrices \(\chi _{i}\) into CFS DM matrix \(\Gamma _{i}.\)
The positive and negative CPFS DM matrices of scheme \(\hbar _{1},\) \(\hbar _{2},\) and \(\hbar _{3}\) i.e.,
The distance measures between positive and negative CFS decision-making matrices of the schemes \(\hbar _{1},\) \(\hbar _{2},\) and \(\hbar _{3}\) are:
Therefore, we conclude that the scheme \(\hbar _{3}\) is a better choice for investment.
problems, particularly in dynamic and uncertain environments.
Conclusion
Complex fuzzy soft matrices and CPFSMs are both mathematical tools used for handling uncertainty and complexity in decision-making problems. But CPFSMs handle membership and non-membership functions, which can capture more complex and nuanced uncertainty. The novel notions of CPFSMs were defined in this paper. Basic CPFSM laws and attributes were explored. The set-theoretic operations, particular examples, and main results on CPFSMs were considered. A few novel distance metrics between two CPFSMs were presented by us. In the context of CPFSSs and CPFSMs, we developed a CPFS DM technique. We talked about how CPFSMs have been used to decision-making difficulties, with encouraging findings that have produced more precise and knowledgeable decision-making outcomes. Additionally, the comparison analysis of CFSMs and CPFSMs was presented. CPFSMs offer more advance and flexible tools for handling complex uncertainty, making them a better choice for intricate decision-making problems, while CFSMs remain suitable for relatively simpler uncertainty scenarios.
In the future, the researchers intend to expand upon the discussed work to encompass interval-valued CPFSMs, complex neutrosophic soft matrices, and other related areas, aiming to enhance the quality of their research endeavors.
Data availibility
The datasets used and/or analyzed during the current study available from the corresponding author on reason-able request.
References
Molodtsov, D. Soft Set Theory-First Results. Comput. Math. Appl. 37, 19–31 (1999).
Maji, P. K., & Biswas, R. (2001). Fuzzy softs.
Rehman, N., Ali, A. & Park, C. Note on fuzzy soft sets and fuzzy soft lattices. Revista de la Real Academia de Ciencias Exactas,, Físicas y Naturales. Serie A. Matemáticas 113(1), 41–48 (2019).
Ameri, R., Norouzi, M. & Hedayati, H. Application of fuzzy sets and fuzzy soft sets in hypermodules. Revista de la Real Academia de Ciencias Exactas. Fisicas y Naturales. Serie A. Matematicas 107(2), 327–338 (2013).
Rehman, N., Shah, N., Ali, M. I. & Park, C. Uncertainty measurement for neighborhood based soft covering rough graphs with applications. Revista de la Real Academia de Ciencias Exactas Físicas y Naturales. Serie A Matemáticas 113(3), 2515–2535 (2019).
Maji, P. K., Biswas, R. & Roy, A. R. Soft set theory. Comput. Math. Appl. 45, 555–562 (2003).
Maj, P. K., Biswas, R. & Roy, A. R. An application of soft sets in a decision making problem. Comput. Math. Appl. 44, 1077–1083 (2002).
Zeb, A., Khan, A., Juniad, M. & Izhar, M. Fermatean fuzzy soft aggregation operators and their application in symptomatic treatment of COVID-19 (case study of patients identification). J. Ambient. Intell. Humaniz. Comput. 14(9), 11607–11624 (2023).
Peng, X., Yang, Y. & Song, J. Pythagoren fuzzy soft set and its application. Comput. Eng. 41, 224–229 (2015).
Athira, T. M., John, S. J. & Garg, H. Entropy and distance measures of pythagorean fuzzy soft sets and their applications. J. Intell. Fuzzy Syst. 37, 4071–4084 (2019).
Athira, T. M., John, S. J. & Garg, H. A novel entropy measure of Pythagorean fuzzy soft sets. AIMS Math. 5(2), 1050–1061 (2020).
Naeem, K., Riaz, M., Peng, X. & Afzal, D. Pythagorean fuzzy soft MCGDM methods based on TOPSIS, VIKOR and aggregation operators. J. Intell. Fuzzy Syst. 37(5), 6937–6957 (2019).
Zulqarnain, R. M., Xin, X. L., Garg, H. & Khan, W. A. Aggregation operators of pythagorean fuzzy soft sets with their application for green supplier chain management. J. Intell. Fuzzy Syst. 40(3), 5545–5563 (2021).
Zhang, H., Jia-Hua, D. & Yan, C. Multi-attribute group decision-making methods based on pythagorean fuzzy N-soft sets. IEEE Access 8, 62298–62309 (2020).
Jia-hua, D., Zhang, H. & He, Y. Possibility Pythagorean fuzzy soft set and its application. Jo. Intell. Fuzzy Syst. 36(1), 413–421 (2019).
Zeb, A., Khan, A., Fayaz, M. & Izhar, M. Aggregation operators of Pythagorean fuzzy bi-polar soft sets with application in multiple attribute decision making. Granul. Comput. 7(4), 931–950 (2022).
Çağman, N. & Enginoğlu, S. Soft matrix theory and its decision making. Comput. Math. Appl. 59, 3308–3314 (2010).
Çağman, N. & Enginoğlu, S. Fuzzy soft matrix theory and its applications in decision making. Iran J. Fuzzy Syst. 9(1), 109–119 (2012).
Naim, C. & Serdar, E. Soft matrix theory and its decision making. Comput. Math. Appl. 59, 3308–3314 (2010).
Khan, K., Saima, S. A., Song, S. Z. & Youngbae, J. U. Complex fuzzy soft matrices with applications. Hacet. J. Math. Stat. 149(2), 676–83 (2020).
Yong, Y. & Chenli, J. Fuzzy soft matrices and their applications. Lect. Notes Comput. Sci. 7002, 618–627 (2011).
Chetia, B. & Das, P. K. Some results of Intuitionistic fuzzy soft matrix theory. Adv. Appl. Sci. Res. 3, 412–423 (2012).
Guleria, A. & Bajaj, R. K. On Pythagorean fuzzy soft matrices, operations and their applications in decision making and medical diagnosis. Soft. Comput. 23(17), 7889–7900 (2019).
Akram, M., Wasim, F. & Karaaslan, F. MCGDM with complex Pythagorean fuzzy-soft model. Expert. Syst. 38(8), e12783 (2021).
Zeb, A. et al. Optimizing decision-making in electric power system selection: A generalized approach based on Hamacher aggregation operators for q-rung orthopair fuzzy soft sets. Appl. Energy 367, 123405 (2024).
Jan, N., Gwak, J., Jeon, Y. & Akram, B. Investigation of blockchain technology by using the innovative concepts of complex Pythagorean fuzzy soft information. Complexityhttps://doi.org/10.1155/2022/2274684 (2022).
Zulqarnain, R. M. et al. Application of intuitionistic fuzzy soft matrices for disease diagnosis. Int. J. Discret. Math. 5(1), 4–9 (2020).
Acknowledgements
The authors extend their appreciation to Taif University, Saudi Arabia, for supporting this work through project number (TU-DSPP-2024-87).
Funding
This research was funded by Taif University, Saudi Arabia, project No (TU-DSPP-2024-87).
Author information
Authors and Affiliations
Contributions
R.S. conceptualized the study; M. Z. designed the methodology; M. K. was responsible for software; R. S. was responsible for formal analysis; R. S. and M. Z. were responsible for the investigation of the study; R. S and M. K. was responsible for the resources; R. S. wrote the original draft; R. S. was responsible for reviewing and editing; R. S. supervised the study; A. A and S. A.. was responsible for project administration; T. B. B. was responsible for funding acquisition.
Corresponding author
Ethics declarations
Competing interests
The authors declare no competing interests.
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
Zeeshan, M., Khan, M., Shafqat, R. et al. Novel similarity measures under complex pythagorean fuzzy soft matrices and their application in decision making problems. Sci Rep 14, 17129 (2024). https://doi.org/10.1038/s41598-024-65324-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/s41598-024-65324-6
- Springer Nature Limited