Autour de la Caractérisation de Raisonnements de Sens Commun en Présence d'Informations Incertaines - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2006

On the Characterization of Common Sense Reasoning in the Presence of Uncertain Information

Autour de la Caractérisation de Raisonnements de Sens Commun en Présence d'Informations Incertaines

Résumé

The essence of the present thesis is to provide representation theorems and impossibility theorems for families of consequence relations and revision operators. First, we will investigate preferential consequence relations (in the sense of Kraus, Lehmann, and Magidor) and pivotal consequence relations (in the sense of Makinson). These are plausible relations (the former are non-monotonic, the latter are monotonic) conceived to deal with incomplete information. We will study them in paraconsistent frameworks such as the one of the logic of Belnap. This will render them useful to treat also inconsistent information. Second, we will investigate an approach to belief revision introduced by Lehmann, Magidor, and Schlechta. It is based on distances between valuations and has the advantage to define well-behaved iterated revision operators.
L'essence de cette thèse est de produire des théorèmes de représentation et d'impossibilité pour des familles de relations de conséquence et d'opérateurs de révision. Dans un premier temps, on s'intéressera à des relations de conséquence préférentielles (au sens de Kraus, Lehmann et Magidor) et pivotantes (au sens de Makinson). Ce sont des relations plausibles (les premières ne sont pas monotones, les secondes si) conçues pour traiter des informations incomplètes. On les étudiera dans des cadres paraconsistants tels que celui de la logique de Belnap, ce qui les rendra aussi utiles pour traiter des informations incohérentes. En seconde partie, on s'intéressera à une approche à la révision des croyances introduite par Lehmann, Magidor et Schlechta. Elle est basée sur des distances entre interprétations et présente l'avantage de définir des opérateurs de révision qui se comportent bien en cas d'itération.
Fichier principal
Vignette du fichier
theseBennaimFrancais.pdf (2.1 Mo) Télécharger le fichier
thesisBennaimEnglish.pdf (1.99 Mo) Télécharger le fichier
Loading...

Dates et versions

tel-00080513 , version 1 (19-06-2006)

Identifiants

  • HAL Id : tel-00080513 , version 1

Citer

Jonathan Ben-Naim. Autour de la Caractérisation de Raisonnements de Sens Commun en Présence d'Informations Incertaines. Autre [cs.OH]. Université de Provence - Aix-Marseille I, 2006. Français. ⟨NNT : ⟩. ⟨tel-00080513⟩
96 Consultations
199 Téléchargements

Partager

Gmail Facebook X LinkedIn More