 |
Laboratoire d'informatique fondamentale de Marseille UMR 6166 - CNRS, Université de la Méditerranée, Université de Provence |
 |
|
Laboratoire d'informatique fondamentale de Marseille UMR 6166 - CNRS, Université de la Méditerranée, Université de Provence |
|
| HAL: hal-00311937, version 1 |
| arXiv: 0808.3072 |
| Detailed view |  Export this paper |
 |
|
|
| A theory of hierarchical consequence and conditionals |
|
|
| Dov Gabbay 1Karl Schlechta 1 |
|
|
| (2008-08-22) |
|
|
|
| We introduce A-ranked preferential structures and combine them with an accessibility relation. This framework allows us to formalize contrary to duty obligations. Representation results are proved. |
|
|
|
|
|
|
|
|
|
|
|
| 1: | Laboratoire d'informatique Fondamentale de Marseille (LIF) |
|
|
|
CNRS : UMR6166 – Université de la Méditerranée - Aix-Marseille II – Université de Provence - Aix-Marseille I |
|
|
|
|
|
|
|
|
|
| Subject | : | Mathematics/Logic |
|
|
| Preferential structures – nonmonotonic logics – contrary to duty obligations |
|
|
|
| Attached file list to this document: | ||||||||||
|
||||||||||
|
|
|
| hal-00311937, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00311937 | |
| oai:hal.archives-ouvertes.fr:hal-00311937 | |
| From: Karl Schlechta | |
| Submitted on: Friday, 22 August 2008 13:19:38 | |
| Updated on: Friday, 22 August 2008 14:53:50 | |
