Une logique pour la planification en environnement partiellement observable
Institution:
Toulouse 3Disciplines:
Directors:
Abstract EN:
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.
Abstract FR:
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.