Computing Implications with Negation from a Formal Context - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Fundamenta Informaticae Année : 2012

Computing Implications with Negation from a Formal Context

Rokia Missaoui
  • Fonction : Auteur
Yoan Renaud

Résumé

The objective of this article is to define an approach towards generating implicationswith (or without) negation when only a formal context K = (G, M, I) is provided. To that end, we define a two-step procedure which first (i) computes implications whose left-hand side is a key in the context K\tilde{K} representing the apposition of the context K and its complementary \tilde{K} with attributes in \tilde{M}(negative attributes), and then (ii) uses an inference axiom we have defined to produce the whole set of implications. The initial context K needs to be reduced.
Fichier non déposé

Dates et versions

hal-01352937 , version 1 (10-08-2016)

Identifiants

Citer

Rokia Missaoui, Lhouari Nourine, Yoan Renaud. Computing Implications with Negation from a Formal Context. Fundamenta Informaticae, 2012, 4, 115, pp.357-375. ⟨10.3233/FI-2012-659⟩. ⟨hal-01352937⟩
135 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More