Une question essentielle pour un agent intelligent devant faire voluer un syst me est Quelles actions effectuer pour mener bien ma t che ? . Pour y r pondre, l'agent doit pr voir l'effet de ses plans d'action sur le syst me. Les mod les utilis s en planification classique ne suffisent plus d s lors que l'agent n'a pas une connaissance parfaite du syst me ou lorsque les actions ne sont pas d terministes. Nous d veloppons une logique modale doxastique permettant de raisonner sur les croyances graduelles de l'agent. Nous offrons un cadre formel (syntaxique et s mantique) pour la progression ( on-line et off-line ) d' tats de croyances graduels par des programmes incluant des actions pist miques non fiables et actions ontiques pouvant chouer. Tandis que la progression on-line permet l'ex cution des programmes, la progression off-line permet l' valuation de ceux-ci par rapport un but pr cis et donc l' tablissement d'un plan d'action adapt la t che de l'agent.