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

• Main Author: Ben-Naim, Jonathan
• Language: FRE
• Published: Université de Provence - Aix-Marseille I 2006
• Subjects: [INFO:INFO_OH] Computer Science/Other; raisonnement de sens commun; logiques non-monotones; logiques préférentielles; logiques pivotantes; logiques paraconsistantes; logiques multi-valuées; révision des croyances itérée; révision à base de distances
• Online Access: http://tel.archives-ouvertes.fr/tel-00080513; http://tel.archives-ouvertes.fr/docs/00/08/05/13/PDF/thesisBennaimEnglish.pdf; http://tel.archives-ouvertes.fr/docs/00/08/05/13/PDF/theseBennaimFrancais.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.