Une tactique est une liste ordonnée de théories, qui détermine le parcours d’une base de
règles 3
pour déterminer la ou les règles qui vont être appliquées.
Les théories sont classées en 2 catégories :
Une tactique complète se présente comme une combinaison d’un tactique backward et d’une
tactique forward :
La tactique forward est optionnelle.
Le parcours d’une tactique consiste donc à rechercher dans chaque théorie backward une
règle qui peut s’appliquer. L’ordre de recherche correspond à l’ordre des théories
listées.
Si une règle peut s’appliquer, alors elle est appliquée et la recherche se poursuit avec la théorie
suivante. Ce processus va se répéter jusqu’à épuisement des théories backward.
Si, au cours du parcours des théories backward, au moins une hypothèse a été générée, alors le
processus décrit pour les théories backward va s’appliquer pour la liste des théories forward (s’il
y en a), et ce à chaque montée d’hypothèse.
Une théorie ou un groupe de théories peut être “tildé”. Dans ce cas, il va y avoir
tentative d’application d’une règle de cette théorie tant qu’il y a application de règles
de cette théorie. Lorsqu’il n’y a plus de règles appliquées, la théorie suivante sera
examinée.
Exemple :
Implicitement, la liste de théories la plus externe est “tildée”, c’est à dire que :
est équivalent à