Utilisation d'une logique de préférences conditionnelles pour raisonner avec des normes contrary-to-duties

Le contexte de ce travail est la modélisation en logique du raisonnement déontique. Plus précisément, nous nous intéressons à la modélisation de normes de type Contrary-To-Duties (CTD) qui sont des structures exprimant une obligation primaire et une obligation secondaire qui prend effet lorsque l'obligation primaire est violée. Notre travail est basé sur la proposition de Carmo et Jones qui ont listé un certain nombre de postulats que doit satisfaire une logique pour raisonner correctement avec les CTD. Nous proposons d'adapter une logique de préférences conditionnelles, définie dans un tout autre contexte, celui de la Décision Qualitative