Caractéristiques du PTMS

Le PTMS est un système de maintien de la cohérence dans une base de connaissances probabiliste. La logique probabiliste utilise des formules probabilistes $\Phi=\left<\varphi,p\right>$, où $\varphi$ est une formule et $p\in[0,1]$. Les formules probabilistes vérifient la propriété suivante :

$$\left<\varphi,p\right> \Rightarrow \forall q \left( q \le p \Rightarrow \left<\varphi,q\right> \right)$$

Cette propriété permet de donner un sens à $\left<\varphi,p\right>$ : << La formule $\varphi$ est vraie avec une probabilité au moins égale à p >>.