Praha, 2. listopadu 2016

Transkript

1 Příklady aplikací bayesovských sítí Jiří Vomlel Ústav teorie informace a automatizace (ÚTIA) Akademie věd České republiky Praha, 2. listopadu 2016

2 Obsah přednášky Aplikace 1: Technická diagnostika

3 Obsah přednášky Aplikace 1: Technická diagnostika Aplikace 2: Adaptivní testování znalostí

4 Obsah přednášky Aplikace 1: Technická diagnostika Aplikace 2: Adaptivní testování znalostí Aplikace 3: Řízení rychlosti vozu F1

5 Technická diagnostika optimální strategie opravy Příčiny problému (závady) C C.

6 Technická diagnostika optimální strategie opravy Příčiny problému (závady) C C. Akce A A - opravné kroky, které mohou odstranit závadu.

7 Technická diagnostika optimální strategie opravy Příčiny problému (závady) C C. Akce A A - opravné kroky, které mohou odstranit závadu. Otázky Q Q - kroky, které mohou pomoci identifikovat, kde je závada.

8 Technická diagnostika optimální strategie opravy Příčiny problému (závady) C C. Akce A A - opravné kroky, které mohou odstranit závadu. Otázky Q Q - kroky, které mohou pomoci identifikovat, kde je závada. Ke každé akci i otázce je přiřazena cena (c A značí cenu akce A, c Q cenu otázky Q). Cena může znamenat: dobu potřebnou k provedení akce či otázky, cenu za náhradní díl, který použijeme rizikovost akce kombinaci výše uvedeného.

9 Technická diagnostika laserové tiskárny Trouble: světlý tisk. Troubleshooter: doporučí kroky, které vedou k odstranění trouble

10 Technická diagnostika laserové tiskárny Trouble: světlý tisk. Troubleshooter: doporučí kroky, které vedou k odstranění trouble Akce a otázky cena A 1 : Remove, shake and reseat toner 5 A 2 : Try another toner 15 A 3 : Cycle power 1 Q 1 : Is the printer configuration page printed light? 2

11 Technická diagnostika laserové tiskárny Trouble: světlý tisk. Troubleshooter: doporučí kroky, které vedou k odstranění trouble Akce a otázky cena A 1 : Remove, shake and reseat toner 5 A 2 : Try another toner 15 A 3 : Cycle power 1 Q 1 : Is the printer configuration page printed light? 2 Možné závady při světlém tisku P(C i ) C 1 : Toner low 0.4 C 2 : Defective toner 0.3 C 3 : Corrupted dataflow 0.2 C 4 : Wrong driver setting 0.1

12 Bayesovská sít pro problém světlého tisku Actions Causes A 1 Problem c 1 c 2 c 3 c 4 C 1 C 2 C 3 C 4 A 2 A 3 Questions Q 1 Viz model v Huginu.

13 Očekávaná cena opravy - ECR Strategie může skončit neúspěšně - např. jsme vyčerpali všechny možné akce: - uplatní se penalizace c(e l ) - penalizací může být např. cena, kterou zaplatíme za zavolání servisních techniků

14 Očekávaná cena opravy - ECR Strategie může skončit neúspěšně - např. jsme vyčerpali všechny možné akce: - uplatní se penalizace c(e l ) - penalizací může být např. cena, kterou zaplatíme za zavolání servisních techniků Strategie může končit vyřešením problému c(e l ) = 0.

15 Očekávaná cena opravy - ECR Strategie může skončit neúspěšně - např. jsme vyčerpali všechny možné akce: - uplatní se penalizace c(e l ) - penalizací může být např. cena, kterou zaplatíme za zavolání servisních techniků Strategie může končit vyřešením problému c(e l ) = 0. Získaná evidence { } A = yes/no, A Provedené akce, e = Q = yes/no, Q Zodpovězené otázky

16 Očekávaná cena opravy - ECR Strategie může skončit neúspěšně - např. jsme vyčerpali všechny možné akce: - uplatní se penalizace c(e l ) - penalizací může být např. cena, kterou zaplatíme za zavolání servisních techniků Strategie může končit vyřešením problému c(e l ) = 0. Získaná evidence { } A = yes/no, A Provedené akce, e = Q = yes/no, Q Zodpovězené otázky P(e)... pravděpodobnost evidence e

17 Očekávaná cena opravy - ECR Strategie může skončit neúspěšně - např. jsme vyčerpali všechny možné akce: - uplatní se penalizace c(e l ) - penalizací může být např. cena, kterou zaplatíme za zavolání servisních techniků Strategie může končit vyřešením problému c(e l ) = 0. Získaná evidence { } A = yes/no, A Provedené akce, e = Q = yes/no, Q Zodpovězené otázky P(e)... pravděpodobnost evidence e t(e)... celková cena provedených akcí a otázek

18 Očekávaná cena opravy - ECR Strategie může skončit neúspěšně - např. jsme vyčerpali všechny možné akce: - uplatní se penalizace c(e l ) - penalizací může být např. cena, kterou zaplatíme za zavolání servisních techniků Strategie může končit vyřešením problému c(e l ) = 0. Získaná evidence { } A = yes/no, A Provedené akce, e = Q = yes/no, Q Zodpovězené otázky P(e)... pravděpodobnost evidence e t(e)... celková cena provedených akcí a otázek ECR(s) = P(e l ) (t(e l ) + c(e l )) l Listy strategie s

19 Ohodnocení strategie opravy - ECR A 1 = yes Q 1 = no A 1 = no Q 1 = yes A 2 = no A 2 = yes

20 Ohodnocení strategie opravy - ECR A 1 = yes Q 1 = no A 1 = no Q 1 = yes A 2 = no A 2 = yes Strategie Q 1 { A1 A 2 očekávaná cena opravy (ECR) p(q 1 = no, A 1 = yes) (c Q1 + c A1 + 0) + p(q 1 = no, A 1 = no) (c Q1 + c A1 + c CS ) + p(q 1 = yes, A 2 = yes) (c Q1 + c A2 + 0) + p(q 1 = yes, A 2 = no) (c Q1 + c A2 + c CS )

21 Cíl technické diagnostiky Cíl: nalézt strategii s takovou, že pro všechny strategie s platí ECR(s ) ECR(s).

22 Cíl technické diagnostiky Cíl: nalézt strategii s takovou, že pro všechny strategie s platí ECR(s ) ECR(s). Polynomiálně řešitelná úloha

23 Cíl technické diagnostiky Cíl: nalézt strategii s takovou, že pro všechny strategie s platí ECR(s ) ECR(s). Polynomiálně řešitelná úloha (1) každá akce řeší právě jednu závadu,

24 Cíl technické diagnostiky Cíl: nalézt strategii s takovou, že pro všechny strategie s platí ECR(s ) ECR(s). Polynomiálně řešitelná úloha (1) každá akce řeší právě jednu závadu, (2) všechny akce jsou navzájem podmíněně nezávislé při známých příčinách

25 Cíl technické diagnostiky Cíl: nalézt strategii s takovou, že pro všechny strategie s platí ECR(s ) ECR(s). Polynomiálně řešitelná úloha (1) každá akce řeší právě jednu závadu, (2) všechny akce jsou navzájem podmíněně nezávislé při známých příčinách (3) platí, že zařízení má v jednom okamžiku pouze jednu závadu (single fault assumption)

26 Cíl technické diagnostiky Cíl: nalézt strategii s takovou, že pro všechny strategie s platí ECR(s ) ECR(s). Polynomiálně řešitelná úloha (1) každá akce řeší právě jednu závadu, (2) všechny akce jsou navzájem podmíněně nezávislé při známých příčinách (3) platí, že zařízení má v jednom okamžiku pouze jednu závadu (single fault assumption) NP-těžká úloha

27 Cíl technické diagnostiky Cíl: nalézt strategii s takovou, že pro všechny strategie s platí ECR(s ) ECR(s). Polynomiálně řešitelná úloha (1) každá akce řeší právě jednu závadu, (2) všechny akce jsou navzájem podmíněně nezávislé při známých příčinách (3) platí, že zařízení má v jednom okamžiku pouze jednu závadu (single fault assumption) NP-těžká úloha (1) některé akce řeší více než dvě závady

28 Reprezentace prostoru všech řešení AND/OR grafem A 1 = no, Q 1 = 1 A 1 = no A 1 = no, Q 1 = 2 Q 1 = 1 A 1 = no, A 2 = no A 1 = no, A 2 = no, Q 1 = 1 Q 1 = 2 A 1 = no, A 2 = no, Q 1 = 2 A 2 = no, Q 1 = 1 A 2 = no A 2 = no, Q 1 = 2

29 Algoritmy pro nalezení optimálního řešení využití metod prohledávání stavového prostoru:

30 Algoritmy pro nalezení optimálního řešení využití metod prohledávání stavového prostoru: metoda větví a mezí (branch and bound)

31 Algoritmy pro nalezení optimálního řešení využití metod prohledávání stavového prostoru: metoda větví a mezí (branch and bound) metody dynamického programování

32 Algoritmy pro nalezení optimálního řešení využití metod prohledávání stavového prostoru: metoda větví a mezí (branch and bound) metody dynamického programování A pro AND/OR grafy

33 Algoritmy pro nalezení optimálního řešení využití metod prohledávání stavového prostoru: metoda větví a mezí (branch and bound) metody dynamického programování A pro AND/OR grafy Prohledávání prostoru všech řešení je výpočetně náročné.

34 Suboptimální řešení v reálném čase BATS troubleshooter: Vyvinutý v rámci společného projektu Hewlett-Packard a Aalborg University.

35 Suboptimální řešení v reálném čase BATS troubleshooter: Vyvinutý v rámci společného projektu Hewlett-Packard a Aalborg University. Využívá několik heuristik založených na poměru p/c.

36 Suboptimální řešení v reálném čase BATS troubleshooter: Vyvinutý v rámci společného projektu Hewlett-Packard a Aalborg University. Využívá několik heuristik založených na poměru p/c. Porovnání optimálního řešení s BATS troubleshooterem Problem A Q OPTIM BATS Tray Overrun Load Pjam Scatter NotDupl Spots MIO

37 Adaptivní test znalostí Q 1 Q 2 Q 5 Q 3 wrong correct Q 4 wrong Q 4 correct wrong Q 8 correct Q 5 Q 6 Q 2 Q 7 Q 6 Q 9 wrong correct wrong correct wrong correct wrong correct Q 7 Q 1 Q 3 Q 6 Q 8 Q 4 Q 7 Q 7 Q 10 Q 8 Q 9 Q 10

38 Příklad testu: Matematické operace se zlomky CP Dovednost Porovnávání (společný čitatel nebo jmenovatel) Příklad 1 2 > 1 3, 2 3 > 1 3 AD Sčítání (společný jmenovatel) = = 3 7 SB Odčítání (společný jmenovatel) = = 1 5 MT Násobení CD Převod na společný jmenovatel 5 = 3 10 ( 1 2, 2 ) ( 3 = 3 6, 4 6) CL Krácení 4 6 = = 2 3 CIM Převod na smíšené zlomky 7 2 = = CMI Převod na nepravé zlomky = = 7 2

39 Mylné postupy (Misconceptions) Příklad Četnost výskytu v datech MAD MSB MMT1 MMT2 MMT3 MMT4 MC a b + c d = a+c b+d 14.8% a b c d = a c b d 9.4% a b c b = a c b 14.1% a b c b = a+c b b 8.1% a b c d = a d b c 15.4% a b c d = a c b+d 8.1% a b c = a b c 4.0%

40 Model studenta HV2 HV1 ACMI ACIM ACL ACD AD SB CMI CIM CL CD MT CP MAD MSB MC MMT1 MMT2 MMT3 MMT4

41 Model pro úlohu T 1 ( ) = = = 4 8 = 1 2

42 Model pro úlohu T 1 ( ) = = = 4 8 = 1 2 T1 MT & CL & ACL & SB & MMT3 & MMT4 & MSB

43 Model pro úlohu T 1 ( ) = = = 4 8 = 1 2 T1 MT & CL & ACL & SB & MMT3 & MMT4 & MSB CL ACL MT SB MMT3 MSB T1 MMT4 P(X1 T1) X1

44 Model studenta spojený s modelem pro úlohu T 1 HV2 HV1 ACMI ACIM ACL ACD AD SB CMI CIM CL CD MT CP MAD MSB MC MMT1 MMT2 MMT3 MMT4 T1 X1

45 Opakujeme dva základní kroky: Adaptivní test 1. odhadujeme úroveň jednotlivých znalostí studenta

46 Adaptivní test Opakujeme dva základní kroky: 1. odhadujeme úroveň jednotlivých znalostí studenta 2. vybíráme vhodnou otázku na základě odhadu úrovně znalostí

47 Adaptivní test Opakujeme dva základní kroky: 1. odhadujeme úroveň jednotlivých znalostí studenta 2. vybíráme vhodnou otázku na základě odhadu úrovně znalostí Entropie jako míra informace:

48 Opakujeme dva základní kroky: Adaptivní test 1. odhadujeme úroveň jednotlivých znalostí studenta 2. vybíráme vhodnou otázku na základě odhadu úrovně znalostí Entropie jako míra informace: H (P(S)) = s P(S = s) log P(S = s) 1 entropy probability

49 Opakujeme dva základní kroky: Adaptivní test 1. odhadujeme úroveň jednotlivých znalostí studenta 2. vybíráme vhodnou otázku na základě odhadu úrovně znalostí Entropie jako míra informace: H (P(S)) = s P(S = s) log P(S = s) 1 entropy probability Čím je entropie nižší tím více toho o znalostech studenta víme.

50 Opakujeme dva základní kroky: Adaptivní test 1. odhadujeme úroveň jednotlivých znalostí studenta 2. vybíráme vhodnou otázku na základě odhadu úrovně znalostí Entropie jako míra informace: H (P(S)) = s P(S = s) log P(S = s) 1 entropy probability Čím je entropie nižší tím více toho o znalostech studenta víme. Hladový algoritmus: V každém kroku vybereme otázku, která nejvíce snižuje entropii.

51 Kvalita predikce jednotlivých dovedností adaptive test fixed descending order fixed ascending order Number of answered questions

52 Aplikace 3: F1 na okruhu v Silverstone Délka: mil = km Používaný při Velké ceně Velké Británie v letech Nejrychlejší okruh: Sebastian Vettel (2009), Red Bull-Renault Čas jednoho okruhu: vteřin

53 Rozhodovací diagram pro rychlostní profil vozu F1 (pro dva segmenty)

54 Porovnání rychlostních profilů Omezení na maximální rychlost Speed [km/h] Max. allowed speed Lap distance [m]

55 Porovnání rychlostních profilů Řešení pomocí rozhodovacího diagramu čas 84.0 s. Speed [km/h] Max. allowed speed Influence diagram Lap distance [m]

56 Porovnání rychlostních profilů Řešení pomocí rozhodovacího diagramu čas 84.0 s. Testovací pilot čas 85.8 s. (S. Vettel s.) Speed [km/h] Max. allowed speed Influence diagram Testing pilot Lap distance [m]