Planification (intelligence artificielle)

vignette|Exemple de plan pour un robot qui déplace des blocs : prendre B, poser B sur la table, prendre C, poser C sur A.|alt=|257x257px En intelligence artificielle, la planification automatique (automated planning en anglais) ou plus simplement planification, vise à développer des algorithmes pour produire des plans typiquement pour l'exécution par un robot ou tout autre agent. Les logiciels qui incorporent ces algorithmes s'appellent des planificateurs. La difficulté du problème de planification dépend des hypothèses de simplification qu'on tient pour acquises, par exemple un temps atomique, un temps déterministe, une observabilité complète, etc. La compétition IPC (international planning competition) a lieu tous les ans durant le congrès ICAPS (International Conference on Planning and Scheduling). Un planificateur typique manipule trois entrées décrites dans un langage formel (tel que STRIPS ou PDDL) qui utilise des prédicats logiques : une description de l'état initial d'un monde, une description d'un but à atteindre et un ensemble d'actions possibles (parfois appelés opérateurs). Chaque action est spécifiée par des préconditions qui doivent être satisfaites dans l'état actuel pour qu'elle puisse être appliquée, et des postconditions (effets sur l'état actuel). vignette|Jeux Atari. vignette|Télescope spatial Hubble. Un logiciel informatique BRIDGE BARON , utilisant un planificateur, remporte la compétition Baron Barclay World Bridge Computer Challenge, une compétition internationale gérée par le American Contract Bridge League, en . Ce logiciel s'appuyait sur de la planification hiérarchique de tâches. En 2015, la planification a été utilisée pour construire des programmes qui jouent automatiquement aux jeux Atari. Le système SHPE basé sur de la planification dite hiérarchique permet de faire de la planification pour des jeux vidéo, en particulier des jeux de tir tactique (FPS pour first-person shooter ; ils ont des benchmarks appelés SimpleFPS pour ce type de jeu).