Thèse soutenue

Contribution à la réalisation d'un raisonneur à profondeur variable : le système de maintenance
FR  |  
EN
Accès à la thèse
Auteur / Autrice : François Lévy
Direction : Daniel Kayser
Type : Thèse de doctorat
Discipline(s) : Sciences appliquées
Date : Soutenance en 1989
Etablissement(s) : Paris 13

Résumé

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