In this section, some basic concepts of DHHFLTSs, prospect theory and fuzzy measure are introduced briefly.
Double hierarchy hesitant fuzzy linguistic term sets
In order to improve the accuracy of the expression of linguistic terms, Gou et al. (2017) defined the DHLTS.
Definition 2.1
(Gou et al., 2017) Given that \(S=\{s_{t}|t=-\tau ,\ldots ,-1,0,1,\ldots ,\tau \}\) and \(O=\{o_{k}|k=-\zeta ,\ldots ,-1,0,1,\ldots ,\zeta \}\) are the first and second hierarchy LTSs, respectively. Then, the mathematical form of DHLTS, \(S_{o}\), is displayed as follows:
$$\begin{aligned} S_{o}=\{s_{t\langle o_{k}\rangle }|t=-\tau ,\ldots ,-1,0,1,\ldots ,\tau ;k=-\zeta ,\ldots ,-1,0,1,\ldots ,\zeta \}, \end{aligned}$$
(1)
among them, \(s_{t\langle o_{k}\rangle }\) represents the DHLT, \(s_{t}\) denotes the first hierarchy linguistic term, \(o_{k}\) denotes the second hierarchy linguistic term.
It is worth noting that the order of the second hierarchy LTS needs to be shown on basis of the values of t.
Remark 2.1
(Gou et al., 2017) There are four types of propositions which are displayed based on different values of t: (1) If \(t>0\), then the first hierarchy LTS is positive, and the second hierarchy LTS needs to be displayed in ascending order. (2) If \(t<0\), then the first hierarchy LTS is negative, the second hierarchy LTS needs to be displayed in descending order inversely. (3) If \(t=\tau \), then we just think about the front half of the second hierarchy LTS. (4) If \(t=-\tau \), then we think about the latter half of the second hierarchy LTS.
In order to deal with DHLT easier, Gou et al. (2017) proposed two transformed functions between the numerical scale and the subscript of the DHLT.
Definition 2.2
(Gou et al., 2017) Given that \({\overline{S}}_{o}=\{s_{t\langle o_{k}\rangle }|t\in [-\tau ,\tau ];k\in [-\zeta ,\zeta ]\}\) is a continuous DHLTS, \(h_{S_{o}}=\{s_{\phi _{l}<o_{\varphi _{l}}>}|s_{\phi _{l}<o_{\varphi _{l}}>}\in {\overline{S}}_{o};l=1,2,\ldots ,L;\phi _{l}\in [-\tau ,\tau ];\varphi _{l}\in [-\zeta ,\zeta ]\}\) is a double hierarchy hesitant fuzzy linguistic element (DHHFLE), and \(h_{\gamma }=\{\gamma _{l}|\gamma _{l}\in [0,1];l=1,2,\ldots ,L\}\) is a set of numerical scales. There are a transformed function f between the numerical scale and the subscript \((\phi _{l},\varphi _{l})\) of the DHLT \(s_{\phi _{l}<o_{\varphi _{l}}>}\):
$$\begin{aligned} f:[-\tau ,\tau ]\times [-\varsigma ,\varsigma ]\rightarrow [0,1], \end{aligned}$$
$$\begin{aligned} f(\phi _{l},\varphi _{l})=\frac{\varphi _{l}+(\tau +\phi _{l})\varsigma }{2\varsigma \tau }=\gamma _{l}. \end{aligned}$$
(2)
In light of Definition 2.2, we can develop the transformation function F between the DHLT \(s_{\phi _{l}<o_{\varphi _{l}}>}\) and the numerical scale \(\gamma _{l}\).
$$\begin{aligned} F: {\overline{S}}_{o}\rightarrow h_{\gamma }, F(s_{\phi _{l}<o_{\varphi _{l}}>})=f(\phi _{l},\varphi _{l})=\gamma _{l}. \end{aligned}$$
(3)
Taking into account the hesitant fuzzy situation, Gou et al. (2017) defined DHHFLTSs.
Definition 2.3
(Gou et al., 2017) Given that X is a fixed set, \(H_{S_{o}}\) represents a DHHFLTS on X. It is defined by a membership function. The function applied to X returns a subset of \({\overline{S}}_{o}\), and its mathematical form is displayed as follows:
$$\begin{aligned} H_{S_{o}}=\{<x_{i},h_{S_{o}(x_{i})}>|x_{i}\in X\}, \end{aligned}$$
(4)
where \(h_{S_{o}(x_{i})}\) is a set of some values in \({\overline{S}}_{o}\), expressed by
$$\begin{aligned} \begin{aligned}&h_{S_{o}}(x_{i})=\{s_{\phi _{l}<o_{\varphi _{l}}>}(x_{i})|s_{\phi _{l}<o_{\varphi _{l}}>}\in {\overline{S}}_{o};l=1,2,\ldots ,L;\phi _{l}\in [-\tau ,\tau ];\varphi _{l}\in [-\zeta ,\zeta ]\}, \end{aligned} \end{aligned}$$
(5)
among them, L represents the number of DHLT in \(h_{S_{o}}(x_{i})\) and \(s_{\phi _{l}<o_{\varphi _{l}}>}(x_{i})(l=1,2,\ldots ,L)\) in each \(h_{S_{o}}(x_{i})\) are the continuous terms in \({\overline{S}}_{o}\). \(h_{S_{o}}(x_{i})\) denotes the possible degree of the linguistic variable \(x_{i}\) to \({\overline{S}}_{o}\). Then, we call \(h_{S_{o}}(x_{i})\) the DHHFLE, and \(\phi \times \psi \) denote the set of all DHHFLEs.
Next, Gou et al. (2019) developed the concept of linguistic expected-value.
Definition 2.4
(Gou et al., 2019) Given that \(h_{S_{o}}=\{s_{\phi _{l}<o_{\varphi _{l}}>}|s_{\phi _{l}<o_{\varphi _{l}}>}\in {\overline{S}}_{o};l=1,2,\ldots ,L\}\) is a DHHFLE, \(\phi \times \psi \) is the set of all DHHFLEs over \({\overline{S}}_{o}\). Then, we can obtain a linguistic expected-value of \(h_{S_{o}}\) as follows:
$$\begin{aligned} le:\phi \times \psi \rightarrow {\overline{S}}_{o},le(h_{S_{o}})=\frac{1}{L} \bigoplus ^{L}_{l=1}s_{\phi _{l}<o_{\varphi _{l}}>}=s_{\frac{1}{L} \sum ^{L}_{l=1}\phi _{l}<o_{\frac{1}{L}\sum ^{L}_{l=1}\varphi _{l}}>}. \end{aligned}$$
(6)
It is usually used in the normalization process of DHHFLT information systems.
Example 2.1
An expert prepares to evaluate the innovation of three investment projects with DHHFLTS, \(X=\{x_{1},x_{2},x_{3}\}\) denote a set of investment projects, \(H_{S_{o}}=\{<x_{1},\{s_{1\langle o_{3}\rangle },s_{2\langle o_{1}\rangle }\}>,<x_{2},\{s_{0\langle o_{1}\rangle },s_{1\langle o_{1}\rangle }\}>,<x_{3},\{s_{-1\langle o_{0}\rangle },s_{0\langle o_{-1}\rangle }\}>\}\) is a DHHFLTS with \(\tau =\zeta =4\), which represents the innovation degrees of three investment projects. And \(h_{S_{o}}(x_{1})=\{s_{1\langle o_{3}\rangle },s_{2\langle o_{1}\rangle }\}, h_{S_{o}}(x_{2})=\{s_{0\langle o_{1}\rangle },s_{1\langle o_{1}\rangle }\}, h_{S_{o}}(x_{3})=\{s_{-1\langle o_{0}\rangle },s_{0\langle o_{-1}\rangle }\}\) are three DHHFLEs, then the linguistic expected-values of them are: \(le(h_{S_{o}}(x_{1}))=\{s_{\frac{3}{2}\langle o_{2}\rangle }\},le(h_{S_{o}}(x_{2}))=\{s_{\frac{1}{2}\langle o_{1}\rangle }\},le(h_{S_{o}}(x_{3}))=\{s_{-\frac{1}{2}\langle o_{-\frac{1}{2}}\rangle }\}\). Based on the transformation function F, \(F(le(h_{S_{o}}(x_{1})))=0.750, F(le(h_{S_{o}}(x_{2})))=0.594, F(le(h_{S_{o}}(x_{3})))=0.422\). Then the ranking result about the innovation of three investment projects is \(x_{1}\succ x_{2} \succ x_{3}.\)
Prospect theory
Prospect theory was put forward by Kahneman and Tversky (Kahneman & Tversky, 2013). Through experimental research, they found the common phenomenon that people’s actual decision-making behavior deviated from the expected utility theory under the risk condition. In order to explain and describe these behavioral biases well, they introduced the research results of psychology into economics and proposed the prospect theory. They divided the individual decision-making process under risk conditions into two phases: editing phase and evaluation phase. The edited prospects (Tversky & Kahneman, 1992) can be determined with the aid of a prospect value function as follows:
$$\begin{aligned} u(x)={\left\{ \begin{array}{ll}x^{\rho },\quad ( x\ge 0) \\ -\theta (-x)^{\delta },\quad (x<0)\\ \end{array}\right. }, \end{aligned}$$
(7)
among them, \(\rho \) and \(\delta \) represent the concavoconvex degree of value function in the gain and loss area respectively, reflecting the rate of sensitivity decline of decision maker. \(0\le \rho ,\delta \le 1;\) \(\theta \) reflects the degree of loss aversion of decision makers, which is used to indicate that the loss area of value function is steeper than the gain area. In light of the original research, Tversky and Kahneman (1992) assumed that \(\rho =\delta =0.88\) and \(\theta =2.25\), which is consistent with the empirical evidence afterwards.
Fuzzy measure
Choquet integral is an effective tool for dealing with situations where attributes are interrelated of each other.
Definition 2.5
(Choquet, 1954) Given that \(X=\{x_{1},x_{2},\ldots ,x_{n}\}\) is a universe of discourse, P(X) is the power set of X. A fuzzy measure on X is a set function \(r:P(X)\rightarrow [0,1]\), satisfying
(1) \(r(\emptyset )=0, r(X)=1.\)
(2) If \(D,B\in P(X)\) and \(D\subseteq B\), then \(r(D)\le r(B).\)
In practical problems, in order to reduce the complexity of fuzzy measure calculation, \(\lambda \) fuzzy measure is usually used instead of general fuzzy measure.
Definition 2.6
(Choquet, 1954) For any \(D,B\in P(X)\), \(D \cap B=\emptyset \), if the fuzzy measure \(r_{\lambda }\) satisfies \(r(D\cup B)=r(D)+r(B)+\lambda r(D)r(B)\), where \(\lambda \in (-1,\infty )\), then \(r_{\lambda }\) is called as \(\lambda -\) fuzzy measure.
Let X be a finite set, and \(\bigcup ^{n}_{i=1}x_{i}=X\). The \(\lambda -\) fuzzy measure r satisfies
$$\begin{aligned} r(X)=r(\bigcup ^{n}_{i=1}x_{i})={\left\{ \begin{array}{ll}\frac{1}{\lambda }(\Pi ^{n}_{i=1}[1+\lambda r(x_{i})]-1),\quad (if \lambda \ne 0) \\ \sum ^{n}_{i=1}r(x_{i}),\quad (if \lambda =0)\\ \end{array}\right. }, \end{aligned}$$
(8)
where \(x_{i}\bigcap x_{j}=\emptyset \) for all \(i,j=1,2,\ldots ,n\) and \(i\ne j\). \(r(x_{i})\) denotes a fuzzy density of \(x_{i}\), simplified as \(r_{i}=r(x_{i})\).
For every subset \(D\in P(X)\), we have
$$\begin{aligned} r(D)={\left\{ \begin{array}{ll}\frac{1}{\lambda }(\Pi _{i\in D}[1+\lambda r(i)]-1),\quad (if \lambda \ne 0) \\ \sum _{i\in D}r(i),\quad (if \lambda =0)\\ \end{array}\right. }. \end{aligned}$$
(9)
When \(r(X)=1\). which is equivalent to solving
$$\begin{aligned} \lambda +1=\Pi ^{n}_{i=1}(1+\lambda r_{i}), \end{aligned}$$
(10)
where \(\lambda \) can be uniquely determined by \(r(X)=1\).
Definition 2.7
(Choquet, 1954) Given that \(X=\{x_{1},x_{2},\ldots ,x_{n}\}\) is a nonempty finite set, f is a nonnegative discrete function defined on X. Assume that \(f(x_{1})\le f(x_{2}) \le \cdots \le f(x_{n})\), \(\mu \) is a \(\lambda -\) fuzzy measure on X. The Choquet fuzzy integral operator of the function f with respect to \(\mu \) is defined as
$$\begin{aligned} CI_{\mu }(f)=(C)\int fd\mu =\Sigma ^{n}_{i=1}f(x_{i})[\mu (D_{i})-\mu (D_{i+1})], \end{aligned}$$
(11)
where \((C)\int fd\mu \) denotes Choquet fuzzy integral operator, \(D_{i}=\{x_{i},x_{i+1},\ldots ,x_{n}\}\).