Universiteit van Amsterdam
Formele leertheorie en epistemische speltheorie in één logisch systeem
Promotie Computer science
dinsdag 9 maart, 12.00 uur
Binnen de formele leertheorie worden de voorwaarden bestudeerd, waaronder een actor stabiele kennis kan bereiken en uit een stroom van data een juiste hypothese kan vinden. Binnen de epistemische speltheorie wordt bestudeerd hoe rationele actoren beslissingen nemen tot handelen op grond van hun kennis in strategische interactieve situaties. In beide theorieën staan interactieve vormen van kennis en geloof centraal, en hun evolutie door informatieprocessen in de tijd. Cédric Dégremont verbindt deze theorieën tot een logisch systeem. Daarmee begeeft hij zich op het grensvlak van twee paradigma's die verandering van kennis beschrijven: de temporele en de dynamische logica. Dégremont combineert deze paradigma's op structureel-semantisch en syntactisch niveau. Het verkregen systeem past hij toe in de analyse van wat er gebeurt met de kennis van actoren wanneer zij communiceren, leren, op elkaar reageren, en inductief of strategisch redeneren.
Dhr. C.M.L. Dégremont: The Temporal Mind. Observations on the logic of belief change in interactive systems. Promotor is dhr. prof. dr. J.F.A.K. van Benthem.
Locatie: Agnietenkapel, Oudezijds Voorburgwal 231, Amsterdam.