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

par François Lévy

Thèse de doctorat en Sciences appliquées

Sous la direction de Daniel Kayser.

Soutenue en 1989

à Paris 13 .


  • Résumé

    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


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (114 f.)
  • Annexes : Bibliogr. f. 111

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris 13 (Villetaneuse, Seine-Saint-Denis). Bibliothèque universitaire. Section Sciences.
  • Disponible pour le PEB
  • Cote : TH 1989 034
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.