Ph.d.-forsvar ved Jens Ulrik Hansen
Torsdag d.13. oktober 2011 kl. 13.00 – 16.00 i bygning 3, lokale 3.2.2
Jens Ulrik Hansen forsvarer sin ph.d.-afhandling:
A logic toolbox
for modeling knowledge and information
in multi-agent systems and social epistemology
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