OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

An attempt to adapt a logic of conditional preferences for reasoning with Contrary-To-Duties

Cholvy, Laurence and Garion, Christophe An attempt to adapt a logic of conditional preferences for reasoning with Contrary-To-Duties. (2001) Fundamenta Informaticae, 4 (2-3). 183-204. ISSN 0169-2968

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: http://fi.mimuw.edu.pl/


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 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.

Item Type:Article
Audience (journal):International peer-reviewed journal
Uncontrolled Keywords:
Institution:French research institutions > Office National d'Etudes et Recherches Aérospatiales - ONERA (FRANCE)
Laboratory name:
Deposited On:03 Jun 2008 15:03

Repository Staff Only: item control page