An Answer Set Programming Environment for High-Level Specification and Visualization of FCA - Inria - Institut national de recherche en sciences et technologies du numérique
Conference Papers Year : 2018

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

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.
Fichier principal
Vignette du fichier
FCA4AI_18___biseau.pdf (820.86 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-01945938 , version 1 (05-12-2018)

Identifiers

  • HAL Id : hal-01945938 , version 1

Cite

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⟩
112 View
123 Download

Share

More