Une des principales caractéristiques
des planificateurs optimaux modernes tels Graphplan et Blackbox est
leur capacité d'élaguer de larges parts de l'espace de
recherche. D'un autre côté, les planificateurs plus
anciens effectuant une recherche dans les espaces de plans partiels
offrent des possibilités d'exploration de l'espace de recherche
intéressantes mais ne disposent pas de mécanismes
d'élagage aussi performants.
Une formulation de la planification temporelle
indépendante du domaine basée sur la programmation par
contraintes a été proposée dans [VG04a,VG04b], qui
combine avec succès les possibilités d'exploration de
l'espace de recherche de la planification dans les espaces de plans
partiels avec des règles d'élagage puissantes et saines.
La principale innovation de cette formulation est la capacité de
raisonner autour des supports, des relations de
précédence et des liens causaux, en faisant intervenir
les actions qui n'appartiennent pas encore à un plan partiel.
Un planificateur temporel optimal nommé
CPT, basé sur cette formulation, a été
développé au CRIL, et présenté à la
4ème
compétition internationale de planification (IPC-2004). Il a
été récompensé par un deuxième prix
dans la catégorie planification optimale. Ces résultats
encourageants nous invitent donc à améliorer CPT, avec
comme ligne de mire la prochaine compétition, qui aura lieu en
2006.