Planification dans des strucures complexes

par Joseph Zalaket

Thèse de doctorat en Informatique

Sous la direction de Jean-Luc Soubie.

Soutenue en 2004

à Toulouse 3 .

mots clés

• Intelligence artificielle
• Planification
• Recherche heuristique
• Strips
• Planification orientée-objet
• Planification numérique
• Planification fonctionnelle
• Artificial intelligence
• Planning
• Heuristic search
• Strips
• Object-oriented planning
• Numerical planning
• Functional planning.
• Intelligence artificielle
• Heuristique
• Conception orientée objets (informatique)
• Planification -- Informatique

Résumé

La planification d'actions est un élément indispensable pour donner à un agent autonome la possibilité du raisonnement sur la façon d'atteindre un but. Plusieurs hypothèses ajoutées à la modélisation des problèmes de planification ont facilité la tâche de planification sur certains domaines de benchmark, mais elles ont décalé l'application de la planification sur des domaines du monde réel. Plusieurs travaux ont été faits pour relaxer l'une ou l'autre de ces hypothèses. Dans ce travail de thèse je propose la relaxation de l'hypothèse qui impose que l'ensemble d'états dans l'espace soit fini en permettant la planification des connaissances numériques qui peuvent induire la génération des nouveaux objets dans le monde. Dans un premier temps je propose la planification dans un monde décrit sous forme orientée-objet dans lequel les fonctions sont utilisées pour représenter les relations entre les objets et pour définir les effets des actions. Dans un deuxième temps je propose une approche fonctionnelle dans laquelle les données numériques peuvent être mises à jour par application des fonctions.

Titre traduit

Planning in complex structures

Résumé

AI planning is an essential element to give to an autonomous agent the possibility of reasoning on the way of achieving a goal. Several assumptions have been added to the modeling of planning problems facilitating the task of planning on certain domains of benchmark. However these assumptions shifted the application of planning on real world domains. Several works was made to release one or the other of these assumptions. In this work of thesis I propose the relieving of the assumption which imposes that the set of states in the space is finite and that by allowing the planning of numerical knowledge, which can induce with the generation of new objects in the world. I propose planning in a world described in an Object-Oriented aspect. In this aspect the functions are used to represent the relations between the objects and to define the effects of the actions. Thus, I propose a functional approach in which the numerical data can be updated by application of functions.