Autour de la caractérisation de raisonnements de sens commun en présence d'informations incertaines

par Jonathan Ben-Naim

Thèse de doctorat en Mathématiques, informatique et mécanique. Informatique

Sous la direction de Karl Schlechta.

Soutenue en 2006

à Aix-Marseille 1 , en partenariat avec Université de Provence. Section sciences (autre partenaire) .


  • Résumé

    L'essence de cette thèse est de produire des caractérisations (ou montrer l'inexistence de caractérisations) pour des familles de relations de conséquence et d'opérateurs de révision. On s'intéressera dans un premier temps à 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

  • Titre traduit

    On the characterization of commonsense reasoning in the presence of uncertain information


  • Résumé

    The essence of the present thesis is to provide characterizations (or show the nonexistence of characterizations) for families of consequence relations and revision operators. First, we will investigate preferential consequence relations (in the sense of Kraus, Lehmann, and Magidor) and pivotal consequence relations (in the sense of Makinson). These are plausible relations (the former are non-monotonic, the latter are monotonic) conceived to deal with incomplete information. We will study them in paraconsistent frameworks such as the one of the logic of Belnap. This will render them useful to treat also inconsistent information. Second, we will investigate an approach to belief revision introduced by Lehmann, Magidor, and Schlechta. It is based on distances between valuations and has the advantage to define well-behaved iterated revision operators

Autre version

Cette thèse a donné lieu à une publication en 2006 par [CCSD] [diffusion/distribution] à Villeurbanne

Autour de la caractérisation de raisonnements de sens commun en présence d'informations incertaines

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (105 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliographie p. 99-105

Où se trouve cette thèse ?

  • Bibliothèque : Université d'Aix-Marseille (Marseille. St Charles). Service commun de la documentation. Bibliothèque universitaire de sciences lettres et sciences humaines.
  • Disponible pour le PEB
  • Bibliothèque : Université de Bordeaux. Direction de la documentation. Bibliothèque de recherche Mathématiques et Informatique.
  • PEB soumis à condition
  • Cote : 22200
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.