Université de Rennes 1 Complexité théorique du raisonnement en logique épistémique dynamique et étude d’une approche symbolique Theoretical complexity of reasoning in dynamic epistemic logic and study of a symbolic approach système multi-agentsvérification de modèleslogique épistémiquecomplexité de calculmodèle symboliqueplanification épistémique multi-agent systemmodel checkingepistemic logiccomputational complexitysymbolic modelepistemic planning Traitement répartiThèses et écrits académiques Logique épistémiqueThèses et écrits académiques Complexité de calcul (informatique)Thèses et écrits académiques Vérification de modèles (informatique)Thèses et écrits académiques Nous étudions la complexité théorique de tâches de raisonnement mettant en jeu la connaissance des agents dans les systèmes multi-agents. Nous considérons la logique épistémique dynamique (DEL) comme une façon naturelle d'exprimer la connaissance, qui permet d'exprimer la connaissance d'ordre supérieur des agents et des actions dynamiques partiellement observées. Nous montrons des résultats de complexité algorithmique pour la vérification de modèles et la satisfiabilité de formules de DEL, et définissons une approche symbolique pour ces mêmes problèmes. Nous étudions également la planification basée sur DEL ainsi que des quantifications sur certaines actions : les annonces publiques. We study the theoretical complexity of reasoning tasks involving knowledge in multi-agent systems. We consider dynamic epistemic logic (DEL) as a natural way of expressing knowledge, which allows to express nested knowledge of agents and partially observed dynamic actions. We show complexity results for model checking and satisfiability of DEL formulas, and define a symbolic approach for these problems. We also study DEL-based planning and quantification over specific actions: public announcements. Electronic Thesis or DissertationText en application/pdf1 : 2126 Kohttps://ged.univ-rennes1.fr/nuxeo/site/esupversions/2a4b2a55-42ff-4768-9b9e-677421fef507 Charrier Tristan 1991-10-16 FR 237674440 tristan.charrier@gmail.com 2018REN1S124 http://www.theses.fr/2018REN1S124 2018-12-05 informatique Universite de Rennes 1thesis.degree.grantor_1 02778715X Doctorat non ouiPinchinatSophieintervenant_1097578754 MATHSTICecoleDoctorale_1 204770424 Universite Bretagne LoirepartenaireRecherche_1 191639044 IRISA partenaireRecherche_2 026386909 ddc:004 PinchinatSophieUniversite de Rennes 1Sciences et technologie, medecine, pharmacie, odontologie, droit, economie, gestion, philosophieMATHSTICÉcole doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes)Universite Bretagne Loire Communaute des etablissements d enseignement superieur et de recherche (ComuE) IRISA ASCII PDF 2177069