Credal Networks under Epistemic Irrelevance: Theory and - - PowerPoint PPT Presentation

credal networks under epistemic irrelevance theory and
SMART_READER_LITE
LIVE PREVIEW

Credal Networks under Epistemic Irrelevance: Theory and - - PowerPoint PPT Presentation

Credal Networks under Epistemic Irrelevance: Theory and Algorithms Jasper De Bock 13 May 2015, Ghent, Belgium Credal Networks under Epistemic Irrelevance:


slide-1
SLIDE 1

Jasper ¡De ¡Bock ¡ Credal ¡Networks ¡under ¡ Epistemic ¡Irrelevance: ¡ Theory ¡and ¡Algorithms ¡

13 ¡May ¡2015, ¡Ghent, ¡Belgium ¡

slide-2
SLIDE 2
slide-3
SLIDE 3

Jasper ¡De ¡Bock ¡ Credal ¡Networks ¡under ¡ Epistemic ¡Irrelevance: ¡ Theory ¡and ¡Algorithms ¡

13 ¡May ¡2015, ¡Ghent, ¡Belgium ¡

slide-4
SLIDE 4

Jasper ¡De ¡Bock ¡ Credal ¡Networks ¡under ¡ Epistemic ¡Irrelevance: ¡ Theory ¡and ¡Algorithms ¡

13 ¡May ¡2015, ¡Ghent, ¡Belgium ¡

Bayesian ¡

slide-5
SLIDE 5

§ Variables ¡Xs ¡take ¡values ¡xs ¡in ¡ a ¡finite ¡non-­‑empty ¡set ¡ ¡ ¡

Bayesian ¡networks: ¡variables ¡

X2 ¡ X1 ¡ X4 ¡ X6 ¡ X7 ¡ X5 ¡ X3 ¡ X8 ¡

Xs

slide-6
SLIDE 6

Bayesian ¡networks: ¡variables ¡

Flu ¡ Muscle ¡Pain ¡ CongesLon ¡ Hayfever ¡ Itchy ¡nose ¡ Season ¡

slide-7
SLIDE 7

Bayesian ¡networks: ¡graphical ¡structure ¡

X2 ¡ X1 ¡ X4 ¡ X6 ¡ X7 ¡ X5 ¡ X3 ¡ X8 ¡ § Variables ¡Xs ¡take ¡values ¡xs ¡in ¡ a ¡finite ¡non-­‑empty ¡set ¡ ¡ ¡

Xs

§ Graphical ¡structure: ¡DAG ¡

slide-8
SLIDE 8

Bayesian ¡networks: ¡graphical ¡structure ¡

Flu ¡ Muscle ¡Pain ¡ CongesLon ¡ Hayfever ¡ Itchy ¡nose ¡ Season ¡

slide-9
SLIDE 9

Bayesian ¡networks: ¡graphical ¡structure ¡

X2 ¡ X1 ¡ X4 ¡ X6 ¡ X7 ¡ X5 ¡ X3 ¡ X8 ¡ § Variables ¡Xs ¡take ¡values ¡xs ¡in ¡ a ¡finite ¡non-­‑empty ¡set ¡ ¡ ¡

Xs

§ Graphical ¡structure: ¡DAG ¡

∀s ∈ G: P(s), D(s), N(s)

slide-10
SLIDE 10

Bayesian ¡networks: ¡graphical ¡structure ¡

Flu ¡ Muscle ¡Pain ¡ CongesLon ¡ Hayfever ¡ Itchy ¡nose ¡ Season ¡

slide-11
SLIDE 11

Bayesian ¡networks: ¡graphical ¡structure ¡

Flu ¡ Muscle ¡Pain ¡ CongesLon ¡ Hayfever ¡ Itchy ¡nose ¡ Season ¡

slide-12
SLIDE 12

Bayesian ¡networks: ¡local ¡models ¡

X2 ¡ X1 ¡ X4 ¡ X6 ¡ X7 ¡ X5 ¡ X3 ¡ X8 ¡ § Local ¡uncertainty ¡models ¡ § Graphical ¡structure: ¡DAG ¡

∀s ∈ G: P(s), D(s), N(s)

§ Variables ¡Xs ¡take ¡values ¡xs ¡in ¡ a ¡finite ¡non-­‑empty ¡set ¡ ¡ ¡

Xs

slide-13
SLIDE 13

Bayesian ¡networks: ¡local ¡models ¡

§ Local ¡uncertainty ¡models: ¡ mass ¡funcLons ¡ Example: ¡ X2 ¡ X1 ¡ X4 ¡ X6 ¡ X7 ¡ X5 ¡ X3 ¡ X8 ¡

pscxP (s) p4cx{2,3}

§ Variables ¡Xs ¡take ¡values ¡xs ¡in ¡ a ¡finite ¡non-­‑empty ¡set ¡ ¡ ¡

Xs

§ Graphical ¡structure: ¡DAG ¡

∀s ∈ G: P(s), D(s), N(s)

slide-14
SLIDE 14

Bayesian ¡networks: ¡local ¡models ¡

Flu ¡ Muscle ¡Pain ¡ CongesLon ¡ Hayfever ¡ Itchy ¡nose ¡ Season ¡

slide-15
SLIDE 15

Bayesian ¡networks: ¡local ¡models ¡

Flu ¡ Muscle ¡Pain ¡ CongesLon ¡ Hayfever ¡ Itchy ¡nose ¡ Season ¡

slide-16
SLIDE 16

X2 ¡ X1 ¡ X4 ¡ X6 ¡ X7 ¡ X5 ¡ X3 ¡ X8 ¡

Bayesian ¡networks: ¡independence ¡

§ Independence ¡assumpLons ¡ § Local ¡uncertainty ¡models: ¡ mass ¡funcLons ¡ pscxP (s) § Variables ¡Xs ¡take ¡values ¡xs ¡in ¡ a ¡finite ¡non-­‑empty ¡set ¡ ¡ ¡

Xs

§ Graphical ¡structure: ¡DAG ¡

∀s ∈ G: P(s), D(s), N(s)

slide-17
SLIDE 17

X2 ¡ X1 ¡ X4 ¡ X6 ¡ X7 ¡ X5 ¡ X3 ¡ X8 ¡

Bayesian ¡networks: ¡independence ¡

§ Independence ¡assumpLons: ¡ § Local ¡uncertainty ¡models: ¡ mass ¡funcLons ¡ pscxP (s) ∀s ∈ G: I(N(s), s |P(s)) § Variables ¡Xs ¡take ¡values ¡xs ¡in ¡ a ¡finite ¡non-­‑empty ¡set ¡ ¡ ¡

Xs

§ Graphical ¡structure: ¡DAG ¡

∀s ∈ G: P(s), D(s), N(s)

slide-18
SLIDE 18

Bayesian ¡networks: ¡independence ¡

Flu ¡ Muscle ¡Pain ¡ CongesLon ¡ Hayfever ¡ Itchy ¡nose ¡ Season ¡

slide-19
SLIDE 19

Bayesian ¡networks: ¡independence ¡

Flu ¡ Muscle ¡Pain ¡ CongesLon ¡ Hayfever ¡ Itchy ¡nose ¡ Season ¡

slide-20
SLIDE 20

X2 ¡ X1 ¡ X4 ¡ X6 ¡ X7 ¡ X5 ¡ X3 ¡ X8 ¡

Bayesian ¡networks: ¡basic ¡setup ¡

§ Independence ¡assumpLons: ¡ § Local ¡uncertainty ¡models: ¡ mass ¡funcLons ¡ pscxP (s) ∀s ∈ G: I(N(s), s |P(s)) § Variables ¡Xs ¡take ¡values ¡xs ¡in ¡ a ¡finite ¡non-­‑empty ¡set ¡ ¡ ¡

Xs

§ Graphical ¡structure: ¡DAG ¡

∀s ∈ G: P(s), D(s), N(s)

slide-21
SLIDE 21

Bayesian ¡networks: ¡the ¡global ¡model ¡

§ Independence ¡assumpLons: ¡ ∀s ∈ G: I(N(s), s |P(s)) p(xscxP (s), xN(s)) = p(xscxP (s)) = pscxP (s)(xs)

slide-22
SLIDE 22

Bayesian ¡networks: ¡the ¡global ¡model ¡

§ Independence ¡assumpLons: ¡ § Local ¡uncertainty ¡models: ¡ mass ¡funcLons ¡ pscxP (s) ∀s ∈ G: I(N(s), s |P(s)) p(xscxP (s), xN(s)) = p(xscxP (s)) = pscxP (s)(xs)

slide-23
SLIDE 23

Bayesian ¡networks: ¡the ¡global ¡model ¡

§ Independence ¡assumpLons: ¡ § Local ¡uncertainty ¡models: ¡ mass ¡funcLons ¡ pscxP (s) ∀s ∈ G: I(N(s), s |P(s)) p(xscxP (s), xN(s)) = p(xscxP (s)) = pscxP (s)(xs)

slide-24
SLIDE 24

Bayesian ¡networks: ¡the ¡global ¡model ¡

p(xscxP (s), xN(s)) = p(xscxP (s)) = pscxP (s)(xs) p(xG) = Y

s2G

pscxP (s)(xs)

slide-25
SLIDE 25

Bayesian ¡networks: ¡the ¡global ¡model ¡

p(xG) = Y

s2G

pscxP (s)(xs)

slide-26
SLIDE 26

Bayesian ¡networks: ¡inference ¡

p(xG) = Y

s2G

pscxP (s)(xs) p(xS) = X

xG\S

p(xS, xG\S)

slide-27
SLIDE 27

Bayesian ¡networks: ¡inference ¡

p(xG) = Y

s2G

pscxP (s)(xs) p(xQcxE) = p(xQ∪E) p(xE) p(xS) = X

xG\S

p(xS, xG\S)

slide-28
SLIDE 28

Bayesian ¡networks: ¡inference ¡

p(xG) = Y

s2G

pscxP (s)(xs) p(xQcxE) = p(xQ∪E) p(xE) p(xS) = X

xG\S

p(xS, xG\S) Decision ¡making ¡

slide-29
SLIDE 29

X6 ¡ X5 ¡ X1 ¡ X2 ¡ X8 ¡ X9 ¡ X3 ¡ X4 ¡ X7 ¡ Evidence ¡nodes ¡ Query ¡nodes ¡

Bayesian ¡networks: ¡inference ¡

p(xQcxE) = p(xQ∪E) p(xE)

slide-30
SLIDE 30

Bayesian ¡networks: ¡inference ¡

Flu ¡ Muscle ¡Pain ¡ CongesLon ¡ Hayfever ¡ Itchy ¡nose ¡ Season ¡

slide-31
SLIDE 31

A ¡real ¡medical ¡example ¡

Bayesian ¡networks: ¡examples ¡

slide-32
SLIDE 32

A ¡real ¡example ¡from ¡ automobile ¡ ¡ insurance ¡

Bayesian ¡networks: ¡examples ¡

slide-33
SLIDE 33

A ¡real ¡example ¡in ¡ adverLsement, ¡ ¡ used ¡to ¡opLmise ¡and ¡ individualise ¡the ¡ adverLsments ¡that ¡ are ¡shown ¡on ¡ websites ¡

Bayesian ¡networks: ¡examples ¡

slide-34
SLIDE 34

Bayesian ¡networks: ¡in ¡a ¡perfect ¡world… ¡

§ Local ¡uncertainty ¡models: ¡ mass ¡funcLons ¡ X2 ¡ X1 ¡ X4 ¡ X6 ¡ X7 ¡ X5 ¡ X3 ¡ X8 ¡

pscxP (s)

What ¡if ¡we ¡don’t ¡ know ¡them ¡exactly? ¡

slide-35
SLIDE 35

Bayesian ¡networks: ¡in ¡a ¡perfect ¡world… ¡

Flu ¡ Muscle ¡Pain ¡ CongesLon ¡ Hayfever ¡ Itchy ¡nose ¡ Season ¡

slide-36
SLIDE 36

A ¡real ¡medical ¡example ¡

Bayesian ¡networks: ¡in ¡a ¡perfect ¡world… ¡

slide-37
SLIDE 37

Jasper ¡De ¡Bock ¡ Credal ¡Networks ¡under ¡ Epistemic ¡Irrelevance: ¡ Theory ¡and ¡Algorithms ¡

13 ¡May ¡2015, ¡Ghent, ¡Belgium ¡

Bayesian ¡

slide-38
SLIDE 38

Jasper ¡De ¡Bock ¡ Credal ¡Networks ¡under ¡ Epistemic ¡Irrelevance: ¡ Theory ¡and ¡Algorithms ¡

13 ¡May ¡2015, ¡Ghent, ¡Belgium ¡

slide-39
SLIDE 39

X2 ¡ X1 ¡ X4 ¡ X6 ¡ X7 ¡ X5 ¡ X3 ¡ X8 ¡

Credal ¡networks: ¡credal ¡sets ¡

§ Local ¡uncertainty ¡models: ¡ credal ¡sets ¡ § Variables ¡Xs ¡take ¡values ¡xs ¡in ¡ a ¡finite ¡non-­‑empty ¡set ¡ ¡ ¡

Xs

§ Graphical ¡structure: ¡DAG ¡

∀s ∈ G: P(s), D(s), N(s)

FscxP (s)

slide-40
SLIDE 40

Credal ¡networks: ¡credal ¡sets ¡

Flu ¡ Muscle ¡Pain ¡ CongesLon ¡ Hayfever ¡ Itchy ¡nose ¡ Season ¡

slide-41
SLIDE 41

Credal ¡networks: ¡independence? ¡

§ Independence ¡assumpLons: ¡ § Local ¡uncertainty ¡models: ¡ credal ¡sets ¡ § Variables ¡Xs ¡take ¡values ¡xs ¡in ¡ a ¡finite ¡non-­‑empty ¡set ¡ ¡ ¡

Xs

§ Graphical ¡structure: ¡DAG ¡

∀s ∈ G: P(s), D(s), N(s)

? ¡

X2 ¡ X1 ¡ X4 ¡ X6 ¡ X7 ¡ X5 ¡ X3 ¡ X8 ¡ FscxP (s)

slide-42
SLIDE 42

Credal ¡networks: ¡complete ¡independence ¡

§ Independence ¡assumpLons: ¡ § Local ¡uncertainty ¡models: ¡ credal ¡sets ¡ ∀s ∈ G: I(N(s), s |P(s)) § Variables ¡Xs ¡take ¡values ¡xs ¡in ¡ a ¡finite ¡non-­‑empty ¡set ¡ ¡ ¡

Xs

§ Graphical ¡structure: ¡DAG ¡

∀s ∈ G: P(s), D(s), N(s)

pscxP (s)

X2 ¡ X1 ¡ X4 ¡ X6 ¡ X7 ¡ X5 ¡ X3 ¡ X8 ¡ FscxP (s)

slide-43
SLIDE 43

Credal ¡networks: ¡complete ¡independence ¡

p(xG) = Y

s2G

pscxP (s)(xs)

∈ FscxP (s)

slide-44
SLIDE 44

Credal ¡networks: ¡inference ¡

p(xG) = Y

s2G

pscxP (s)(xs) p(xQcxE) = p(xQ∪E) p(xE) p(xS) = X

xG\S

p(xS, xG\S)

? ¡

FscxP (s)

slide-45
SLIDE 45

Credal ¡networks: ¡inference ¡

p(xG) = Y

s2G

pscxP (s)(xs) p(xQcxE) = p(xQ∪E) p(xE) p(xS) = X

xG\S

p(xS, xG\S)

Lower ¡and ¡ upper ¡bounds! ¡ FscxP (s)

slide-46
SLIDE 46

Credal ¡networks: ¡inference ¡

p(xG) = Y

s2G

pscxP (s)(xs) p(xQcxE) = p(xQ∪E) p(xE) p(xS) = X

xG\S

p(xS, xG\S) Decision ¡making ¡

? ¡

FscxP (s) Lower ¡and ¡ upper ¡bounds! ¡

slide-47
SLIDE 47

Credal ¡networks: ¡inference ¡

p(xG) = Y

s2G

pscxP (s)(xs) p(xQcxE) = p(xQ∪E) p(xE) p(xS) = X

xG\S

p(xS, xG\S) Decision ¡making ¡

MulLple ¡ decisions! ¡ Lower ¡and ¡ upper ¡bounds! ¡ FscxP (s)

slide-48
SLIDE 48

A ¡real ¡medical ¡example ¡

Credal ¡networks: ¡inference ¡

slide-49
SLIDE 49

Credal ¡networks: ¡in ¡a ¡perfect ¡world… ¡

Are ¡you ¡sure ¡they ¡ are ¡completely ¡ independent? ¡ § Independence ¡assumpLons: ¡ ∀s ∈ G: I(N(s), s |P(s)) Maybe ¡they ¡are ¡almost ¡ independent? ¡ What ¡does ¡ `almost’ ¡ mean? ¡

slide-50
SLIDE 50

Jasper ¡De ¡Bock ¡ Credal ¡Networks ¡under ¡ Epistemic ¡Irrelevance: ¡ Theory ¡and ¡Algorithms ¡

13 ¡May ¡2015, ¡Ghent, ¡Belgium ¡

slide-51
SLIDE 51

Credal ¡networks: ¡epistemic ¡irrelevance ¡

§ Epistemic ¡irrelevance: ¡ § Local ¡uncertainty ¡models: ¡ credal ¡sets ¡ § Variables ¡Xs ¡take ¡values ¡xs ¡in ¡ a ¡finite ¡non-­‑empty ¡set ¡ ¡ ¡

Xs

§ Graphical ¡structure: ¡DAG ¡

∀s ∈ G: P(s), D(s), N(s)

X2 ¡ X1 ¡ X4 ¡ X6 ¡ X7 ¡ X5 ¡ X3 ¡ X8 ¡ ∀s ∈ G: IR(N(s), s |P(s)) FscxP (s)

slide-52
SLIDE 52

Credal ¡networks: ¡epistemic ¡irrelevance ¡

§ Epistemic ¡irrelevance: ¡ ∀s ∈ G: IR(N(s), s |P(s))

FscxP (s),xN(s) = FscxP (s)

slide-53
SLIDE 53

Credal ¡networks: ¡epistemic ¡irrelevance ¡

p(xscxP (s), xN(s)) = p(xscxP (s))

Almost ¡independence! ¡

FscxP (s),xN(s) = FscxP (s)

slide-54
SLIDE 54

Credal ¡networks: ¡epistemic ¡irrelevance ¡

p(xscxP (s), xN(s)) = p(xscxP (s))

Almost ¡independence! ¡ What ¡is ¡ independence? ¡ What ¡is ¡ probability? ¡ What ¡is ¡ uncertainty? ¡

FscxP (s),xN(s) = FscxP (s)

slide-55
SLIDE 55

Credal ¡networks: ¡epistemic ¡irrelevance ¡

What ¡is ¡ independence? ¡ What ¡is ¡ probability? ¡ What ¡is ¡ uncertainty? ¡

DscxP (s),xN(s) = DscxP (s) MscxP (s),xN(s) = MscxP (s) P scxP (s),xN(s) = P scxP (s) FscxP (s),xN(s) = FscxP (s)

slide-56
SLIDE 56

Credal ¡networks: ¡epistemic ¡irrelevance ¡

p(xscxP (s), xN(s)) = p(xscxP (s))

Almost ¡independence! ¡

FscxP (s),xN(s) = FscxP (s)

slide-57
SLIDE 57

Credal ¡networks: ¡the ¡global ¡model? ¡

p(xscxP (s), xN(s)) = p(xscxP (s))

FscxP (s),xN(s) = FscxP (s)

p(xG) = Y

s2G

pscxP (s)(xs)

∈ FscxP (s)

? ¡

slide-58
SLIDE 58

The ¡irrelevant ¡natural ¡extension ¡

p(xscxP (s), xN(s)) = p(xscxP (s))

FscxP (s),xN(s) = FscxP (s)

the ¡set ¡of ¡all ¡global ¡probability ¡ mass ¡funcLons ¡that ¡are ¡compaLble ¡ with ¡our ¡assessments ¡

slide-59
SLIDE 59

p(xQcxE) = p(xQ∪E) p(xE) p(xS) = X

xG\S

p(xS, xG\S) Decision ¡making ¡ MulLple ¡ decisions! ¡ Lower ¡and ¡ upper ¡bounds! ¡

? ¡ ? ¡ ? ¡

The ¡irrelevant ¡natural ¡extension: ¡inference? ¡

the ¡set ¡of ¡all ¡global ¡probability ¡ mass ¡funcLons ¡that ¡are ¡compaLble ¡ with ¡our ¡assessments ¡

slide-60
SLIDE 60

The ¡irrelevant ¡natural ¡extension ¡

The ¡global ¡model ¡can ¡be ¡described ¡in ¡terms ¡of ¡ linear ¡constraints ¡

Inference ¡can ¡be ¡performed ¡ using ¡linear ¡programming ¡ techniques ¡ (Cozman, ¡2000) ¡

slide-61
SLIDE 61

The ¡irrelevant ¡natural ¡extension ¡

The ¡global ¡model ¡can ¡be ¡described ¡in ¡terms ¡of ¡ linear ¡constraints ¡

Inference ¡can ¡be ¡performed ¡ using ¡linear ¡programming ¡ techniques ¡ (Cozman, ¡2000) ¡

§ Equally ¡simple ¡representaLons ¡in ¡terms ¡

  • f ¡three ¡other ¡frameworks! ¡

§ Without ¡a ¡posiLvity ¡assumpLon! ¡

slide-62
SLIDE 62

The ¡irrelevant ¡natural ¡extension ¡

The ¡global ¡model ¡can ¡be ¡described ¡in ¡terms ¡of ¡ linear ¡constraints ¡

Inference ¡can ¡be ¡performed ¡ using ¡linear ¡programming ¡ techniques ¡ (Cozman, ¡2000) ¡ # ¡constraints ¡is ¡exponenGal ¡ ¡in ¡the ¡size ¡of ¡the ¡network! ¡

§ Equally ¡simple ¡representaLons ¡in ¡terms ¡

  • f ¡three ¡other ¡frameworks! ¡

§ Without ¡a ¡posiLvity ¡assumpLon! ¡

slide-63
SLIDE 63

Jasper ¡De ¡Bock ¡ Credal ¡Networks ¡under ¡ Epistemic ¡Irrelevance: ¡ Theory ¡and ¡Algorithms ¡

13 ¡May ¡2015, ¡Ghent, ¡Belgium ¡

slide-64
SLIDE 64

The ¡irrelevant ¡natural ¡extension ¡

TheoreGcal ¡properGes ¡ § ConnecLons ¡with ¡marginal ¡ and ¡independent ¡natural ¡ extension ¡ § MarginalisaLon ¡properLes ¡ § AD-­‑separaLon ¡implies ¡ ¡ epistemic ¡irrelevance ¡ § … ¡

slide-65
SLIDE 65

The ¡irrelevant ¡natural ¡extension ¡

Inference ¡algorithms ¡ § For ¡recursively ¡ decomposable ¡networks, ¡ inference ¡is ¡very ¡efficient! ¡ § Non-­‑decomposable ¡networks ¡ ¡ can ¡also ¡be ¡dealt ¡with ¡(on ¡a ¡case ¡by ¡case ¡basis) ¡ § Complex ¡types ¡of ¡inference ¡are ¡possible! ¡ § … ¡

For ¡trees: ¡(Cooman ¡et ¡al., ¡2010) ¡

slide-66
SLIDE 66
slide-67
SLIDE 67

Cosa ¡si ¡può ¡fare ¡ con ¡esso? ¡

slide-68
SLIDE 68

Scan ¡and ¡apply ¡ OpGcal ¡Character ¡ RecogniGon ¡ soNware ¡

An ¡applicaGon: ¡correcGng ¡OCR ¡errors ¡

slide-69
SLIDE 69

Scan ¡and ¡apply ¡ OpGcal ¡Character ¡ RecogniGon ¡ soNware ¡

An ¡applicaGon: ¡correcGng ¡OCR ¡errors ¡

DOCTORAAT ¡ DOCTQRAAT ¡

slide-70
SLIDE 70

Scan ¡and ¡apply ¡ OpGcal ¡Character ¡ RecogniGon ¡ soNware ¡

An ¡applicaGon: ¡correcGng ¡OCR ¡errors ¡

Bayesian ¡or ¡credal ¡networks ¡ Correct ¡errors ¡ DOCTORAAT ¡ DOCTQRAAT ¡

slide-71
SLIDE 71

X4 ¡ X6 ¡ X5 ¡ X1 ¡ X2 ¡ X3 ¡

An ¡applicaGon: ¡correcGng ¡OCR ¡errors ¡

slide-72
SLIDE 72

X4 ¡ X6 ¡ X5 ¡ X2 ¡ X3 ¡

An ¡applicaGon: ¡correcGng ¡OCR ¡errors ¡

Evidence ¡nodes ¡ Query ¡nodes ¡

X1 ¡

slide-73
SLIDE 73

H ¡ T ¡ F ¡ H ¡ E ¡ T ¡

An ¡applicaGon: ¡correcGng ¡OCR ¡errors ¡

slide-74
SLIDE 74

? ¡ ? ¡ ? ¡ H ¡ T ¡ F ¡

An ¡applicaGon: ¡correcGng ¡OCR ¡errors ¡

slide-75
SLIDE 75

? ¡ ? ¡ ? ¡ H ¡ T ¡ F ¡

An ¡applicaGon: ¡correcGng ¡OCR ¡errors ¡

p1 p2cx1 p3cx2 p4cx1 p5cx2 p6cx3

Bayesian ¡ network ¡

slide-76
SLIDE 76

? ¡ ? ¡ ? ¡ H ¡ T ¡ F ¡

An ¡applicaGon: ¡correcGng ¡OCR ¡errors ¡

Credal ¡ network ¡

F1 F2cx1 F4cx1 F5cx2 F3cx2 F6cx3

slide-77
SLIDE 77

An ¡applicaGon: ¡correcGng ¡OCR ¡errors ¡

La ¡Divina ¡Commedia ¡

Data ¡is ¡scarce ¡(or ¡expensive) ¡ Obtaining ¡accurate ¡ probabiliLes ¡is ¡unrealisLc ¡

slide-78
SLIDE 78
  • riginal ¡

VITA ¡

correctly ¡read ¡ digital ¡

VITA ¡

SoluGon ¡Bayesian ¡network ¡

VITA ¡ VITA ¡

SoluGon(s) ¡credal ¡network ¡

An ¡applicaGon: ¡correcGng ¡OCR ¡errors ¡

slide-79
SLIDE 79

CON ¡ CCN ¡ CON ¡ CON ¡

  • riginal ¡

incorrectly ¡read ¡ digital ¡ SoluGon ¡Bayesian ¡network ¡ SoluGon(s) ¡credal ¡network ¡

An ¡applicaGon: ¡correcGng ¡OCR ¡errors ¡

slide-80
SLIDE 80
  • riginal ¡

incorrectly ¡read ¡ digital ¡ SoluGon ¡Bayesian ¡network ¡ SoluGon(s) ¡credal ¡network ¡

CHE ¡ CNE ¡ ONE ¡ CBE ¡ ¡ ¡CHE ¡ CNE ¡ ¡ ¡CZE ¡ ¡ ONE ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡

An ¡applicaGon: ¡correcGng ¡OCR ¡errors ¡

slide-81
SLIDE 81
  • riginal ¡

correctly ¡read ¡ SoluGon ¡Bayesian ¡network ¡ SoluGon(s) ¡credal ¡network ¡

EH ¡ EN ¡ CH ¡ EH ¡ EN ¡ EH ¡

digital ¡

An ¡applicaGon: ¡correcGng ¡OCR ¡errors ¡

slide-82
SLIDE 82

An ¡applicaGon: ¡correcGng ¡OCR ¡errors ¡

TOTAL ¡ Credal ¡network ¡ Includes ¡correct ¡answer ¡ Only ¡wrong ¡answers ¡ Bayesian ¡network ¡ Correct ¡answer ¡ Wrong ¡answer ¡ TOTAL ¡ OCR ¡correct ¡ OCR ¡wrong ¡ OCR ¡ Bayesian ¡or ¡credal ¡networks ¡

slide-83
SLIDE 83

An ¡applicaGon: ¡correcGng ¡OCR ¡errors ¡

TOTAL ¡ Credal ¡network ¡ Includes ¡correct ¡answer ¡ Only ¡wrong ¡answers ¡ Bayesian ¡network ¡ Correct ¡answer ¡ Wrong ¡answer ¡ TOTAL ¡ OCR ¡correct ¡ OCR ¡wrong ¡ Words ¡for ¡which ¡the ¡credal ¡network ¡suggests ¡mulLple ¡answers ¡

slide-84
SLIDE 84

Cosa ¡si ¡può ¡fare ¡ con ¡esso? ¡

slide-85
SLIDE 85

Ci ¡sono ¡ domande? ¡