Veranderingen van kennis in Kripkemodellen Veranderingen van kennis

Veranderingen van kennis in Kripke-modellen

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?

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

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:

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

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

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

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

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

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

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

Modellen en Epistemische Acties

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. :

Toestand na Actie s. :

Toestand na Actie s. : k l m

Toestand na Actie s. : k l m

Toestand na Actie s. : k l m

Toestand na Actie s. : k l m

Toestand na Actie s. : k l m

Toestand na Actie s. : k l m

Toestand na Actie s. : k l m *

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

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

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

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

… en toen schiep. . .

… 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 acties sequentie van acties

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

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

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

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

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

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

Conclusie

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 Dat werd tijd, toevoegen we nu alles is • Probleem laten v/d kennisupdate maar snel“binnen” weer vergeten geformaliseerd het concept van Kripke-modellen • That’s all folks