Abstract FR:

La planification est un element indispensable pour doter un robot autonome de capacites decisionnelles. Ce qui nous interesse dans cette these est le niveau predictif plutot que le niveau reactif d'un systeme decisionnel, et en particulier la planification de taches. Le travail propose a pour objectif d'etendre la representation temporelle pour prendre en compte les actions avec effets dependant du contexte. Toute action peut avoir des effets supplementaires selon le contexte dans lequel elle s'execute. Il s'agit de caracteriser les contextes par un ensemble de preconditions et par des effets supplementaires. Le but initial est d'accroitre l'expressivite des actions ; mais cette extension a egalement permis d'ameliorer les performances du planificateur. La deuxieme partie de cette these s'interesse a l'integration des axiomes du domaine dans le processus de planification. Ces axiomes permettent d'exprimer des incoherences du monde que le systeme doit prendre en compte lors de l'elaboration d'une solution. L'utilisation des axiomes augmente l'expressivite en specifiant des lois generales, qui sont la plupart du temps difficile voire impossible a exprimer dans les actions. Ces travaux reposent sur la representation temporelle du systeme ixtet, dans lequel ont ete integrees les extensions proposees. Le travail a egalement porte sur le developpement et le test d'une application industrielle en planification. Il s'agit de la gestion de la production des avions des usines dassault aviation. L'analyse de ce probleme ainsi que les solutions proposees pour sa resolution sont egalement presentees.