Calcul des extensions dans les théories de défauts en réseau : Application au raisonnement à profondeur variable

Computing extensions of network default theories : Applying it to variable depth-reasoning

• Auteur / Autrice : Eric Bonté
• Direction : Daniel Kayser
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 1992
• Etablissement(s) : Paris 13

Mots clés

Mots clés contrôlés

Algorithmes

Héritage (informatique)

Théorie des groupes

Réseaux logiques programmables

Résumé

Nous étudions dans cette thèse le problème du calcul des extensions dans un sous-ensemble de la logique des défauts qui permet d'interpréter les réseaux d'héritage avec exceptions. Nous proposons une procédure correcte et complète qui calcule toutes les extensions d'une théorie réseau. Notre procédure ne se limite pas aux théories ordonnées et fonctionne même en présence de circularités dans le réseau. L'originalité de notre procédure est de s'appuyer sur un système de maintenance de la vérité. Nous présentons une adaptation de cette procédure dans le cadre d'un système hybride de raisonnement à profondeur variable, c'est-à-dire dans un système qui travaille sur plusieurs niveaux de représentations définis dynamiquement en fonction des besoins du raisonnement