Dans une application à base de système expert, si l'objectif est de fournir un diagnostic le plus précis et le plus juste possible, l'agent doit être capable de connaître toutes les conséquences logiques de ses connaissances. Cependant, dans notre modèle l'omniscience est à éviter ([Maudet and Evrard, 1998,MacKenzie, 1979]). Un moyen intéressant pour éviter l'omniscience est l'utilisation de coups logiques ([Maudet and Evrard, 1998]) pour contrôler les inférences de l'agent. Dans un souci de simplicité, la solution retenue ici est la limitation en profondeur du moteur d'inférence.