Spelling suggestions: "subject:"logique pivotante"" "subject:"logique votantes""
1 |
Autour de la Caractérisation de Raisonnements de Sens Commun en Présence d'Informations IncertainesBen-Naim, Jonathan 28 April 2006 (has links) (PDF)
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.
|
Page generated in 0.3291 seconds