Veranderingen van kennis in Kripke-modellen

“A Logic of Epistemic Actions” van Alexandru Baltag

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

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

Kennisupdates na een actie?

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

Kennisupdates na een actie? hoe werd bij de Muddy Children kennis aan ‘t Kripke-model toegevoegd? ( Niet )

Kennisupdates na een actie? hoe werd bij de Muddy Children kennis aan ‘t Kripke-model toegevoegd? ( Niet ) formalisering

Kennisupdates na een actie? hoe werd bij de Muddy Children kennis aan ‘t Kripke-model toegevoegd? ( Niet ) formalisering zoiets als

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?)

Toestand: s

gokken met een munt

Toestand: s gokken met een munt 2 spelers, a en b

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

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

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

Toestand: s gokken met een munt 2 spelers, a en b gooien (en nog niet kijken) *

Toestand: s gokken met een munt 2 spelers, a en b gooien (en nog niet kijken) a,b *

Actie:

a kijkt (leert )

Actie: a kijkt (leert ) b denkt niet dat a kijkt

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

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

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

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

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

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

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

Modellen en Epistemische Acties

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

Modellen en Epistemische Acties Een Epistemische Actie is een soort Kripke-model (er komen precondities bij) Uitvoering actie: Model.Actie

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

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

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

Toestand na Actie s. :

k m l

k m l

k m l

k m l

k m l

k m l

k m l *

k m l a,b *

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

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

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

… en toen schiep...

Hier hebben we een calculus:

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

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

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

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

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

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

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

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

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

Conclusie

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

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

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

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