Preservation of obligations in a temporal and deontic framework

We study logical properties that concern the preservation of futuredirected obligations that have not been fulfilled yet. Our starting point is a product of temporal and deontic logics. We investigate some modifications of the semantics of the product in order to satisfy preservation properties, without loosing too much of the basic properties of the product. We arrive at a semantics in which we only consider ideal histories that share the same past as the current one, and that enables a characterization of the states in which the obligations propagate. These are the states where any obligation of a formula that concerns the present moment is not violated. When there are such violations, the deontic realm switches to a lower level of ideality. Categories and Subject Descriptors I.2.4 [Artificial Intelligence]: Knowledge Representation Formalisms and Methods—Modal logic, Temporal logic General Terms Theory, Legal Aspects. Keywords Temporal Logic, Deontic Logic, Product.

• Type: Conference
• Year: 2007
• Where: ATAL
• Authors: Jan Broersen, Julien Brunel
• Keywords: ATAL 2007, Deontic Logic, Keywords Temporal Logic, Temporal Logic