Abstract FR:

La mise en oeuvre efficiente d'un procédé de calcul de plans d'actions dans un cadre informatique nécessite une analyse approfondie des méthodes et des modèles. Le but à atteindre se concrétiserait par la mise en place d'un algorithme performant qui à partir d'une requête sous forme logique dénotant une transition entre deux états d'un univers dynamique et d'un système d'actions modélisées, produit une réponse à cette requête sous la forme d'une séquence d'actions. L'objet de ce travail de thèse est de déterminer aussi précisément que possible ce qui unit et ce qui sépare l'arithmétique du calcul déductif et celle du calcul de plans d'actions. En s'appuyant sur un formalisme adapté, cette analyse propose un certain nombre d'orientations concernant la conception d'une procédure de décision se distinguant éventuellement de la déduction.