In this paper we introduce some new operators that make it possible to reason about decisions and commitments to do actions. In our framework, a decision leads to an intention to do an action. The decision in itself does not change the state of the world; a commitment to actually perform the intended action changes the deontic state of the world such that the intended action becomes obligated. Of course, the obligated action may never actually occur. In our semantic structure, we use static (ough-to-be) and dynamic (ought-to-do) obligation operators. The static operator resembles the classical conception of obligation as truth in ideal worlds, except that it takes the current state as well as the past history of the world into account. This is necessary because it allows us to compare the way a state is actually reached with the way we committed ourselves to reach it. We show that some situations that could formerly not be expressed easily in deontic logic can be described in a natural way using the extended logic described in this paper.
|Number of pages||18|
|Publication status||Published - Jan 1996|
|Event||3rd International Workshop on Deontic Logic in Computer Science, DEON 1996 - Sesimbra, Portugal|
Duration: 11 Jan 1996 → 13 Jan 1996
Conference number: 3
|Conference||3rd International Workshop on Deontic Logic in Computer Science, DEON 1996|
|Period||11/01/96 → 13/01/96|