Return to search

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

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.

Identiferoai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00080513
Date28 April 2006
CreatorsBen-Naim, Jonathan
PublisherUniversité de Provence - Aix-Marseille I
Source SetsCCSD theses-EN-ligne, France
LanguageFrench
Detected LanguageFrench
TypePhD thesis

Page generated in 0.0018 seconds