Cholvy, Laurence and Garion, Christophe An attempt to adapt a logic for conditional preferences for reasoning with Contrary-To-Duties. (2000) In: Fifth International Workshop on Deontic Logic In Computer Science, 20-22 Jan 2000, Toulouse, France .
|(Document in English) |
PDF (Author's version) - Depositor and staff only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
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.
|Item Type:||Conference or Workshop Item (Paper)|
|Audience (conference):||International conference without published proceedings|
|Institution:|| Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE|
French research institutions > Office National d'Etudes et Recherches Aérospatiales - ONERA
|Deposited By:||Christophe Garion|
Repository Staff Only: item control page