R vision, Mise Jour Et Planification En Logique Doxastique Graduelle

Une question essentielle pour un agent intelligent devant faire voluer un systme est: Quelles actions effectuer pour mener bien ma tche?. Pour y rpondre, l'agent doit prvoir l'effet de ses plans d'action sur le systme. Les modles utiliss en planification classique ne suffisent plus ds lors que l'agent n'a pas une connaissance parfaite du systme ou lorsque les actions ne sont pas dterministes. Nous dveloppons une logique modale doxastique permettant de raisonner sur les croyances graduelles de l'agent. Nous offrons un cadre formel (syntaxique et smantique) pour la progression (on-line et off-line) d'tats de croyances graduels par des programmes incluant des actions pistmiques non fiables et actions ontiques pouvant chouer. Tandis que la progression on-line permet l'excution des programmes, la progression off-line permet l'valuation de ceux-ci par rapport un but prcis et donc l'tablissement d'un plan d'action adapt la tche de l'agent.