Sébastien Ferré and Olivier Ridoux.
Une généralisation logique de l'analyse de concepts logique.
Technical Report RR-3820,
Inria, Institut National de Recherche en Informatique et en Automatique,
December 1999.
[WWW]
Keyword(s): concept analysis,
concept lattice,
logic,
context,
information systems,
querying,
browsing.
Abstract:
Nous proposons une généralisation de l'analyse de concepts formels (ACF) dans laquelle les ensembles d'attributs sont remplacés par des expressions d'une logique presque arbitraire. Nous prouvons que toute l'ACF peut être reconstruite sur cette base. Nous montrons qu'à partir de toute logique utilisée à la place des ensembles d'attributs, on peut dériver une logique contextualisée qui prend en compte le contexte formel et qui est isomorphe au treillis de concepts. Nous comparons ensuite la généralisation de l'ACF aux extensions qui y ont déjà été apportées. Enfin, nous présentons nos perspectives d'application aux systèmes d'information. |
@TechReport{FerRid1999,
pages = "26 p.",
type = "Technical Report",
number = "RR-3820",
institution = "Inria, Institut National de Recherche en Informatique et en Automatique",
title = "Une généralisation logique de l'analyse de concepts logique",
author = "Sébastien Ferré and Olivier Ridoux",
year = "1999",
month = dec,
keywords = {concept analysis, concept lattice, logic, context, information systems, querying, browsing},
url = {http://www.inria.fr/rrrt/rr-3820.html},
abstract = {Nous proposons une généralisation de l'analyse de concepts formels (ACF) dans laquelle les ensembles d'attributs sont remplacés par des expressions d'une logique presque arbitraire. Nous prouvons que toute l'ACF peut être reconstruite sur cette base. Nous montrons qu'à partir de toute logique utilisée à la place des ensembles d'attributs, on peut dériver une logique contextualisée qui prend en compte le contexte formel et qui est isomorphe au treillis de concepts. Nous comparons ensuite la généralisation de l'ACF aux extensions qui y ont déjà été apportées. Enfin, nous présentons nos perspectives d'application aux systèmes d'information.},
annote = {FCA,logic,SI},
}