Etude de l'héritage des propriétés dans les réseaux sémantiques : Notion de réseau d'héritage légal

Study of properties inheritance in semantic networks. Notion of legal inheritance network

• Auteur / Autrice : Nacéra Madani
• Direction : Daniel Kayser
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 1994
• Etablissement(s) : Paris 13
• Partenaire(s) de recherche : autre partenaire : Institut Galilée (Villetaneuse, Seine-Saint-Denis)

Mots clés

Mots clés contrôlés

Représentation des connaissances

Sémantique

Résumé

Dans cette étude, nous nous intéressons particulièrement au problème d'héritage dans les réseaux sémantiques et le traitement des exceptions dans ces derniers. Nous définissons une nouvelle approche d'héritage multiple avec exceptions dite "théorie d'héritage légal", inspirée notamment de [Fahlman et al. 81]. Cette théorie permet l'expression syntaxique des réseaux d'héritage non ambigus et est purement décrite en termes de liens IS-A et liens exception. Nous optons pour un traitement semi-automatique de l'ambiguïté comme celle connue sous le nom de "Nixon Diamond", par l'introduction de lien exception qui inhibe l'inférence sur un des deux chemins en conflit. Après une opération de mise à jour, la légalité du réseau est maintenue en dégageant l'ensemble des cycles "ancêtres responsables" de ces ambiguïtés. Ces cycles sont dits cycles ambigus ancêtres positifs ou négatifs (caa+ ou caa-). La résolution de l'ambiguïté au niveau d'un caa+ (ou caa-) induit la résolution systématique de l'ambiguïté au niveau des cycles ambigus ayant le caa+ (caa-) comme "ancêtre". La construction d'une extension d'un réseau d'héritage légal est basée sur la notion de marquage admissible qui est un formalisme définissant l'héritage que l'on peut opérer à partir de la représentation. Une correspondance entre un réseau d'héritage légal avec une théorie des défauts taxonomiques ainsi qu'avec une théorie des défauts libres est établie.