Colloque

Visualisation du treillis de Galois d'une relation au moyen du système RELVIEW

Salah Ben Mohammed Sghaier

Fairouz Tchier

Jules Desharnais

Nadir Bekhliter

Membre a labase

Salah Ben Mohammed Sghaier

Résumé du colloque

La vérification d'une conjecture portant sur les graphes ou les relations se fait souvent au moyen de petits exemples traités manuellement. Le système RELVIEW, développé à l'Université des forces armées de Munich, a été conçu pour le traitement interactif d'exemples de plus grande taille. Il permet de construire les relations (sous forme de matrices booléennes) au moyen de la souris, puis de leur appliquer divers opérateurs relationnels. Nous montrons comment utiliser RELVIEW pour visualiser sous forme de matrice booléenne le treillis de Galois d'une relation binaire (treillis des rectangles maximaux); c'est une tâche manuelle complexe, même pour de petits exemples. RELVIEW permet aussi d'afficher un à un chacun des rectangles maximaux, de choisir le rectangle maximal à afficher, par sélection, au moyen de la souris, d'un élément dans un vecteur de rectangles maximaux. Il devient alors facile de construire sur papier le graphe du treillis de Galois. Cette application produit non seulement des résultats utiles, mais est aussi un bon exercice d'utilisation de l'algèbre des relations.

Contexte

Section :

Informatique et recherche opérationnelle

Thème du colloque :

Informatique et recherche opérationnelle

Hôte : Université du Québec à Rimouski

Découvrez d'autres communications scientifiques

Dans le même colloque
Du même congressiste

Titre du colloque :

Informatique et recherche opérationnelle

Interférence entre les attracteurs dans un réseau neuronal

Alex Friedmann

Classification des modules d'un logiciel par niveau de complexité

Jean Mayrand

L'opérateur d'indifférence et les classes d'équivalence

Laszlo N. Kiss

Voir tous les contenus de ce colloque

Autres communications du même congressiste :

Thème du colloque :

Informatique et recherche opérationnelle

Visualisation du treillis de Galois d'une relation au moyen du système RELVIEW

Salah Ben Mohammed Sghaier

Visualisation du treillis de Galois d'une relation au moyen du système RELVIEW

Salah Ben Mohammed Sghaier

Visualisation du treillis de Galois d'une relation au moyen du système RELVIEW

Salah Ben Mohammed Sghaier