Recherche Avancée

Thèse soutenue

Un modèle logique de recherche d'informations appliqué au formalisme des graphes conceptuels : le prototype ELEN et son expérimentation sur un corpus de composants logiciels

FR  |  
EN
Auteur / Autrice : Jean-Pierre Chevallet
Direction : Yves Chiaramella
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 1992
Etablissement(s) : Université Joseph Fourier (Grenoble ; 1971-2015)

Résumé

FR

Que ce soit pour la maintenance de programmes, la réutilisation de codes ou simplement pour l'utilisation de gros logiciels comme les systèmes d'exploitation, un utilisateur est conformé à un problème qui apparaît comme appartenant au domaine de la Recherche d'Informations: trouver le module, les procédures ou les commandes qui réalisent une certaine fonctionnalité. Pour permettre cette recherche, il est nécessaire de décrire chaque composant dans un formalisme suffisamment complexe pour exprimer avec précision leur fonctionnalité, mais permettant également des évaluations de distance sémantique entre une requête et un document. Nous présentons pour cela un Système de Recherche d'Informations orienté vers la précision des réponses, et utilisant pour l'indexation un formalisme de graphe inspiré des Graphes Conceptuels de Sowa. La mesure de la correspondance sémantique est décrite par un Modèle Logique, en terme d'une logique modale floue du premier ordre. Nous présentons également un mécanisme d'optimisation de la recherche, basé sur des signatures de graphe