The multiple facets of the canonical direct implicational basis

Karell Bertet () and Bernard Monjardet
Additional contact information
Karell Bertet: L3I - Laboratoire Informatique, Image et Interaction - EA 2118 - ULR - La Rochelle Université

Post-Print from HAL

Abstract: Closure systems on a set S arises in many areas as relational databases, data-mining, formal concept analysis, artificial intelligence, logical programming or lattice theory. Implicational systems represents an efficient and convenient tool to deal with a closure system, and have been studied in various areas, with different terminology. This paper states the equality between five implicational systems issued from different works and satisfying various properties. The three main properties are the directness, canonical and minimality properties, thus the name canonical direct implicational basis given to this unique implicational system. This paper also gives the link between the canonical direct implicational basis and the Horn functions (via the prime implicants). It concludes by the necessity to compare more closely related works made independantly, and with different terminology in order to take advantage of the results really new.

Keywords: Horn function; lattice; canonical direct basis; closure system; closure operator; implicational system; base canonique directe; opérateur de fermeture; fonction de Horn; système d'implications; système de fermeture; treillis (search for similar items in EconPapers)
Date: 2005-06
Note: View the original document on HAL open archive server: https://shs.hal.science/halshs-00195577v1
References: Add references at CitEc
Citations:

Published in 2005

Downloads: (external link)
https://shs.hal.science/halshs-00195577v1/document (application/pdf)

Related works:
Working Paper: The multiple facets of the canonical direct implicational basis (2005)
Working Paper: The multiple facets of the canonical direct implicational basis (2005)
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:hal:journl:halshs-00195577

Access Statistics for this paper

More papers in Post-Print from HAL
Bibliographic data for series maintained by CCSD ().