Evaluation criteria
\E x \E y \bl %m(x) != %m(y)
non-uniqueness --
\E x \E y \bl %m(x) = %m(y)
permutation --
\E x \E y \bl y
is a permutation of
x
/\ %m(x) != %m(y)
implementation --
\A x \A y \bl fun(x) = fun(y)
\not\Rightarrow %m(x) = %m(y)
monotonicity --
\A x \A y \bl %m(x) <= %m(x + y) & %m(y) <= %m(x + y)
interaction --
\A x \A y \E z \bl %m(x)
\ifsli{\n}{}
= %m(y) /\ %m(x + z) != %m(y + z)
combination --
\E x \E y \bl %m(x) + %m(y)
\ifsli{\n}{}
< %m(x + y)
R>
slide
:
Criteria for the evaluation of metrics