An Attempt to Adapt a Logic of Conditional Preferences for Reasoning with Contrary-To-Duties

Issue title: Deontic Logic in Computer Science

Article type: Research Article

Authors: Cholvy, Laurence | Garion, Christophe

Affiliations: ONERA Centre de Toulouse, Toulouse, France

Abstract: This paper presents an attempt to adapt, in the context of deontic reasoning, a logic defined by Boutilier for reasoning with conditional preferences. The first motivation for this work is that deontic logic can be given a semantics in terms of ordered worlds like in this kind of logic: the preference relation among worlds aims at ordering worlds from the most ideal ones to the least ideal ones. The second motivation is that Boutilier introduced a model of an agent's ability by distinguishing between controllable, influenceable and uninfluenceable propositions. And we noticed that this partition can be related to the notions introduced by Carmo and Jones for reasoning with Contrary-To-Duties. This present work shows an extension of Boutilier's work in order to use his logic for reasoning with Contrary-To-Duties. An exhaustive study of a benchmark example of CTDs leads us to show that the results obtained with this extension coincide exactly with those obtained by Carmo and Jones.

Keywords: Conditional preferences, Deontic reasoning, Contrary-To-Duties

Journal: Fundamenta Informaticae, vol. 48, no. 2-3, pp. 183-204, 2001