LEGASTELOIS Bénédicte

Docteur
Équipe : LFI
Date de départ : 31/08/2018
https://lip6.fr/Benedicte.Legastelois

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

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)

Date de départ : 31/08/2018

Publications 2015-2017

Mentions légales
Carte du site