An Answer Set Programming Environment for High-Level Specification and Visualization of FCA

Lucas Bourneuf 1, 2
1 Dyliss - Dynamics, Logics and Inference for biological Systems and Sequences
Inria Rennes – Bretagne Atlantique , IRISA_D7 - GESTION DES DONNÉES ET DE LA CONNAISSANCE
Abstract : This paper introduces Biseau, a programming environment dedicated to the exploration of relations through a graphical display. The use of Answer Set Programming enables the production of small code modules which are easy to maintain and debug since they are very close to the specifications. This paper shows how a mathematical framework such as Formal Concept Analysis can be efficiently described at the level of its properties, without needing a costly development process. We hope that it will help to quickly adapt a given code to the peculiarities of a data set, thereby speeding up the development of prototypes. Besides, it will also help the integration of the ideas of the FCA community in a readable and shareable format. From a practical point of view, Biseau provides an Answer Set Programming to (graphviz) dot compiler and uses the graphviz software to render in real-time the calculated graphs to user, for instance to produce concept lattices or aoc posets visualizations. Its relation with existing tools like LatViz and FCAbundles is also discussed.
Type de document :
Communication dans un congrès
FCA4AI'18, Jul 2018, Stockholm, Sweden
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01945938
Contributeur : Lucas Bourneuf <>
Soumis le : mercredi 5 décembre 2018 - 16:16:15
Dernière modification le : vendredi 7 décembre 2018 - 01:14:07

Fichier

FCA4AI_18___biseau.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01945938, version 1

Citation

Lucas Bourneuf. An Answer Set Programming Environment for High-Level Specification and Visualization of FCA. FCA4AI'18, Jul 2018, Stockholm, Sweden. 〈hal-01945938〉

Partager

Métriques

Consultations de la notice

30

Téléchargements de fichiers

7