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

Lucas Bourneuf 1
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.
Document type :
Conference papers
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01945938
Contributor : Lucas Bourneuf <>
Submitted on : Wednesday, December 5, 2018 - 4:16:15 PM
Last modification on : Thursday, December 20, 2018 - 1:47:47 PM
Document(s) archivé(s) le : Wednesday, March 6, 2019 - 3:26:31 PM

File

FCA4AI_18___biseau.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01945938, version 1

Citation

Lucas Bourneuf. An Answer Set Programming Environment for High-Level Specification and Visualization of FCA. FCA4AI'18 - 6th Workshop «What can FCA do for Artificial Intelligence?», Jul 2018, Stockholm, Sweden. pp.1-12. 〈hal-01945938〉

Share

Metrics

Record views

59

Files downloads

23