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.
Domains
Computation and Language [cs.CL]Origin | Files produced by the author(s) |
---|