Universiteit van Amsterdam

Logische systemen voor kennisgerelateerde protocollen


Promotie Informatica

dinsdag 21 september, 12.00 uur

Yanjing Wang voerde een logisch onderzoek uit van kennisgerelateerde protocollen, met aandacht voor hun dynamiek en voor zaken die verband houden met het epistemisch modelleren en bevragen van modellen (model checking). Hij toont dat de verificatie van protocollen complexer wordt wanneer de correctheid ervan mede berust op hogere-orde-redeneren over kennis. Om dergelijke complexe protocollen te verifiëren ontwikkelde Wang diverse logische systemen. Daarbij gaat het in het bijzonder om het behandelen van kennisgroei en protocolverandering tijdens het doorlopen van een bepaald protocol. De semantiek van deze logica's is gedefinieerd in termen van zogeheten epistemische Kripke-modellen. Wang toont hoe dergelijke Kripke-modellen kunnen worden gegenereerd door compositie van kleinere deelmodellen, waarmee model checking voor protocollen wordt vereenvoudigd. Dhr. Y. Wang: Epistemic Modelling and Protocol Dynamics. Promotor is dhr. prof. dr. D.J.N. van Eijck.
Locatie: Agnietenkapel, Oudezijds Voorburgwal 231, Amsterdam.