Abstract FR:

La methodologie de conception utilisee par secsi est detaillee: les differents niveaux d'abstraction, les etapes de l'expertise et la nature des connaissances. Les caracteristiques du moteur secsi sont ensuite developpees. Une methode de justification des resultats, qui consiste en un raisonnement sur les etats successifs de la base de faits, est propose. Seulement quelques uns de ces etats sont stockes, pour retrouver les autres, le concept de "retro instanciation" est introduit