International audienceDans cet article, la connaissance partielle disponible des évolutions possibles d'un système dynamique est représentée par un ensemble de paires & formules propositionnelles: Si la première est vraie alors la seconde sera vraie a l'étape suivante. Plus généralement, un niveau de certitude, exprimé en termes de mesure de nécessité, peut être associé a la seconde formule. Un graphe de transition possibiliste reliant les états possibles peut Ître déduit de ces paires et utilisé pour mettre a jour une base de connaissances incertaine, également représentée dam le cadre de la logique possibiliste, et associée a une distribution de possibilité sur les états. La mise a jour peut également s'effectuer directement au niveau syntaxique a partir des paires décrivant les transitions et les formules de la base. Comme de nombreux ensembles de paires peuvent décrire le même graphe, on s'intéresse au représentant de cette classe qui donne les calculs syntaxiques les plus simples. Enfin, on peut affiner la représeniation des transitions en utilisant une seconde fonction & transition. On obtient ainsi une description bipolaire, encodée d'une part par ûLés paires associées a des degrés de nécessité décrivant ce qui n'est pas impossible, et d'autre partpar des paires associées a des degrés de possibilité garantie indiquant Les éventualités les plus couramment observées