Applications du raisonnement automatique pour la résolution de problèmes en milieu industriel : planification de tâches, diagnostic (déterminer les causes possibles de panne), allocation de ressources, etc.