Ph.d.-forsvar v. Jens Ulrik Hansen 13.10.2011
Jens Ulrik Hansen forsvarer sin ph.d.-afhandling:
A logic toolbox for modeling knowledge and information in multi-agent systems and social epistemology
Torsdag d.13. oktober 2011 kl. 13.00 – 16.00 i bygning 3, lokale 3.2.2
Resume:
Multiagent-systemer, formel- og social-epistemologi er delområder af datalogi og filosofi, hvor begreberne viden og information spiller vigtige roller. En tilgang til modellering af viden og information er modallogik. Denne afhandling bidrager med flere tekniske resultater indenfor modallogik samt en række eksempler på hvordan viden og information kan modelleres med modallogik. Afhandlingens hovedbidrag er således en sammensmeltning af offentlig annoncerings-logik og hybridlogik, udvidelser af en tableaumetode for hybridlogik og en logisk analyse af pluralistisk ignorance.
Bedømmelsesudvalg
John Gallagher, professor, CBIT, Roskilde Universitet (formand)
Wiebe van der Hoek, professor, Computer Science Department, University of Liverpool, UK
Barteld Kooi, lecturer, Department of Theoretical Philosophy, University of Groningen, Holland
Leder af forsvarshandlingen:
Keld Bødker, Ph.d.-skoleleder CBIT, Roskilde Universitet
Vejledere:
Torben Braüner, lektor, CBIT, Roskilde Universitet
Stig Andur Pedersen, professor, CUID, Roskilde Universitet
Afhandlingen kan lånes på Roskilde Universitets Bibliotek.
Efter forsvaret vil RUC være vært for en reception I 3.1.3.