HAL : tel-00080513, version 1

Fiche détaillée

Récupérer au format BibTeX - EndNote - TEI - RefWorks -

Université de Provence - Aix-Marseille I (28/04/2006), Karl Schlechta (Dir.)

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

Jonathan Ben-Naim 1

(28/04/2006)

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.

1 :	Laboratoire d'informatique Fondamentale de Marseille (LIF)
	CNRS : UMR6166 – Université de la Méditerranée - Aix-Marseille II – Université de Provence - Aix-Marseille I

domaine

:

Informatique/Autre

mots-clés : 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

tel-00080513, version 1

http://tel.archives-ouvertes.fr/tel-00080513

oai:tel.archives-ouvertes.fr:tel-00080513

Contributeur : Jonathan Ben-Naim <>

Soumis le : Lundi 19 Juin 2006, 12:10:25

Dernière modification le : Lundi 19 Juin 2006, 15:04:10