Theoretical complexity of reasoning in dynamicepistemic logic and study of a symbolic approach - Irisa Accéder directement au contenu
Thèse Année : 2018

Theoretical complexity of reasoning in dynamicepistemic logic and study of a symbolic approach

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

Résumé

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.
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.
Fichier principal
Vignette du fichier
CHARRIER_Tristan.pdf (1.89 Mo) Télécharger le fichier
Origine : Version validée par le jury (STAR)

Dates et versions

tel-03881830 , version 1 (02-12-2022)

Identifiants

  • HAL Id : tel-03881830 , version 1

Citer

Tristan Charrier. Theoretical complexity of reasoning in dynamicepistemic logic and study of a symbolic approach. Other [cs.OH]. Université de Rennes, 2018. English. ⟨NNT : 2018REN1S124⟩. ⟨tel-03881830⟩
31 Consultations
48 Téléchargements

Partager

Gmail Facebook X LinkedIn More