Přeskočit na obsah
coden

Fuzzy logika a pravděpodobnost: proč „trochu teplo“ neznamená „pravděpodobně teplo“

Náhodnost a vágnost, Bezdekovy dvě láhve, axiomy pravděpodobnosti proti fuzzy příslušnosti, Fréchetovy meze, pravděpodobnost fuzzy jevu na předpovědi počasí a slova o pravděpodobnosti jako fuzzy množiny.

12 minut Matěj Žalmánek 2026-10-15

Série Základy AI Díl 33 z 83
  1. Mapa umělé inteligence: co je co a jak to do sebe zapadá
  2. Stručná historie umělé inteligence: od Turinga po jazykové modely
  3. Data, model, trénink, inference: základní pojmy na jednom příkladu
  4. Jak číst matematický zápis: symboly, indexy, sumy a kvantifikátory
  5. Množiny a relace: stavebnice, ze které se skládají definice v AI
  6. Funkce a zobrazení: proč je každý model v AI funkce
  7. Logika a důkazy: pravidla, podle kterých se v AI uvažuje
  8. Grafy a stromy: struktura, na které stojí hledání i neuronové sítě
  9. Lineární algebra pro strojové učení: vektory, matice a proč AI hlavně násobí
  10. Derivace, gradient a řetízkové pravidlo: jak model zjistí, kterým směrem se učit
  11. Gradientní sestup: jak se model učí
  12. Co je pravděpodobnost: od hodu kostkou ke Kolmogorovovým axiomům
  13. Podmíněná pravděpodobnost a Bayesova věta: jak změnit odhad, když se dozvíte něco nového
  14. Náhodná veličina a distribuční funkce: jedna funkce, která o rozdělení řekne všechno
  15. Funkce hustoty a pravděpodobnostní funkce: proč má spojitá veličina v bodě pravděpodobnost nula
  16. Střední hodnota, rozptyl a kovariance: kde rozdělení leží, jak je široké a co s čím souvisí
  17. Přehled pravděpodobnostních rozdělení: Bernoulli, binomické, Poisson, rovnoměrné, normální a exponenciální
  18. Zákon velkých čísel a centrální limitní věta: proč se průměry chovají tak předvídatelně
  19. Statistika a odhady parametrů: maximální věrohodnost, MAP a intervaly spolehlivosti
  20. Teorie informace: entropie, křížová entropie a KL divergence — odkud se berou ztrátové funkce
  21. Prohledávání stavového prostoru: BFS, DFS, UCS a A* s animacemi
  22. Hry a protivník: minimax, alfa-beta ořezávání a Monte Carlo tree search
  23. Splňování omezujících podmínek: backtracking, propagace omezení a AC-3 na sudoku a mapě krajů
  24. Logika a znalostní systémy: dopředné a zpětné řetězení, rezoluce a expertní systémy
  25. Plánování: STRIPS, svět kostek, heuristiky z relaxace a plánování v AI agentech
  26. Lokální hledání a simulované žíhání: obchodní cestující přes krajská města
  27. Genetické algoritmy: populace, křížení, mutace a výběr na batohu na výlet
  28. Evoluční strategie a genetické programování: od pravidla jedné pětiny po Keplerův zákon
  29. Optimalizace mravenčí kolonií: jak feromonová stopa najde krátkou cestu
  30. Optimalizace hejnem částic: setrvačnost, vlastní zkušenost a zkušenost hejna
  31. Neuroevoluce: evoluce vah i tvaru neuronových sítí a algoritmus NEAT
  32. Fuzzy množiny a funkce příslušnosti: jak zapsat „trochu teplo“
  33. Fuzzy logika a pravděpodobnost: proč „trochu teplo“ neznamená „pravděpodobně teplo“
  34. Fuzzy logika: t-normy, implikace a pravidla KDYŽ–PAK
  35. Fuzzy řízení: Mamdani a Sugeno od ventilátoru po kyvadlo na vozíku
  36. Fuzzy shlukování: algoritmus fuzzy c-means a body mezi shluky
  37. Neuro-fuzzy systémy (ANFIS): fuzzy pravidla, která se učí z dat
  38. Markovovy řetězce: přechodová matice, stacionární rozdělení a PageRank
  39. Skryté Markovovy modely: Viterbiho algoritmus a nepoctivé kasino
  40. Bayesovské sítě: proč je tráva mokrá a co z toho plyne pro postřikovač
  41. Kalmanův filtr: jak z nepřesných měření odhadnout, kde auto je a jak rychle jede
  42. Druhy strojového učení: s učitelem, bez učitele, s částečným učitelem a další
  43. Přeučení a regularizace: proč model, který zná data nazpaměť, selže
  44. Vyhodnocení modelu: křížová validace, F1 a křivka ROC
  45. Shlukování a snížení dimenze: k-means, PCA a t-SNE
  46. Klasifikace a regrese: dvě úlohy učení s učitelem
  47. Lineární regrese: nejmenší čtverce geometricky i maticově
  48. Polynomiální a nelineární regrese: jak přímku ohnout
  49. Logistická regrese: sigmoida, šance a křížová entropie
  50. Vícetřídní klasifikace a softmax: od dvou tříd k mnoha
  51. Naivní Bayesův klasifikátor: spamový filtr, který funguje lépe, než by měl
  52. Ztrátové funkce: co přesně model minimalizuje
  53. Rozhodovací stromy a k nejbližších sousedů: modely bez vzorců
  54. Ansámbly: náhodný les a gradient boosting
  55. SVM a jádrový trik: nejširší hranice a jak ji ohnout
  56. Signál a vzorkování: proč platí Nyquistův teorém
  57. Fourierova transformace: rozklad signálu na frekvence
  58. Filtry a konvoluce: vyhlazení, hrany a odstranění šumu
  59. Zvuk a řeč: spektrogram, melová škála a MFCC
  60. Obraz jako signál: pixely, barvy, konvoluce a hrany
  61. Perceptron a umělý neuron: nejjednodušší neuronová síť a co neumí
  62. Neuronová síť od nuly: zpětné šíření chyby krok za krokem
  63. Aktivace, inicializace a normalizace: drobnosti, na kterých hluboká síť stojí
  64. Konvoluční sítě: jak síť poznává obrázky
  65. Rekurentní sítě: paměť pro posloupnosti a mizející gradient
  66. LSTM a GRU: brány, které rozhodují, co si síť zapamatuje
  67. Autoenkodéry: síť, která se učí data stlačit a zase rozbalit
  68. Embeddingy a word2vec: jak se slovo stane vektorem
  69. Mechanismus pozornosti: jak se model naučí, kam se dívat
  70. Transformery a velké jazykové modely: architektura krok za krokem
  71. Tokenizace: jak se text rozseká na kousky pro model
  72. Předtrénování a škálování: proč větší model a víc dat funguje
  73. Doladění a RLHF: jak se z doplňovače textu stane asistent
  74. Prompty, kontext a RAG: jak modelu dát správné informace
  75. Variační autoenkodéry (VAE): nové obrázky ze spojitého latentního prostoru
  76. Generativní adversariální sítě (GAN): padělatel proti detektivovi
  77. Difúzní modely: jak se z čistého šumu stane obrázek
  78. Markovovy rozhodovací procesy: stavy, akce, odměny a Bellmanovy rovnice
  79. Q-learning a DQN: učení hodnoty akcí od tabulky po neuronovou síť
  80. Policy gradient a PPO: učení přímo strategie
  81. Jak funguje AI agent: jazykový model ve smyčce s nástroji
  82. Programování s AI agenty: zadání, testy a kontrola
  83. Vyhodnocení a bezpečnost AI systémů: jak měřit a jak hlídat

Celá osnova série 83 z 83 témat hotovo

Co si odnesete
  • Jaký je rozdíl mezi nejistotou o výsledku a neurčitostí pojmu a proč se nedají zaměnit.
  • Proč se fuzzy hodnoty skládají jednoduše a pravděpodobnosti ne — a co říkají Fréchetovy meze.
  • Jak obě nejistoty spojit: pravděpodobnost fuzzy jevu a slova jako „pravděpodobně“.

Co se hodí znát předem: Fuzzy množiny a funkce příslušnosti: jak zapsat „trochu teplo“, Co je pravděpodobnost: od hodu kostkou ke Kolmogorovovým axiomům

„Zítra bude trochu teplo.“ „Zítra bude pravděpodobně teplo.“ Obě věty obsahují nejistotu a obě se dají vyjádřit číslem mezi nulou a jedničkou. Přesto říkají něco úplně jiného. První mluví o tom, jak moc se počasí bude podobat slovu „teplo“; druhá o tom, jestli se stane něco, co zatím nevíme. Záměna těchhle dvou druhů nejistoty vedla k jednomu z nejvášnivějších sporů v dějinách umělé inteligence — a dodnes je to častá chyba.

Navazuje na díly Fuzzy množiny a funkce příslušnosti a Co je pravděpodobnost.

1. Dva druhy nejistoty

Definice — náhodnost a vágnost

Rozlišujeme dva druhy nejistoty, které se oba vyjadřují číslem z [0, 1]:

  1. Náhodnost (nejistota o výsledku). Nechť (Ω, 𝓕, P) je pravděpodobnostní prostor (Co je pravděpodobnost) a A ∈ 𝓕 je (ostrý) jev. Pro každý výsledek ω ∈ Ω platí buď ω ∈ A, nebo ω ∉ A; nejisté je jen to, který výsledek ω nastane. Tuto nejistotu měří číslo P(A) ∈ [0, 1].
  2. Vágnost (neurčitost pojmu). Nechť X je neprázdná množina, A fuzzy množina na X (Fuzzy množiny) a x ∈ X je prvek, který známe přesně. Nejisté není, jaký prvek máme, ale nakolik odpovídá neostře vymezenému pojmu A. Tuto neurčitost měří stupeň příslušnosti μA(x) ∈ [0, 1].

Náhodnost tedy zmizí, jakmile zjistíme výsledek ω; vágnost zůstává, i když prvek x známe úplně.

Laicky řečeno

U náhodnosti nám chybí informace: hodíme kostkou a nevíme, co padne. Až se podíváme, nejistota zmizí. U vágnosti nám nic nechybí: teplotu 25 °C známe přesně, jen slovo „teplo“ k ní sedí napůl. A když se podíváme na teploměr, nic se nezmění — slovo zůstane stejně neostré.

2. Dvě láhve

Rozdíl skvěle ukazuje příklad Jamese Bezdeka. Jste na poušti a máte žízeň. Před vámi jsou dvě láhve. Na první stojí: „Příslušnost do množiny pitných tekutin je 0,91.“ Na druhé: „Pravděpodobnost, že je tekutina pitná, je 0,91.“ Ze které se napijete?

fuzzy: μ = 0,91 pravděpodobnost: P = 0,91 0,910,91 příslušnostpravděpodobnost před otevřením 0,911 / 0 kalná vodačistá voda · nebo jed po otevření
Bezdekovy láhve před otevřením a po otevření

První láhev obsahuje něco, co je skoro pitné — třeba trochu kalnou vodu. Zaručeně vám neublíží moc. Ve druhé je s pravděpodobností 0,91 čistá voda, ale v devíti případech ze sta něco úplně jiného, třeba jed. Po otevření se ukáže rozdíl i v číslech: příslušnost první láhve zůstane 0,91, protože se nic nedozvíme navíc. Pravděpodobnost u druhé skočí na 1, nebo na 0 — náhodný jev buď nastal, nebo ne.

3. Co říkají axiomy

Připomenutí — Kolmogorovovy axiomy

Nechť Ω je prostor výsledků a 𝓕 systém jevů (σ-algebra podmnožin Ω, viz Co je pravděpodobnost); pro A ∈ 𝓕 značí ¬A = Ω ∖ A opačný jev. Pravděpodobnost je funkce P : 𝓕 → ℝ, která splňuje

  1. nezápornost: P(A) ≥ 0 pro každé A ∈ 𝓕;
  2. normovanost: P(Ω) = 1;
  3. aditivitu: pro navzájem neslučitelné jevy A1, A2, … ∈ 𝓕 (Ai ∩ Aj = ∅ pro i ≠ j) je P(⋃i Ai) = ∑i P(Ai); speciálně pro dva neslučitelné jevy A, B ∈ 𝓕 je P(A ∪ B) = P(A) + P(B).

Z toho plyne, že pro každé A ∈ 𝓕 je P(A) + P(¬A) = 1 a P(A ∩ ¬A) = 0.

Odvození. Jevy A a ¬A jsou neslučitelné a dohromady dávají Ω, takže z aditivity P(A) + P(¬A) = P(Ω) = 1. Průnik A ∩ ¬A je prázdný jev ∅; ten je neslučitelný sám se sebou, takže P(∅) = P(∅ ∪ ∅) = 2 P(∅), a to jde jen pro P(∅) = 0. ∎

Laicky řečeno

Pravděpodobnost je „rozpočet“, který se rozděluje mezi možné výsledky a vždycky dá dohromady jedničku. Co přidáte jednomu výsledku, musíte ubrat jinému.

Funkce příslušnosti žádný takový rozpočet nemá. V minulém dílu bylo 25 °C „příjemně“ ze 0,6 a „teplo“ ze 0,5 — dohromady 1,1, a to je v pořádku. Rozdíly shrnuje tabulka:

PravděpodobnostFuzzy příslušnost
Co popisujejestli jev nastanejak moc prvek odpovídá pojmu
Po pozorovánízmění se na 0 nebo 1zůstává stejná
Součet přes možnostivždy 1libovolný
A a zároveň ne Avždy 0až 0,5
A nebo ne Avždy 1aspoň 0,5
Hodnota „A a B“závisí na vztahu A a Bmin(μA, μB)

Odkud se v tabulce berou čísla 0,5? Fuzzy „a“ je tu minimum, „nebo“ maximum a „ne“ doplněk 1 − μ, jako v dílu o fuzzy množinách.

Věta — „A a ne A“ a „A nebo ne A“ ve fuzzy množinách

Nechť X je neprázdná množina, A fuzzy množina na X, x ∈ X a a = μA(x) ∈ [0, 1]. Se Zadehovými operacemi (průnik = min, sjednocení = max, doplněk 1 − μ) je μA ∩ ¬A(x) = min(a, 1 − a) a μA ∪ ¬A(x) = max(a, 1 − a). Pak

min(a, 1 − a) ≤ 0,5 ≤ max(a, 1 − a)

a v každé z obou nerovností nastane rovnost, právě když a = 0,5.

Důkaz. Čísla a a 1 − a dávají dohromady 1, takže menší z nich je nejvýš polovina součtu a větší aspoň polovina. Obě jsou rovna 0,5 jen tehdy, když jsou si rovna, tedy pro a = 0,5. ∎

Příklad. Při 25 °C je „teplo“ ze 0,5. Pak „teplo a není teplo“ = min(0,5; 0,5) = 0,5 a „teplo nebo není teplo“ = max(0,5; 0,5) = 0,5 — klasický zákon sporu by chtěl 0, zákon vyloučeného třetího 1. U pravděpodobnosti by „bude aspoň 25 °C a nebude aspoň 25 °C“ měl vždy pravděpodobnost 0.

4. Skládání: kdo potřebuje víc informací

Poslední řádek tabulky je možná nejdůležitější. Fuzzy logika je pravdivostně funkcionální: hodnota „A a B“ se spočítá jen z hodnot A a B. U pravděpodobnosti to nejde.

Definice — pravdivostní funkcionalita

Nechť 𝒱 je množina výroků taková, že pro každé A, B ∈ 𝒱 je i „A a B“ ∈ 𝒱, a nechť h : 𝒱 → [0, 1] přiřazuje každému výroku jeho hodnotu (stupeň pravdivosti, nebo pravděpodobnost). Spojka „a“ je vzhledem k h pravdivostně funkcionální, právě když

∃ g : [0, 1]2 → [0, 1]   ∀ A, B ∈ 𝒱 :   h(A a B) = g(h(A), h(B)).

Hodnota složeného výroku tedy závisí jen na hodnotách jeho částí, a to pro všechny dvojice výroků stejnou funkcí g. Ve fuzzy logice je g = min (nebo jiná t-norma, viz Fuzzy logika); u pravděpodobnosti je 𝒱 = 𝓕, h = P a „A a B“ = A ∩ B.

Laicky řečeno

Stačí znát dvě čísla a výsledek je jasný — není třeba vědět, o čem výroky mluví ani jak spolu souvisejí.

Příklad — proč pravděpodobnost pravdivostně funkcionální není

Hodíme jednou kostkou. Jev A = „padne sudé“ = {2, 4, 6} má P(A) = 3/6 = 1/2. Vezměme tři jevy B, všechny s pravděpodobností 1/2:

  • B = {2, 4, 6} (sudé): A ∩ B = {2, 4, 6}, P = 3/6 = 1/2,
  • B = {4, 5, 6} (aspoň 4): A ∩ B = {4, 6}, P = 2/6 = 1/3,
  • B = {1, 3, 5} (liché): A ∩ B = ∅, P = 0.

Vstupy jsou pokaždé stejné (1/2 a 1/2), výsledky tři různé. Žádná funkce g nemůže dát z (1/2, 1/2) zároveň 1/2, 1/3 a 0.

Věta — Fréchetovy meze

Nechť (Ω, 𝓕, P) je pravděpodobnostní prostor a A, B ∈ 𝓕 libovolné jevy. Pak

max(0, P(A) + P(B) − 1) ≤ P(A ∩ B) ≤ min(P(A), P(B)).

Obě meze jsou nejlepší možné: pro každá a, b ∈ [0, 1] existují jevy s P(A) = a, P(B) = b, pro které nastane rovnost v horní, resp. v dolní mezi (třeba náhodné číslo z [0, 1] s rovnoměrným rozdělením, A = [0, a] a B = [0, b], resp. B = [1 − b, 1]). Ze samotných čísel P(A) a P(B) tedy nelze P(A ∩ B) určit přesněji.

Důkaz. Horní mez: A ∩ B ⊆ A, takže P(A ∩ B) ≤ P(A), a stejně ≤ P(B). Dolní mez: ze vzorce pro sjednocení P(A ∩ B) = P(A) + P(B) − P(A ∪ B) a z P(A ∪ B) ≤ 1 plyne P(A ∩ B) ≥ P(A) + P(B) − 1; nezápornost dodá 0. Horní mez nastane, když jeden jev leží celý v druhém (A ⊆ B); dolní, když se jevy překrývají co nejméně — nejsou-li neslučitelné, pokrývají spolu celé Ω. ∎

Laicky řečeno

Prší s pravděpodobností 0,7 a fouká s pravděpodobností 0,6. Jaká je pravděpodobnost, že prší a zároveň fouká? Kdekoli mezi 0,7 + 0,6 − 1 = 0,3 a min(0,7; 0,6) = 0,6 (barvy podle vzorce níže) — podle toho, jestli déšť a vítr chodí spolu (pak 0,6), nebo se spíš vylučují (pak 0,3). Bez dalších informací to nevíme. Fuzzy minimum 0,6 je přesně horní mez — odpovídá situaci, kdy jsou oba jevy „co nejvíc spolu“. A dolní mez max(0, a + b − 1) je jiná fuzzy operace, se kterou se potkáme v dílu o fuzzy logice.

max(0, P(A) + P(B) − 1) ≤ P(A ∩ B) ≤ min(P(A), P(B))

P(A ∩ B)
pravděpodobnost, že nastanou oba jevy — to, co bychom chtěli znát, ale ze dvou čísel neumíme
max(0, P(A) + P(B) − 1)
dolní mez — dvě pravděpodobnosti, které dají dohromady víc než 1, se do celku nevejdou bez překryvu; přebytek nad jedničkou se překrýt musí. Nula je tam proto, že když přebytek není, překryv může chybět úplně
min(P(A), P(B))
horní mez — oba jevy naráz nemohou nastat častěji než ten vzácnější z nich
Fuzzy „a“ si z tohoto intervalu vybere jedno číslo bez ptaní — minimum je přesně horní mez.

Každý předpoklad o vztahu jevů dává jedno číslo z intervalu — a každému odpovídá jedna fuzzy „a“ (t-norma) z dílu o fuzzy logice (barvy podle vzorce výše):

Vztah deště a větruP(prší ∩ fouká)VýpočetFuzzy „a“
co nejvíc spolu0,60min(0,7; 0,6)minimum
nezávislé0,420,7 · 0,6součin
co nejvíc proti sobě0,30max(0; 0,7 + 0,6 − 1)Łukasiewicz

Odtud plyne praktický rozdíl. Fuzzy systém se počítá snadno a rychle, ale mlčky předpokládá jeden konkrétní vztah mezi pojmy. Pravděpodobnostní model musí vztahy výslovně zadat — nebo se je naučit z dat — a za to dostane výsledky, které sedí s frekvencemi ve skutečném světě.

5. Pravděpodobnost fuzzy jevu

Obě nejistoty se ale nevylučují — často se objeví obě najednou. „Jaká je pravděpodobnost, že zítra bude teplo?“ obsahuje náhodu (jaká teplota bude) i vágnost (co je „teplo“).

Definice — pravděpodobnost fuzzy jevu (Zadeh, 1968)

Nechť X je spojitá náhodná veličina s hodnotami v ℝ a s hustotou f : ℝ → [0, ∞) a nechť A je fuzzy množina na ℝ s (měřitelnou) funkcí příslušnosti μA : ℝ → [0, 1]. Pravděpodobnost fuzzy jevu A je číslo

P(A) = E[μA(X)] = ∫−∞∞ μA(x) f(x) dx ∈ [0, 1],

kde E je střední hodnota. Je to tedy průměrná příslušnost, kterou náhodná hodnota X do A má.

Je-li A ostrá (μA = χB pro množinu B ⊆ ℝ), je P(A) = P(X ∈ B) — obyčejná pravděpodobnost. Nabývá-li X jen hodnot x1, …, xn ∈ ℝ s pravděpodobnostmi pi = P(X = xi) (pi ≥ 0, ∑i=1n pi = 1), je integrál nahrazen součtem: P(A) = ∑i=1n μA(xi) pi.

Laicky řečeno

Každou možnou teplotu zvážíte tím, jak je pravděpodobná, a zároveň tím, jak moc je to „teplo“. Teplota 28 °C se započítá celá, 25 °C jen napůl, 20 °C vůbec.

P(A) = ∫ μA(x) · f(x) dx

P(A)
pravděpodobnost fuzzy jevu — jedno číslo, které nese obě nejistoty najednou
f(x)
hustota předpovědi — náhodnost: jak pravděpodobná je teplota x (v obrázku šedá křivka)
μA(x)
příslušnost — vágnost: kolik z teploty x je „teplo“; místo ostrého „počítá se / nepočítá se“ se každá teplota započítá jen svým dílem (v obrázku jantarová)
∫ … dx
sečtení přes všechny teploty — jako u obyčejné pravděpodobnosti, jen se nesčítá celá hustota, ale hustota zvážená příslušností; výsledkem je plocha vyplněná v obrázku
Pro μA jen s hodnotami 0 a 1 se z integrálu stane plocha pod hustotou nad množinou A — obyčejná pravděpodobnost.

Předpověď říká, že zítřejší teplota je normálně rozdělená se střední hodnotou 24 °C a směrodatnou odchylkou 3 °C. „Teplo“ je trojúhelník (22, 28, 34) z minulého dílu:

00,51 0,000,050,10 0510152025303540 teplota T (°C) hustota předpovědi (1/°C) příslušnost μ (0–1)
Předpověď teploty, funkce „teplo“ a jejich součin hustota předpovědi μ teplo (vpravo) P(teplo): 0,367 P(aspoň 25 °C): 0,369
Příklad — integrál jako součet po jednom stupni

Barvy odpovídají členům vzorce výše. Hustota normálního rozdělení se střední hodnotou m = 24 a směrodatnou odchylkou σ = 3 je f(x) = 1/σ√2π · exp(−(x − m)2/2σ2). Příslušnost do trojúhelníku (22, 28, 34) na vzestupné straně je x − 22/28 − 22. Pro 25 °C:

f(25) = 1/3 · 2,5066 · exp(−1/18) = 0,1330 · 0,9460 = 0,1258

μ(25) = 25 − 22/28 − 22 = 3/6 = 0,5

příspěvek: 0,5 · 0,1258 = 0,0629 na stupeň

Mimo interval (22, 34) je μ = 0, takže stačí sečíst příspěvky celých stupňů od 23 do 33 (každý krát šířka 1 °C):

x (°C)2324252627282930313233
μ(x)0,170,330,500,670,831,000,830,670,500,330,17
f(x)0,1260,1330,1260,1060,0810,0550,0330,0180,0090,0040,001
μ · f0,0210,0440,0630,0710,0670,0550,0280,0120,0040,0010,000

Součet posledního řádku je P(A) ≈ 0,367 — i s takhle hrubým krokem stejně jako přesný integrál. Největší příspěvky nedávají nejteplejší dny (28 °C je „teplo“ celé, ale málo pravděpodobné), ani nejpravděpodobnější (24 °C je „teplo“ jen ze třetiny), nýbrž 25–28 °C, kde jsou obě čísla rozumně velká.

Pravděpodobnost fuzzy jevu „bude teplo“ vychází 0,367 — skoro stejně jako pravděpodobnost ostrého jevu „bude aspoň 25 °C“ (0,369). To je náhoda této předpovědi. Když předpověď posuneme, rozejdou se:

Předpověď (střední hodnota)P(aspoň 25 °C)P(teplo)
20 °C0,0480,074
22 °C0,1590,191
24 °C0,3690,367
25 °C0,5000,459
28 °C0,8410,610

Při chladné předpovědi dává fuzzy jev víc, protože započítá i „trochu teplé“ dny pod 25 °C. Při předpovědi 28 °C naopak výrazně méně: ostrý jev „aspoň 25 °C“ s jistotou zahrne i 33 °C, ale to už podle naší lingvistické proměnné není „teplo“, nýbrž „horko“. Fuzzy jev se drží toho, co slovo opravdu znamená.

6. Slova o pravděpodobnosti

V článku z roku 1964 popsal Sherman Kent, analytik CIA, že zpravodajské zprávy jsou plné slov jako „pravděpodobně“ nebo „téměř jistě“ — a že každý čtenář si pod nimi představí jiné číslo. Navrhl tabulku: „téměř jistě“ kolem 93 %, „pravděpodobně“ kolem 75 %, „zhruba napůl“ kolem 50 %, „asi ne“ kolem 30 % a „téměř jistě ne“ kolem 7 %, vždy s rozpětím. Tady se obě nejistoty potkají dokonale: slova o pravděpodobnosti jsou fuzzy množiny na pravděpodobnostech.

01 0 %10 %20 %30 %40 %50 %60 %70 %80 %90 %100 % téměř jistě ne asi ne zhruba napůl pravděpodobně téměř jistě pravděpodobnost P (%) příslušnost slova μ (0–1)
Slova o pravděpodobnosti jako fuzzy množiny
Příklad — které slovo sedí na danou pravděpodobnost

Slova jsou trojúhelníky kolem Kentových hodnot: „pravděpodobně“ je (0,6; 0,75; 0,9), „asi ne“ (0,18; 0,3; 0,42), „zhruba napůl“ (0,38; 0,5; 0,62). Rozpětí trojúhelníků je naše volba pro ilustraci, ne Kentova tabulka. Na sestupné straně trojúhelníku (a, b, c) je μ(p) = c − p/c − b, na vzestupné p − a/b − a.

  • p = 0,8: μpravděpodobně = 0,9 − 0,8/0,9 − 0,75 = 0,1/0,15 = 0,67; ostatní slova mají v 0,8 nulu.
  • p = 0,37: μasi ne = 0,42 − 0,37/0,42 − 0,3 = 0,05/0,12 = 0,42; „zhruba napůl“ začíná až od 0,38, takže má 0,00.

Nejlépe sedí slovo s největší příslušností: slovo(p) = argmaxs μs(p).

Pravděpodobnost 0,8 je „pravděpodobně“ ze dvou třetin; 0,37 z naší předpovědi nejlépe vystihuje „asi ne“. Podobně dnes pracuje třeba Mezivládní panel pro změnu klimatu (IPCC): „likely“ znamená 66–100 % a „very likely“ 90–100 %, aby slova ve zprávách nesvedla k jinému výkladu.

7. Spor o nejistotu

V osmdesátých letech se rozhořel spor, který vystihují dva hlasy. Statistik Dennis Lindley tvrdil, že jediný rozumný popis nejistoty je pravděpodobnost — a že všechno, co dělá fuzzy logika, zvládne pravděpodobnost lépe. Bart Kosko naopak argumentoval, že pravděpodobnost je jen zvláštní případ neurčitosti. Oba měli kus pravdy. Pro rozhodování za nejistoty, učení z dat a sázky má pravděpodobnost silnou teoretickou oporu: kdo sází podle jiných čísel, než jsou pravděpodobnosti, s nimi lze uzavřít sérii sázek, na které jistě prodělá. Pro práci s neostrými slovy, ruční pravidla a jednoduché řízení jsou fuzzy množiny přirozenější a srozumitelnější. Dnes se obě teorie používají vedle sebe, každá na to, co jí sedí.

Příklad — sázky, na kterých se jistě prodělá

Argument formuloval Bruno de Finetti (1931, nezávisle na něm Frank Ramsey 1926); tady ve zjednodušené podobě. Kdo jevu A přisuzuje „míru víry“ q(A), je ochoten koupit za q(A) korun sázku, která vyplatí 1 korunu, když A nastane.

Sázkař věří, že zítra zaprší, na 0,6, a že nezaprší, také na 0,6 — dohromady 1,2, v rozporu s P(A) + P(¬A) = 1. Prodáme mu obě sázky:

  • zaplatí 0,6 + 0,6 = 1,2 Kč,
  • ať počasí dopadne jakkoli, nastane právě jeden z jevů, takže dostane zpět přesně 1 Kč,
  • prodělá 1,2 − 1 = 0,2 Kč — jistě, bez ohledu na počasí.

Kdyby čísla dávala dohromady méně než 1 (třeba 0,4 + 0,4), sázky od něj naopak koupíme za 0,8 a vyplatíme 1 — prodělá zase 0,2. Bezpečný je jen součet přesně 1. Podobně se dá ukázat, že ochrana před jistou ztrátou vyžaduje všechny Kolmogorovovy axiomy (pro konečně mnoho jevů). Fuzzy příslušnosti součet 1 nemají — a to není chyba, protože nejde o sázky na to, co nastane.

8. Obě nejistoty v umělé inteligenci

  • Strojové učení je převážně pravděpodobnostní. Klasifikátory a jazykové modely vracejí rozdělení pravděpodobnosti; učí se maximalizací věrohodnosti, jak ukázaly díly o statistice a teorii informace.
  • Kalibrace. Když model tvrdí 90 %, měl by mít pravdu v devíti případech z deseti. Kalibrace je čistě pravděpodobnostní vlastnost a dá se změřit.
  • Jistota slovy. Jazykové modely často vyjadřují jistotu slovy — „pravděpodobně“, „nejspíš“, „možná“. Tady pomáhá Kentova úvaha: slovo je fuzzy množina na pravděpodobnostech, a když má být slovní jistota užitečná, musí odpovídat číslům, která za ní stojí.
  • Fuzzy pravidla se dál používají tam, kde je třeba ruční, čitelné řízení bez velkého množství dat — od praček po řízení výroby.

9. Shrnutí

  • Pravděpodobnost popisuje náhodnost — jestli jev nastane; fuzzy příslušnost popisuje vágnost — jak moc prvek odpovídá pojmu.
  • Po pozorování se pravděpodobnost změní na 0 nebo 1, příslušnost zůstane stejná (Bezdekovy láhve).
  • Pravděpodobnosti se sčítají do jedné a P(A ∩ ¬A) = 0; příslušnosti ne.
  • Fuzzy logika je pravdivostně funkcionální; u pravděpodobnosti leží P(A ∩ B) jen mezi Fréchetovými mezemi a fuzzy minimum je ta horní.
  • Obě nejistoty se dají spojit: pravděpodobnost fuzzy jevu „bude teplo“ je střední hodnota příslušnosti; slova o pravděpodobnosti jsou fuzzy množiny na pravděpodobnostech.

Chcete si to osahat? Zeptejte se pár lidí, jaké procento si představí pod „pravděpodobně“ a „nejspíš ne“, a nechte AI agenta z odpovědí nakreslit funkce příslušnosti.

Máte na to jiný názor? Napište na support@coden-app.com.

Agent na vašem počítači, ovládaný z telefonu