LEGASTELOIS Bénédicte

Docteur (ATER, UPMC)
Équipe : LFI
Localisation : Jussieu
    UPMC - LIP6
    Boîte courrier 169
    Couloir 26-00, Étage 5, Bureau 512
    4 place Jussieu
    75252 PARIS CEDEX 05
Tel: 01 44 27 88 03, Benedicte.Legastelois (at) nulllip6.fr
Direction de recherche : Marie-Jeanne LESOT
Co-encadrement : REVAULT D'ALLONNES Adrien

Extension pondérée des logiques modales dans le cadre des croyances graduelles

Le raisonnement sur les croyances requiert des outils dédiés, capables de rendre compte de leurs spécificités, parmi lesquelles leur composante subjective et leur gradualité. La première, due au fait que les croyances constituent une notion essentiellement non factuelle, peut être représentée dans le cadre des logiques modales, qui en proposent un formalisme plus adapté que la logique classique. La gradualité, quant à elle, permet de moduler les croyances en distinguant, par exemple, « croire un peu » de « croire dur comme fer ». La manipulation de telles croyances pondérées nécessite d'étendre la logique modale afin d'en accroître encore l'expressivité.
Dans le cadre général des logiques modales, nous proposons d'abord une sémantique proportionelle pour des opérateurs modaux pondérés, basée sur des modèles de Kripke classiques. Nous étudions ensuite la définition d'axiomes modaux pondérés étendant les axiomes classiques et offrons une typologie les répartissant en quatre catégories, selon l'enrichissement du cas classique qu'ils produisent et leur correspondance avec la contrainte associée sur la relation d'accessibilité. D'autre part, nous proposons une logique dédiée aux croyances graduelles, basée sur la conception représentationaliste des croyances et reposant sur un modèle ensembliste flou. Nous étudions le système d'axiomes auquel il conduit, en particulier en regard de nos propositions pour la logique modale pondérée générale. Enfin, nous mettons en œuvre ces modèles théoriques dans deux applications : un outil permettant la vérification de formules modales pondérées et un joueur artificiel pour un jeu coopératif dans lequel la prise de décision repose sur un raisonnement sur des croyances pondérées.
Soutenance : 30/11/2017 - 09h30 - Site Jussieu - Amphi Herpin
Membres du jury :
Lluis Godo, IIIA-CSIC (Barcelone) [Rapporteur]
Andreas Herzig, IRIT (Toulouse) [Rapporteur]
Philippe Capet, Ektimo (Cahors)
Nicolas Maudet, LIP6 (Paris 6)
Marie-Jeanne Lesot, LIP6 (Paris 6)
Adrien Revault d'Allonnes, LIASD (Paris 8)
Situation professionnelle : ATER - Université Pierre et Marie Curie (UPMC)

Publications 2015-2017

 Mentions légales
Carte du site |