Règles d'inférence

Une règle d'inférence $\left(\frac{LHS}{RHS}\right)_{COND,P}$ est un quadruplet $\left< LHS,RHS,COND,P \right>$, où LHS et RHS sont les parties gauche et droites de la règle, COND est une condition nécessaire à l'applicabilité de la règle et P la probabilité de la règle.