thesis
Contribution à la réalisation d'un raisonneur à profondeur variable : le système de maintenance
Institution:
Paris 13Disciplines:
Directors:
Abstract EN:
Pas de résumé disponible.
Abstract FR:
Après une présentation du concept de profondeur variable mis en oeuvre, l'emploi simultané de la logique des défauts de r. Reiter et d'un principe circonscriptif est analysé. La notion d'univers sert de base à la formulation de conditions de validité pour ce raisonnement. La notion d'univers complet régulier est ensuite comparée à celle d'extension employée par r. Reiter pour la logique des defauts. Elles sont montrées équivalentes pour les théories restreintes, mais distinctes dans le cas génèral