Système de maintien de la cohérence en logique probabiliste

Le problème du maintien de la cohérence dans la base de connaissances de l'agent se pose rapidement. Dans le cadre de cette étude, les agents doivent être capables de tenir un raisonnement non monotone tout en conservant une certaine consistance dans la base (consistance faible ou locale). Le PTMS (Probabilistic Truth Maintenance System) permet de construire de manière incrémentale une base de connaissances. Les formules probabilistes utilisées par le système sont des formules associées à une probabilité. On dira que la base K infère la formule $\phi$ avec une probabilité p si $\langle\phi,p_0\rangle\in K$, $p_0 \ge p$. Ce système respecte les trois axiomes principaux de la mise à jour révisionniste d'une base de connaissances. Soit K' la base de connaissances obtenue après mise à jour de la base K par la formule probabiliste $\phi$. Alors K' infère $\phi$, la << distance >> entre K et K' est minimale et K' reste localement consistante << autour >> de $\phi$. La distance entre deux bases de connaissances est dans ce cas une distance de Hamming (on compte les états dont les probabilités sont différentes).