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 .

  • Titre traduit

    ˜a œlogic for planning under partial observability


  • Pas de résumé disponible.


  • 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.

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.