Complexité théorique du raisonnement en logique épistémique dynamique et étude d’une approche symbolique

Nous etudions la complexite theorique de tâches de raisonnement mettant en jeu la connaissance des agents dans les systemes multi-agents. Nous considerons la logique epistemique dynamique (DEL) comme une facon naturelle d'exprimer la connaissance, qui permet d'exprimer la connaissance d'ordre superieur des agents et des actions dynamiques partiellement observees. Nous montrons des resultats de complexite algorithmique pour la verification de modeles et la satisfiabilite de formules de DEL, et definissons une approche symbolique pour ces memes problemes. Nous etudions egalement la planification basee sur DEL ainsi que des quantifications sur certaines actions : les annonces publiques.