Instances de règles d'inférence

Une règle d'inférence instanciée est un cas particulier d'une règle d'inférence qui s'applique à un sous ensemble de la base de connaissance. Une instance de règle d'inférence $\left(\frac{LHS}{RHS}\right)_P$ est représentée par le triplet $\left< LHS,RHS,P \right>$. LHS et RHS sont les instances des parties gauche et droite de la règle d'inférence.