Ce chapitre présente une extension du JMS (Justification Maintenance System) basée sur une logique probabiliste : le PTMS (Probabilistic Truth Maintenance System). Le système est capable de tenir un raisonnement non monotone et de maintenir la consistance (localement) dans une base de connaissances.