Reasoning about obligations: defeasibility in preference-based deontic logic
Leendert van der Torre, Leendert van der Torre · Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands · 1997
Many people have contributed to the realization of this thesis.First and foremost, this thesis owes much of its shape and content to Yao-Hua Tan.Many of the here presented results were obtained in collaboration with him.I am grateful to him for all the time and effort he put in the development of me and my work.I also thank Patrick van der Laag for contributing to the content of this thesis.He always found time to read what was written.Furthermore, I could always rely on his moral and social support.I thank Pedro Ramos for joint research reported in Section 5.3, John-Jules Meyer, Henry Prakken and Marek Sergot for several discussions on the issues raised in this thesis, and Wiebe van der Hoek for a discussion on modal logic.I thank Mark Polman for proof-reading this thesis.During my stay at the Erasmus University, I was in the lucky position to have two offices, and the freedom to combine the best of both worlds.The first office was located at the Department of Computer