Une logique pour la planification en environnement partiellement observable

A logic for planning under partial observability

• Auteur / Autrice : Thomas Polacsek
• Direction : Andreas Herzig
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 2004
• Etablissement(s) : Toulouse 3

Mots clés

Mots clés contrôlés

Modalité (logique)

Programmation logique

Logique épistémique

Intelligence artificielle

Mots clés libres

Planification

Logique

Logique modale

Agent autonome

Intelligence artificielle

Logique épistémique

Représentation de l'action

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.

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.