2.1. Strength of Preference and Stability Definitions
A strength of preference framework of GMCR is generally represented by , where the triple of binary relations indicates DM ’s strength of preference, with the explanations that means that DM strongly prefers state to , while means that DM mildly prefers state to . Note that and are asymmetric, and is complete, which means that exactly one of , , , , or is true when a DM holds strength of preference over two states. Actually, indicates either or , while indicates either or .
If DM
’s preferences on
are described in the triple of binary relations
, then DM
’s preference information is definite. Note that strength of preferences can also be represented by a matrix. For example, matrix
shows DM
’s strength of preferences on
, which is equivalent with (
. As an example, “
” in the first row and fourth column of
means that state
is strongly preferred to
for DM
.
For
, and
, based on the strength of preference structure, the set of all feasible states
can be divided into five sets. Accordingly, DM
’s reachable list from state
,
, can be divided into five subsets, see
Table 1 for details.
Notation depicts the weak improvements (W-Is) from state for DM . Let denote a subset of all DMs. The subset ’s UM list from state , denoted by , is actually a legal sequence of UMs by each DM in , where a legal sequence means that a DM cannot move in succession. Coalition ’s W-I list from state , denoted by , is a legal sequence of W-Is (M-Is or S-Is) by each DM in . Let and denote the set of all last DMs in legal sequences of UMs and W-Is from state to , respectively. The definitions of UM list and W-I list of a coalition are given below.
Definition 1 (UM list of a coalition): For coalition and state , the coalition ’s UM list from is regulated inductively as , which meets the following conditions: (1) if and , then and ; and (2) if , , , and , then and .
Definition 2 (W-I list of a coalition): For coalition and state , the coalition ’s W-I list from is regulated inductively as , which meets the following conditions: (1) if and , then and ; and (2) if , , , and , then and .
For the strength of preference structure, if a state is stable, then it is either strongly stable or weakly stable based on sanctioning strength. Note that strong and weak stabilities include only GMR, SMR, and SEQ because Nash stability does not involve sanctions. Definitions of solution concepts [
12,
13] referring to stabilities, strong stabilities, and weak stabilities are given in
Table 2.
2.2. Strength Option Prioritization
In the option prioritization method in [
14], each DM
possesses an ordered list of preference statements
, where the preference statements that are considered more important for DM
appear earlier in the list. Each preference statement, which is expressed in terms of options and logical connectives, takes a “True” (T) or “False” (F) truth-value, at each state. Denote
as the truth-value of the preference statement
at state
, and let
be the score to state
based upon preference statement
. Define
Then, the states can be sorted based on their scores. Specifically, iff , and iff .
Hou et al. [
15] extended the above-mentioned option prioritization method to make it convenient to calculate the strength of preferences by adding weights to the preference statements. Specifically, if a DM strongly prefers a statement
, where
, then the notation
is applied to express the DM’s strong preference over statement
. The weight is firstly defined by
. Taking
into account, the weight is redefined as
Then the score to state based upon the weight is defined in Equation (3), which is utilized if a DM strongly prefers the statement , denoted by . Otherwise, Equation (1) is employed.
If a DM strongly prefers more than one statement, for instance, a DM may strongly prefer the statements
, where
, then the weight
is defined by Equation (4) in consideration of
.
Accordingly, Equation (5) shows the score
to state
based upon the weight
.
For
, assume that
, then
This strength option prioritization technique is effective and convenient for modeling both crisp preferences and the strength of preferences and is easy to implement into a decision support system.