3.4 Constructing a Fuzzy Relation from Preference Data

The evaluations, corresponding to the rows in the above matrix generally do not rank–order the alternatives unanimously. Therefore the preference relation, which can be derived from the matrix can first be modeled by a fuzzy relation.

For each evaluation ei an individual preference relation is given implicitly in and it can be represented by the matrix.

in which,

Depending on the preference type used, is equivalent to the inequality

or

Before constructing the fuzzy relations we define a weight vector, whose purpose would be to characterize the importance, relevance or credibility of the evaluations.

If no weighting is needed in practical applications, the programs assign a weight by default taking the value of 1.

From the individual preference relations matrices, and using the weights, we construct the matrix representing a fuzzy relation on the set of alternatives A:

Each component of R can be interpreted as the credibility of the proposition is preferred to " in a global sense, and without referring to the single evaluation.

As a consequence of the construction of R the following interpretation is correct (note that 0 ≤ ≤ 1):

is true in a certain portion of the evaluations.

A relation represented by the matrix R, obtained according to the construction rules outlined above, has the following main characteristics:

Non–fuzzy : if = 0 or = 1 for k, = 1, 2, . . . , n;
Fuzzy : otherwise;

Reflexive : if = 1 for k = 1, . . . , n
Anti–reflexive : if = 0 for k = 1, . . . , n
Irreflexive otherwise

Symmetric : if = for k, = 1, . . . , n;
Anti–symmetric : if 0 implies = 0 for all k 1;
Asymmetric : otherwise

Trichotome (normalized) : if + = 1 for k, = 1, . . ., n and k 1;
Non–trichotome (nor–normalized) : otherwise.

From a non–normalized matrix a normalized one can be obtained, using the following transformation:

if k 1 and + 0, otherwise

For a global description of the evaluations represented by the matrix R, three indicators can be computed:

  1. Coherence Index, which is defined by the expression:

Obviously, the value of C depends on the order of the rows and columns in R (i.e. on the order of the alternatives in A). The value of C ranges between –1 and +1 (inclusive).

– 1 ≤ C ≤ 1

An order–independent modification of C is the absolute coherence index, which is defined as:

For Ca, the inequalities CCa and 0 ≤ Ca ≤ 1 hold so Ca is an upper bound for C. Indices C and Ca are indicators of unanimity in the preference data.

It can be easily seen that C = 1 implies full coherence and Ca = 0 implies full lack of coherence. The value –1 of the Index C can be interpreted as an order of alternatives opposite to the order defined by the fuzzy relation.

  1. Intensity Index, which is defined by the expression:

This index can be interpreted as an average credibility level of the statements "ak is preferred to a" or "ais preferred to ak". In general, its value –1 I 2, which in the case of strict preference , and therefore 0 I 1. Here I = 1 implies a normalized relation – which is a generalization of trichotomy – and means that in all the preference data one of the statements or is valid for all the pairs of alternatives. The index I can be interpreted as average credibility level of the propositions or .

  1. Dominance Index, which is defined by the expression

It is also an order – dependent index, and –1 D 1 holds for it.

As in the case of coherence index, we can define the order–independent absolute dominance index:

for the value of which the inequalities D Da and 0 Da 1 are valid. The index D (and its upper bound Da) indicate the average difference between the credibilities of the propositions Sk and of their opposite propositions Sℓk.

It may be pointed out that C, I, D and Ca, I, Da are not independent of one another. Their relationships are represented by the equations:

C I = D

Ca I = Da

It may also be pointed out that the order–dependent C and D indices can have negative values if the actual order of alternatives (order of rows and columns in R) is rather close to an opposite order than to the order corresponding to the general tendency in the data. An order which maximizes C is called the tendency in the relational structure represented by R.