LogoLogo

Perrotin, Elise. Approches légères pour le raisonnement sur les connaissances et les croyances

Perrotin, Elise (2021). Approches légères pour le raisonnement sur les connaissances et les croyances.

[img]
Preview
PDF - nécessite un logiciel de visualisation PDF comme GSview, Xpdf or Adobe Acrobat Reader
1901Kb

Résumé en francais

Dans cette thèse nous étudions un cadre simple dans lequel modéliser les croyances et les connaissances ainsi que leur évolution dans des systèmes multi-agents. La logique standard de représentation des connaissances est très expressive, mais au prix d'une haute complexité calculatoire. Nous proposons ici un cadre qui permet de capturer plus de situations que d'autres approches existantes tout en restant efficace. En particulier, nous considérons l'application de notre logique à la planification épistémique : étant données une situation initiale et des actions possibles, peut-on atteindre un but fixé ? Cela peut signifier savoir à qui poser des questions pour apprendre des informations, faire en sorte de ne pas être remarquée lorsque l'on lit le courrier de quelqu'un d'autre, ou empêcher quelqu'un d'entendre nos secrets. Nous considérons aussi de possibles extensions à des logiques de croyance, ainsi que les liens entre notre système et d'autres cadres proches.

Sous la direction du :
Directeur de thèse
Herzig, Andreas
Lorini, Emiliano
Ecole doctorale:Mathématiques, informatique, télécommunications de Toulouse (MITT)
laboratoire/Unité de recherche :Institut de Recherche en Informatique de Toulouse (IRIT), UMR 5505
Mots-clés libres :Représentation des connaissances - Planification épistémique - Connaissance commune
Sujets :Informatique
Déposé le :10 May 2022 10:37