Les règles d'inférence sont totalement décrites dans la description de l'agent. On peut donc utiliser n'importe quel système de règles d'inférence. En fait, les règles de mise à jour fonctionnent aussi comme des règles d'inférence et sont traduites de la même manière. Il a donc été très facile d'expliciter les règles d'inférence. Le moteur d'inférence qu'il a fallu coder se résume donc en l'instanciation des règles.