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.
| Identifer | oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00080513 |
| Date | 28 April 2006 |
| Creators | Ben-Naim, Jonathan |
| Publisher | Université de Provence - Aix-Marseille I |
| Source Sets | CCSD theses-EN-ligne, France |
| Language | French |
| Detected Language | French |
| Type | PhD thesis |
Page generated in 0.0036 seconds