trace {relations} | R Documentation |
Traces of Endorelations
Description
Compute the left or right trace of an endorelation.
Usage
relation_trace(x, which)
Arguments
x |
an endorelation. |
which |
one of |
Details
Let be a crisp endorelation. The left and right trace of
contain all pairs
for which
implies
for all
(left trace) or
implies
for all
(right trace), respectively. These are
the largest (in the natural ordering of relations with the same
domain) relations such that
or
,
respectively (where
denotes composition). In the fuzzy case,
the memberships of the traces can be defined as the infima over the
corresponding fuzzy membership implications. See Chapter 2.3 in Fodor
and Roubens (1994) for more information.
References
J. Fodor and M. Roubens (1994), Fuzzy Preference Modelling and Multicriteria Decision Support. Kluwer Academic Publishers: Dordrecht.