Veranderingen van kennis in Kripke-modellen

1
Veranderingen van kennis in Kripke-modellen
2
Veranderingen van kennis in Kripke-modellen

• A Logic of Epistemic Actions van Alexandru
  Baltag

3
Veranderingen van kennis in Kripke-modellen

• A Logic of Epistemic Actions van Alexandru
  Baltag
• bestudeerd en verteld door Wouter Teepe voor
  Multi Agent Systems anno 1999

4
Veranderingen van kennis in Kripke-modellen

• A Logic of Epistemic Actions van Alexandru
  Baltag
• bestudeerd en verteld door Wouter Teepe voor
  Multi Agent Systems anno 1999
• een idee geven van epistemische acties

5
Kennisupdates na een actie?
6
Kennisupdates na een actie?

• hoe werd bij de Muddy Children kennis aan t
  Kripke-model toegevoegd?

7
Kennisupdates na een actie?

• hoe werd bij de Muddy Children kennis aan t
  Kripke-model toegevoegd?

(Niet)
8
Kennisupdates na een actie?

• hoe werd bij de Muddy Children kennis aan t
  Kripke-model toegevoegd?

(Niet)

• formalisering

9
Kennisupdates na een actie?

• hoe werd bij de Muddy Children kennis aan t
  Kripke-model toegevoegd?

(Niet)

• formalisering

10
Kennisupdates na een actie?

• hoe werd bij de Muddy Children kennis aan t
  Kripke-model toegevoegd?

(Niet)

• formalisering

• Vermoedt de ander dat er geleerd wordt? (Of
  dat er vals gespeeld wordt?)

11
Toestand s
12
Toestand s

• gokken met een munt

13
Toestand s

• gokken met een munt
• 2 spelers, a en b

14
Toestand s

• gokken met een munt
• 2 spelers, a en b
• gooien (en nog niet kijken)

15
Toestand s

• gokken met een munt
• 2 spelers, a en b
• gooien (en nog niet kijken)

16
Toestand s

• gokken met een munt
• 2 spelers, a en b
• gooien (en nog niet kijken)

17
Toestand s

• gokken met een munt
• 2 spelers, a en b
• gooien (en nog niet kijken)

18
Toestand s

• gokken met een munt
• 2 spelers, a en b
• gooien (en nog niet kijken)

19
Actie
20
Actie

• a kijkt (leert )

21
Actie

• a kijkt (leert )

• b denkt niet dat a kijkt

22
Actie

• a kijkt (leert )

• b denkt niet dat a kijkt

23
Actie

• a kijkt (leert )

• b denkt niet dat a kijkt

24
Actie

• a kijkt (leert )

• b denkt niet dat a kijkt

25
Actie

• a kijkt (leert )

• b denkt niet dat a kijkt

26
Actie

• a kijkt (leert )

• b denkt niet dat a kijkt

27
Actie

• a kijkt (leert )

• b denkt niet dat a kijkt

28
Actie

• a kijkt (leert )

• b denkt niet dat a kijkt

29
Modellen en Epistemische Acties
30
Modellen en Epistemische Acties

• Een Epistemische Actie is een soort Kripke-model
  (er komen precondities bij)

31
Modellen en Epistemische Acties

• Een Epistemische Actie is een soort Kripke-model
  (er komen precondities bij)
• Uitvoering actie Model.Actie

32
Modellen en Epistemische Acties

• Een Epistemische Actie is een soort Kripke-model
  (er komen precondities bij)
• Uitvoering actie Model.Actie
• 1 Model x Actie werelden

33
Modellen en Epistemische Acties

• Een Epistemische Actie is een soort Kripke-model
  (er komen precondities bij)
• Uitvoering actie Model.Actie
• 1 Model x Actie werelden
• 2 toepassen precondities

34
Modellen en Epistemische Acties

• Een Epistemische Actie is een soort Kripke-model
  (er komen precondities bij)
• Uitvoering actie Model.Actie
• 1 Model x Actie werelden
• 2 toepassen precondities
• a-pijlen iff a-pijl in Model en in Actie

35
Toestand na Actie s.
36
Toestand na Actie s.
37
Toestand na Actie s.
38
Toestand na Actie s.
39
Toestand na Actie s.
40
Toestand na Actie s.
41
Toestand na Actie s.
42
Toestand na Actie s.
43
Toestand na Actie s.

44
Toestand na Actie s.

45
Toestand na Actie s.

46
Toestand na Actie s.

47
Toestand na Actie s.

48
en toen schiep ...
49
en toen schiep ...

• Hier hebben we een calculus

50
en toen schiep ...

• Hier hebben we een calculus

51
en toen schiep ...

• Hier hebben we een calculus

52
en toen schiep ...

• Hier hebben we een calculus

53
en toen schiep ...

• Hier hebben we een calculus

54
en toen schiep ...

• Hier hebben we een calculus

• Bisimilariteit op Modellen en Acties (
  grofweg zelfde vorm)

55
en toen schiep ...

• Hier hebben we een calculus

• Bisimilariteit op Modellen en Acties (
  grofweg zelfde vorm)

56
en toen schiep ...

• Hier hebben we een calculus

• Bisimilariteit op Modellen en Acties (
  grofweg zelfde vorm)

57
en toen schiep ...

• Hier hebben we een calculus

• Bisimilariteit op Modellen en Acties (
  grofweg zelfde vorm)

58
en toen schiep ...

• Hier hebben we een calculus

• Bisimilariteit op Modellen en Acties (
  grofweg zelfde vorm)

59
Conclusie
60
Conclusie

• Nu weten we hoe we bij acties (Muddy Children)
  kennis kunnen toevoegen

61
Conclusie

• Nu weten we hoe we bij acties (Muddy Children)
  kennis kunnen toevoegen
• Probleem v/d kennisupdate is geformaliseerd
  binnen het concept van Kripke-modellen

62
Conclusie

• Nu weten we hoe we bij acties (Muddy Children)
  kennis kunnen toevoegen
• Probleem v/d kennisupdate is geformaliseerd
  binnen het concept van Kripke-modellen
• Thats all folks

63
Conclusie

• Nu weten we hoe we bij acties (Muddy Children)
  kennis kunnen toevoegen
• Probleem v/d kennisupdate is geformaliseerd
  binnen het concept van Kripke-modellen
• Thats all folks

Dat werd tijd, laten we nu alles maar snel weer
vergeten