Les termes : un modèle de représentation et structuration de données symboliques

Terms: an algebraic model for representation and structuration of symbolic data

• Auteur / Autrice : Marie-Christine Daniel-Vatonne
• Direction : Olivier Gascuel
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 1993
• Etablissement(s) : Montpellier 2

Mots clés

Mots clés contrôlés

Galois, Théorie de

Treillis, Théorie des

Terminologie

Arbres (théorie des graphes)

Ensembles ordonnés

Analyse des données

Structures de données (informatique)

Résumé

Nos travaux se situent dans le cadre de l'analyse conceptuelle des donnees. Notre objectif est de generaliser les representations par variables binaires ou nominales en y adjoignant la modelisation de structures internes. Le probleme est de ne pas perdre en complexite algorithmique ce qui est gagne en puissance de representation. Selon ces considerations, decrire les donnees et les classes de donnees par des structures arborescentes est un bon compromis. Le systeme de representation que nous proposons s'appuie sur un modele algebrique: les magmas. Il permet de construire des termes assimilables a des arborescences finies, etiquetees et typees. Leur interpretation est intuitive et ils autorisent les descriptions recursives. Une relation d'ordre naturel, la generalisation, induit un treillis sur les termes. Nous etudions ce treillis et montrons qu'il possede des proprietes proches de celles d'un treillis booleen. En particulier, nous montrons que l'on peut construire un treillis de galois mettant en correspondance des ensembles d'objets et leur description par des termes