Box 1738 3000 DR Rotterdam, the Netherlands YTANQFAC.FBK.EUR..NL Abstract Deontic logic, the logic of obligations and permissions, is plagued by several paradoxes that have to be understood before deontic logic can be used as a knowledge representation language. In this paper we extend the temporal analysis of Chishohn's paradox using a deontic logic that combines temporal and preferential notions. Introduction Deontic logic is a modal logic in which Op is read as'p ought to be (done).' Deontic logic has traditionally been used by philosophers to analyze the structure of the normative use of language. In the eighties deontic logic had a revival, when it was discovered by computer scientists that this logic can be used for the formal specification and validation of a wide variety of topics in computer science (for an overview and further references see (Wieringa & Meyer 1993)). The advantage is that norms can be violated without creating an inconsistency in the formal specification, in contrast to violations of hard constraints. Another application is the use of deontic logic to represent legal reasoning in legal expert systems in artificial intelligence. Legal expert systems have to be able to reason about legal rules and documents such as for example a trade contract.
Jan-11-2006, 01:43:20 GMT