Contribution à la réalisation d'un raisonneur à profondeur variable : le système de maintenance

Apres une presentation du concept de profondeur variable mis en oeuvre, l'emploi simultane de la logique des defauts de r. Reiter et d'un principe circonscriptif est analyse. La notion d'univers sert de base a la formulation de conditions de validite pour ce raisonnement. La notion d'univers complet regulier est ensuite comparee a celle d'extension employee par r. Reiter pour la logique des defauts. Elles sont montrees equivalentes pour les theories restreintes, mais distinctes dans le cas general