Abstract FR:

Ce memoire de these est compose de deux parties, s'inscrivant chacune dans le domaine de la planification en intelligence artificielle; c'est-a-dire la generation automatique d'un plan d'actions dans le but de satisfaire un objectif donne. Dans la premiere partie, nous remarquons que le processus de planification est un raisonnement non monotone dans un univers non completement specifie et evolutif avec le temps. Ce mode de raisonnement comporte des suppositions et implique que des deductions faites peuvent etre remises en cause lors de l'evolution temporelle de l'univers etudie. Nous commencons par rappeler quels sont les differents types de logiques ayant deja ete utilisees dans ce domaine. Puis, nous proposons un formalisme logique (langage, processus de resolution, interpretation) utilisant un graphe de dependances entre les differentes hypotheses du raisonnement effectue. Enfin, nous decrivons la programmation d'un moteur d'inferences associe a ce formalisme. Dans la seconde partie, nous commencons par etudier le probleme de la generation d'emploi du temps. Nous proposons un langage d'expression de contraintes et une methode de resolution melant des techniques issues de la programmation logique en intelligence artificielle et des algorithmes issus de la recherche operationnelle. Puis, nous exposons la resolution de trois sous-problemes pouvant apparaitre dans un tel cadre. Le premier est un probleme d'affectations avec contraintes min/max sur les ressources. Le deuxieme traite de la consistance d'un plan partiel d'actions identifiees a des intervalles de temps. Le dernier est un probleme de consistance semantique de phases temporelles representant les differents etats d'un systeme