Méthode de décomposition rectangulaire d'une relation binaire : une base formelle et uniforme pour la génération automatique des thésaurus et la recherche documentaire

Rectangular decomposition method of binary relation : a formal and uniform tools for automatic thesaurus generation and information retrieval

• Auteur / Autrice : Mohamed Mohsen Gammoudi
• Direction : Ali Jaoua, Nhan Le Thanh
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 1993
• Etablissement(s) : Nice
• Jury : Président / Présidente : Serge Miranda
• Jury : Examinateurs / Examinatrices : Claudine Peyrat
• Jury : Rapporteur / Rapporteuse : Nadir Belkhiter, Marie-France Bruandet, Bernard Causse

Mots clés

Mots clés contrôlés

Recherche documentaire automatisée

Décomposition (mathématiques)

Thésaurus

Mots clés libres

Sciences et techniques communes

Sciences de l'information, documentation

Informatique documentaire

Conception

Traitement document

Construction

Traitement automatisé

Méthode heuristique

Forme rectangulaire

Matrice rectangulaire

Treillis

Théorie graphe

Algorithme optimal

Donnée binaire

Recherche documentaire

Treillis de Galois

Base donnée documentaire

Cd

Représentation intermédiaire

Cd

Traitement question

Cd

Résumé

La plupart des travaux relatifs aux bases de données documentaires (BDD) montrent que le thesaurus constitue un outil nécessaire et utile pour l'indexation et la recherche. Dans la majorité des BDD sa construction reste manuelle et très couteuse. De plus, les approches utilisées pour la conception des BDD sont soit complexes à mettre en œuvre (approche linguistique) soit utilisant des outils de calcul définis d'une manière ad-hoc sans base théorique suffisante (approche statistique). Pour pallier à ces problèmes, nous proposons une méthode de construction automatique de thesaurus (problème crucial) et de représentation intermédiaire d'une BDD. Notre méthode de construction est justifiée par une base théorique. En effet, dans la première partie de cette thèse, nous présentons la théorie sur laquelle nous nous appuyons pour donner une vision unifiée de l'indexation et la recherche dans une BDD. Ensuite, nous définissons des heuristiques pour donner une solution approche à deux problèmes NP-complets : extraction de rectangles optimaux d'une relation binaire R et la recherche d'une couverture minimale de R. Ces heuristiques sont évaluées de deux points de vue : temps d'exécution et espace de stockage. Dans la deuxième partie, nous appliquons cette méthode pour générer automatiquement le thesaurus rectangulaire à partir d'une matrice binaire (terme, terme) et pour définir une représentation intermédiaire du BDD à partir d'une matrice (terme, document) sous forme d'un graphe de rectangles (GR). Les connexions de Galois nous permettent de formuler ou de reformuler une requête documentaire, exprime sous forme d'un système d'inéquation. La résolution de ce système consiste à retrouver un ou plusieurs rectangles dans un GR

Research works related to Documentary Databases (DDB) show that the thesaurus makes up a useful an necessary tool for indexing and retrieval. In the most DDBs, its construction remains manual and highly costly. Moreover, the approaches used for the DDB design are either complex to implement (linguistic approach), or use computing tools defined without sufficient formal tools (statistic approach). To solve these problems, we propose an automatic construction method of thesaurus (crucial problem) and a medium representation of a DDB. Our construction method is justified on a theoritical base. In the first part of this work, we describe the theory on which we are based to give a unified vision on indexing and retrieval in DDB. Then, we define some heuristics to give aproximate solution to two NP-complet problems: optimal rectangle extraction of a binary relation R and the search of a minimal cover of R. These heuristics are evaluated from two points of view: running-time and storage space. In the second part we apply this method to automatically generate the rectangular thesaurus from a binary matrix (term, term), and to define a middle representation of the DDB from a matrix (term, document) in a Rectangle Graph (RG) form. The Galois connections allows to formulate or to reformulate a documentary query, expressed in an inequality system. The resolution of this system consists in finding one or several rectangles in a RG