Possibility Theory
Possibility Theory is a mathematical framework for representing and reasoning under uncertainty, introduced by Lotfi Zadeh in 1978 and systematically developed by Didier Dubois and Henri Prade in their 1988 monograph. It uses possibility distributions — functions assigning a degree in [0,1] to each element of a universe — to encode what is plausible or consistent with available information, complementing probability theory for situations where data is scarce or knowledge is imprecise.
Zapis źródłowy
Cytaty skopiowane dosłownie z zapisu źródłowego metody. Nie należy z nich wywnioskować weryfikacji na poziomie twierdzenia.
- Dubois, D., & Prade, H. (1988). Possibility Theory: An Approach to Computerized Processing of Uncertainty. Plenum Press. · ISBN 978-0-306-42520-2
- Zadeh, L. A. (1978). Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets and Systems, 1(1), 3–28. · DOI 10.1016/0165-0114(78)90029-5
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.