Planification automatisée : modélisation et contraintes

Cette séance de cours couvre la planification automatisée, y compris la planification linéaire et non linéaire, la planification avec des contraintes, et les applications dans divers domaines tels que le monde des blocs. Il explique les défis de la planification, de l'utilisation des opérateurs et de la représentation des États et des actions. L'instructeur discute de la complexité de la planification, de l'importance de l'heuristique et de l'efficacité de la résolution des problèmes de planification à l'aide des problèmes de satisfaction des contraintes. La séance de cours aborde également la planification hiérarchique, le raisonnement temporel et les applications pratiques comme la planification des missions spatiales et l'optimisation des mouvements des ascenseurs.