Computing Implications with Negation from a Formal Context

  • Authors:
  • Rokia Missaoui;Lhouari Nourine;Yoan Renaud

  • Affiliations:
  • (Correspd.) (Financially supported by the Natural Sciences and Engineering Research Council of Canada (NSERC)) Université du Québec en Outaouais, Département d'informatique et d'ing ...;(We are grateful to the French National Research Agency (ANR) for the funding of the DAG project. All the authors express their gratitude to the Guest Editors and the anonymous reviewers for their ...;(Correspd.) LIRIS - CNRS UMR 5208, INSA Lyon, 7 av, Jean Capelle, 69 621 Villeurbanne Cedex France, yoan.renaud@gmail.com

  • Venue:
  • Fundamenta Informaticae - Concept Lattices and Their Applications
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

The objective of this article is to define an approach towards generating implications with (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 premise is a key in the context K | $\tilde{\rm K}$ representing the apposition of the context K and its complementary $\tilde{\rm K}$ with attributes in $\tilde{\rm M}$ (negative attributes), and then (ii) uses an inference axiom we have defined to produce the whole set of implications.