UTADIS
UTADIS (UTilités Additives DIScriminantes (Additive Utility Sorting)) is a sorting multi-criteria decision-making (MCDM) method introduced by Devaud, J. M., Groussaud, G., Jacquet-Lagrèze, E. in 1980. It turns a decision matrix of alternatives scored on multiple criteria into a structured, reproducible result.
Zapis źródłowy
Cytaty skopiowane dosłownie z zapisu źródłowego metody. Nie należy z nich wywnioskować weryfikacji na poziomie twierdzenia.
Wyselekcjonowane twierdzenia
Twierdzenia utrwalone w rejestrze dowodowym, każde z własną oceną.
Ten widok nie tworzy oceny twierdzenia, jeśli rejestr jej nie zawiera.
Powiązane metody
Wygenerowane z grafu metod i pokazane jako sugerowane przez maszynę powiązania — nie należy z nich wywnioskować twierdzenia dowodowego.
Wygenerowany graf powiązań nie ma wychodzącego powiązania dla tej metody.