Une logique pour la planification en environnement partiellement observable

par Thomas Polacsek

Thèse de doctorat en Informatique

Sous la direction de Andréas Herzig.

Soutenue en 2004

à Toulouse 3 .


  • Résumé

    Dans la première partie de ce travail nous définissons une logique modale, EDL, qui soit la fusion de la logique dynamique et d'une logique épistémique, qui permet de raisonner explicitement avec les connaissances d'un agent, avec une sémantique, une axiomatique associée ainsi qu'une méthode des tableaux, c'est-à-dire une méthode de démonstration automatique. Dans la deuxième partie, plus orientée planification, nous exprimons, à l'aide de EDL, plusieurs des concepts fréquemment posés dans le cadre de la planification sous environnement partiellement observable tels que les connaissances incomplètes, les actions non déterministes, les plans conditionnels, l'observabilité totale, les faits inobservables ou l'acquisition pure et simple de connaissance. Par ailleurs, nous présentons une méthode automatique de vérification de plan ainsi que de génération de plan dédié aux problèmes sous environnement partiellement observable et directement issue de EDL.

  • Titre traduit

    A logic for planning under partial observability


  • Pas de résumé disponible.


  • Résumé

    In the first part of this work we define a modal logic, EDL, who is the fusion of dynamic logic and a modal epistemic logic, which makes it possible to explicitly reason with agent’s knowledge, with a semantic, an axiomatic and a tableaux method. In the second part, more directed planning, we express, using EDL, several of the concepts frequently posed in the framework of planning under partial observability such as incomplete knowledge, nondeterministic actions, conditional plans, total observability, inobservable facts or knowledge gathering action. In addition, we developed, from our logic, an automatic method of plan checking and of plan generation dedicated to the problems under partial observability.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 136 p.
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 125-131

Où se trouve cette thèse ?

  • Bibliothèque : Université Paul Sabatier. Bibliothèque universitaire de sciences.
  • Disponible pour le PEB
  • Cote : 2004TOU30158
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.