Dynamische Epistemische Logica in de praktijk

Logica

13jun2018 11.00

Promotie

Dynamische Epistemische Logica (DEL) kan complexe informatiescenario’s modelleren op een intuïtieve manier. Bestaande implementaties zijn echter gebaseerd op expliciete representaties die alleen voor kleine modellen werken. Daarom is niet bekend hoe bruikbaar DEL is voor grotere modellen en echte problemen. Malvin Gattinger kijkt of DEL een in de praktijk bruikbare logica is en hoe het efficiënt geïmplementeerd kan worden.

Dhr. B.R.M. Gattinger: New Directions in Model Checking: Dynamic Epistemic Logic. Promotor is prof. dr. D.J.N. van Eijck. Copromotoren zijn dr. A. Baltag en prof. dr. K. Su (Griffith University).

Deelname

Toegang vrij

Locatie

Gepubliceerd door  UvA Persvoorlichting