Veranderingen van kennis in Kripke-modellen. “A Logic of Epistemic Actions” van Alexandru Baltag.

Presentatie over: "Veranderingen van kennis in Kripke-modellen. “A Logic of Epistemic Actions” van Alexandru Baltag."— Transcript van de presentatie:

1 Veranderingen van kennis in Kripke-modellen

2 “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 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 zoiets als

10 Kennisupdates na een actie? hoe werd bij de Muddy Children kennis aan ‘t Kripke-model toegevoegd? ( Niet ) formalisering zoiets als Vermoedt de ander dat er geleerd wordt? (Of dat er vals gespeeld wordt?)

11 Toestand: s

12 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) a,b *

19 Actie:

20 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 k m l

23 Actie: a kijkt (leert ) b denkt niet dat a kijkt k m l *

24 Actie: a kijkt (leert ) b denkt niet dat a kijkt k m l * a leert

25 Actie: a kijkt (leert ) b denkt niet dat a kijkt k m l * a leert a leert niet

26 Actie: a kijkt (leert ) b denkt niet dat a kijkt k m l * a leert a leert niet a leert

27 Actie: a kijkt (leert ) b denkt niet dat a kijkt k m l a a,b a b b * a leert a leert niet a leert

28 Actie: a kijkt (leert ) b denkt niet dat a kijkt k m l a a,b a b b * a leert a leert niet a leert,b

29 Modellen en Epistemische Acties

30 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

37 k m l

38 k m l

39 k m l

40 k m l

41 k m l

42 k m l

43 k m l *

44 k m l a,b *

45 Toestand na Actie s. : k m l a,b a b b *

46 Toestand na Actie s. : k m l a,b a b b a b b *

47 Toestand na Actie s. : k m l a,b a b b a b b *,b b,

48 … en toen schiep...

49 Hier hebben we een calculus:

50 … en toen schiep... Hier hebben we een calculus: toepassing actie

51 … en toen schiep... Hier hebben we een calculus: toepassing actie simultane acties

52 … en toen schiep... Hier hebben we een calculus: toepassing actie simultane actiessequentie van acties

53 … en toen schiep... Hier hebben we een calculus: toepassing actie simultane actiessequentie van actiesvermoeden van actie

54 … en toen schiep... Hier hebben we een calculus: Bisimilariteit ~ op Modellen en Acties (== grofweg “zelfde vorm”) toepassing actie simultane actiessequentie van actiesvermoeden van actie

55 … en toen schiep... Hier hebben we een calculus: Bisimilariteit ~ op Modellen en Acties (== grofweg “zelfde vorm”) toepassing actie simultane actiessequentie van actiesvermoeden van actie

56 … en toen schiep... Hier hebben we een calculus: Bisimilariteit ~ op Modellen en Acties (== grofweg “zelfde vorm”) toepassing actie simultane actiessequentie van actiesvermoeden van actie

57 … en toen schiep... Hier hebben we een calculus: Bisimilariteit ~ op Modellen en Acties (== grofweg “zelfde vorm”) toepassing actie simultane actiessequentie van actiesvermoeden van actie

58 … en toen schiep... Hier hebben we een calculus: Bisimilariteit ~ op Modellen en Acties (== grofweg “zelfde vorm”) toepassing actie simultane actiessequentie van actiesvermoeden van actie

59 Conclusie

60 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 That’s 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 That’s all folks Dat werd tijd, laten we nu alles maar snel weer vergeten