General Concept Lattice

Last updated
Fig. 1: Three different formal concept lattices (FCLs) obtained from the three formal contexts describing the same 3BS, where balls are equipped with three distinct colours. VaryFcl.pdf
Fig. 1: Three different formal concept lattices (FCLs) obtained from the three formal contexts describing the same 3BS, where balls are equipped with three distinct colours.

The General Concept Lattice (GCL) proposes a novel general construction of concept hierarchy from formal context, where the conventional Formal Concept Lattice based on Formal Concept Analysis (FCA) only serves as a substructure. [1] [2] [3]

Contents

The formal context is a data table of heterogeneous relations illustrating how objects carrying attributes. By analogy with truth-value table, every formal context can develop its fully extended version including all the columns corresponding to attributes constructed, by means of Boolean operations, out of the given attribute set. The GCL is based on the extended formal context which comprehends the full information content of the formal context in the sense that it incorporates whatever the formal context should consistently imply. Noteworthily, different formal contexts may give rise to the same extended formal context. [4]

Background

The GCL [4] claims to take into account the extended formal context for the preservation of information content. Consider describing a three-ball system (3BS) with three distinct colours (red, green, blue). According to Table 1, one may refer to different attribute sets, say, , or to reach different formal contexts. The concept hierarchy for the 3BS is supposed to be unique regardless of how the 3BS being described. However, the FCA exhibits different formal concept lattices subject to the chosen formal contexts for the 3BS , see Fig. 1. In contrast, the GCL is an invariant lattice structure with respect to these formal contexts since they can infer each other and ultimately entail the same information content.

Table 1: The extended version for the formal context describing the 3BS. From one can also deduce , thereby deducing the full . Note that ,, .
1
2
3

In information science, the Formal Concept Analysis (FCA) promises practical applications in various fields based on the following fundamental characteristics.

The FCL does not appear to be the only lattice applicable to the interpretation of data table. Alternative concept lattices subject to different derivation operators based on the notions relevant to the Rough Set Analysis have also been proposed. [7] [8] [9] Specifically, the object-oriented concept lattice, [9] which is  referred to as the rough set lattice [4] (RSL) afterwards, is found to be particularly instructive to supplement the standard FCA in further understandings of the formal context.

Consequently, there are two crucial points to be contemplated.

Fig. 2: Three different rough set lattices, cf. Fig. 1, obtained from the same three formal contexts describing the 3BS. VaryRsl.pdf
Fig. 2: Three different rough set lattices, cf. Fig. 1, obtained from the same three formal contexts describing the 3BS .

The GCL accomplishes a sound theoretical foundation for the concept hierarchies acquired from formal context. [4] Maintaining the generality that preserves the information, the GCL underlies both the FCL and RSL, which correspond to substructures at particular restrictions. Technically, the GCL would be reduced to the FCL and RSL when restricted to conjunctions and disjunctions of elements in the referred attribute set (), respectively. In addition, the GCL unveils extra information complementary to the results via the FCL and RSL. Surprisingly, the implementation of formal context via GCL is much more manageable than those via FCL and RSL.

Algebras of derivation operators

The derivation operators constitute the building blocks of concept lattices and thus deserve distinctive notations. Subject to a formal context concerning the object set and attribute set ,

are considered as different modal operators [7] [8] (Sufficiency, Necessity and Possibility, respectively) that generalise the FCA. For notations, , the operator adopted in the standard FCA, [1] [2] [3] follows Bernhard Ganter  [ de ] [10] and R. Wille; [1] as well as follows Y. Y. Yao. [9] By , i.e., the object carries the attribute as its property, which is also referred to as where is the set of all objects carrying the attribute.

With it is straightforward to check that

where the same relations hold if given in terms of .

Two Galois lattices

Galois connections

From the above algebras, there exist different types of Galois connections, e.g.,

(1) , (2) 

and (3) that corresponds to (2) when one replaces and . Note that (1) and (2) enable different object-oriented constructions for the concept hierarchies FCL and RSL, respectively. Note that (3) corresponds to the attribute-oriented construction [9] where the roles of object and attribute in the RSL are exchanged. The FCL and RSL apply to different 2-tuple concept collections that manifest different well-defined partial orderings.

Two concept hierarchies

Given as a concept, the 2-tuple is in general constituted by an extent and an intent, which should be distinguished when applied to FCL and RSL. The concept is furnished by based on (1) while is furnished by based on (2). In essence, there are two Galois lattices based on different orderings of the two collections of concepts as follows.

 entails and since  iff , and  iff .
 entails and since  iff , and  iff .

Common extents of FCL and RSL

Every attribute listed in the formal context provides an extent for FCL and RSL simultaneously via the object set carrying the attribute. Though the extents for FCL and for RSL do not coincide totally, every for is known to be a common extent of FCL and RSL. This turns up from the main results in FCL (Formale Begriffsanalyse#Hauptsatz der Formalen Begriffsanalyse  [ de ]) and RSL: every () is an extent for FCL [1] [2] [3] and is an extent for RSL. [9] Note that [4] choosing gives rise to .

Two types of informative implications

The consideration of the attribute set-to-set implication () via FCL has an intuitive interpretation: [6] every object possessing all the attributes in possesses all the attributes in , in other words . Alternatively, one may consider based on the RSL in a similar manner: [4] the set of all objects carrying any of the attributes in is contained in the set of all objects carrying any of the attributes in , in other words . It is apparent that and relate different pairs of attribute sets and are incapable of expressing each other.

Extension of formal context

For every formal context one may acquire its extended version deduced in the sense of completing a truth-value table. It is instructive to explicitly label the object/attribute dependence for the formal context, [4] say, rather than  since one may have to investigate more than one formal contexts. As is illustrated in Table 1, can be employed to deduce the extended version , where is the set of all attributes constructed out of elements in by means of Boolean operations. Note that includes three columns reflecting the use of and the attribute set .

Obtaining the general concept lattice

Observations based on mathematical facts

Intents in terms of single attributes

The FCL and RSL will not be altered if their intents are interpreted as single attributes. [4]

 can be understood as  with  (the conjunction of all elements in ), plays the role of  since .
 can be understood as  with  (the disjunction of all elements in ), plays the role of  since .

Here, the dot product stands for the conjunction (the dots is often omitted for compactness) and the summation the disjunction, which are notations in the Curry-Howard style. Note that the orderings become

 and , both are implemented by .

Implications from single attribute to single attribute

Concerning the implications extracted from formal context,

 serves as the general form of implication relations available from the formal context, which holds for any pair of  fulfilling .

Note that turns out to be trivial if , which entails . Intuitively, [4] every object carrying is an object carrying , which means the implication any object having the property must also have the property. In particular,

 can be interpreted as  with  and ,  can be interpreted as  with  and ,

where and collapse into .

Lattice of 3-tuple concepts with double Galois connection

When extended to , the algebras of derivation operators remain formally unchanged, apart from the generalisation fromto which is signified in terms of [4] the replacements, and . The concepts under consideration become then and , where and , which are constructions allowable by the two Galois connections i.e. and , respectively. Henceforth,

and for , and for .

The extents for the two concepts now coincide exactly. All the attributes in are listed in the formal context, each contributes a common extent for FCL and RSL. Furthermore, the collection of these common extents amounts to which exhausts all the possible unions of the minimal object sets discernible by the formal context. Note that each collects objects of the same property, see Table 2. One may then join and into a 3-tuple with common extent:

 where ,  and .

Note that are introduced in order to differentiate the two intents. Clearly, the number of these 3-tuples equals the cardinality of set of common extent which counts . Moreover, manifests well-defined ordering. For , where and ,

 iff andand.

Emergence of the GCL

While it is generically impossible to determine subject to , the structure of concept hierarchy need not rely on these intents directly. An efficient way [4] to implement the concept hierarchy for is to consider intents in terms of single attributes.

Let henceforth and . Upon introducing , one may check that and , . Therefore,

, 

which is a closed interval bounded from below by and from above by since . Moreover,

 iff ,  iff  iff .

In addition, , namely, the collection of intents exhausts all the generalised attributes , in comparison to . Then, the GCL enters as the lattice structure based on the formal context via :

 iff andand.
, where 
, where
, .

Consequence of the general concept lattice

Manageable general lattice

The construction for FCL was known to count on efficient algorithms, [11] [12] not to mention the construction for RSL which did not receive much attention yet. Intriguingly, though the GCL furnishes the general structure on which both the FCL and RSL can be rediscovered, the GCL can be acquired via simple readout.

Reading out the lattice

The completion of GCL [4] is equivalent to the completion of the intents of GCL in terms of the lower and bounds.

  • The lower bounds can be employed to determine the upper bounds , and vice versa. For concreteness, both and are extents of the GCL, coexists with . Subsequently, and , where .
  • The lower bounds of intents corresponding to minimal discernible object sets (s for ) can be employed to determine all the intents. Note that and appears to be a direct readout by means of .
Fig. 3: Identifying FCL and RSL on the GCL for the 3BS according to the formal context
F
(
G
,
M
)
{\textstyle F(G,M)}
in Table 1. Every general intent
[
X
]
F
{\textstyle [X]_{F}}
comprises all the attributes uniquely possessed by the object set
X
{\textstyle X}
in common. Elements on
[
X
]
F
{\textstyle [X]_{F}}
can be ordered as a Hasse diagram identifiable with the closed interval
[
e
(
X
)
,
r
(
X
)
]
{\textstyle [\eta (X),\rho (X)]}
where
r
(
X
)
=
e
(
X
)
+
0
r
{\textstyle \rho (X)=\eta (X)+0_{\rho }}
. RslFclGcl0.pdf
Fig. 3: Identifying FCL and RSL on the GCL for the 3BS according to the formal context in Table 1. Every general intent comprises all the attributes uniquely possessed by the object set in common. Elements on can be ordered as a Hasse diagram identifiable with the closed interval where .

The above enables the determinations of the intents depicted as in Fig. 3 for the 3BS given by Table 1, where one can read out that , and . Hence, e.g., , . Note that the GCL also appears to be a Hasse diagram due to the resemblance of its extents to a power set. Moreover, each intent at also exhibits another Hasse diagram isomorphic to the ordering of attributes in the closed interval . It can be shown that where with . Hence, making the cardinality a constant given as . Clearly, one may check that

Rediscovering FCL and RSL on the GCL

The GCL underlies the original FCL and RSL subject to , as one can tell from and . To rediscover a node for FCL, one looks for a conjunction of attributes in contained in , which can be identified within the conjunctive normal form of if exists. Likewise, for the RSL one looks for a disjunction of attributes in contained in , which can be found within the disjunctive normal form of , see Fig 3.

For instance, from the node on the GCL, one finds that . Note that appears to be the only attribute belonging to , which is simultaneously a conjunction and a disjunction. Therefore, both the FCL and RSL have the concept in common. To illustrate a different situation, . Apparently, is the attribute emerging as disjunction of elements in which belongs to , in which no attribute composed by conjunction of elements in is found. Hence, could not be an extent of FCL, it only constitutes the concept for the RSL.

Information content of a formal context

Informative implications as equivalence due to categorisation

Non-tautological implication relations signify the information contained in the formal context and are referred to as informative implications. [6] In general, entails the implication . The implication is informative if it is (i.e. ).

In case it is strictly , one has where . Then, can be replaced by means of together with the tautology . Therefore, what remains to be taken into account is the equivalence for some . Logically, both attributes are properties carried by the same object class, reflects that equivalence relation.

All attributes in must be mutually implied, [4] which can be implemented, e.g., by (in fact, where is a tautology), i.e., all attributes are equivalent to the lower bound of intent.

A formula that implements all the informative implications

Extraction of the implications of type from the formal context was known to be complicated, [13] [14] [15] [16] [17] it necessitates efforts for constructing a canonical basis, which does not apply to the implications of type . By contrast, the above equivalence only proposes [4]

  • the single formula generating all the informative implications:
, which can be restated as ,
  • as an auxiliary formula,
 is allowed by the formal context iff  (or ).

Hence, purely algebraic formulae can be employed to determine the implication relations, one need not consult the object-attribute dependence in the formal context, which is the typical effort in finding the canonical basis.

Remarkably, and are referred to as the contextual truth and falsity, respectively. and as well as and similar to the conventional truth1 and falsity0 that can be identified with  and , respectively.

Beyond the set-to-set implications

and are found to be particular forms of . Assume and for both cases. By , an object set carrying all the attributes in implies carrying all the attributes in simultaneously, i.e. . By , an object set carrying any of the attributes in implies carrying some of the attributes in , therefore . Notably, the point of view conjunction-to-conjunction has also been emphasised by Ganter [5] while dealing with the attribute exploration.

One could overlook significant parts of the logic content in formal context were it not for the consideration based on the GCL. Here, the formal context describing 3BS given in Table 1 suggests an extreme case where no implication of the type could be found. Nevertheless, one ends up, e.g., (or ), whose meaning appears to be ambiguous. Though it is true that , one also notices that as well as . Indeed, by using the above formula with the provided in Fig. 2 it can be seen that , hence it is and that underlies .

Remarkably, the same formula will lead to (1) (or ) and (2) (or ), where , and can be interchanged. Hence, what one has captured from the 3BS are that (1) no two colours could coexist and that (2) there is no colour other than , and . The two issues are certainly less trivial in the scopes of and .

Rules to assemble or transform implications

The rules to assemble or transform implications of type are of direct consequences of object set inclusion relations. Notably, some of these rules can be reduced to the Armstrong axioms, which pertain to the main considerations of Guigues and Duquenne [6] based on the non-redundant collection of informative implications acquired via FCL. In particular,

(1) and since  and  leads to , i.e., .

In the case of , , and , where are sets of attributes, the rule (1) can be re-expressed as Armstrong's composition:

(1') and and .

The Armstrong axioms are not suited for which requires . This is in contrast to for which Armstrong's reflexivity is implemented by . Nevertheless, a similar composition may occur but signify a different rule from (1). Note that one also arrives at

(2) and since  and , which gives rise to (2') and whenever , ,  and .

Example

For concreteness, consider the example depicted by Table 2, which has been originally adopted for clarification of the RSL [9] but worked out for the GCL. [4]

Table 2: An example formal context. Since the objects are equipped with the same property, they belong to the same minimal discernible object set. One may choose , , , and . Note that the fully extended version comprises columns, where the cardinality of attribute set . The table is huge, yet manageable when one deals with the GCL.
1
2
3
4
5
6

The GCL structure and the identifications of FCL and RSL on the GCL

, , , and so forth.

Clearly, one may also check that .

, .

Within the expression of it can be seen that , while within it can be seen . Therefore, one finds out the concepts for FCL and for RSL. By contrast,

, 

with gives rise to the concept  for FCL however fails to provide an extent for RSL because .

Fig. 5: The GCL constructed according to the formal context given in Table 2. The circled points are nodes existing on the FCL, whereas the bold ones belong to the RSL, also cf. Fig. 3. RslFclGcl.pdf
Fig. 5: The GCL constructed according to the formal context given in Table 2. The circled points are nodes existing on the FCL, whereas the bold ones belong to the RSL, also cf. Fig. 3.

Implication relations in general

 and  denote  and , respectively.

For the present case, the above relations can be examined via the auxiliary formula:

 (or ),  (or ).
Both  and , according to the formal context of Table 2, are interpreted as , which means  based on and  based on .

Note that . Moreover, entails both and , which correspond to and , respectively.

(1) With  one may infer the properties of objects of interest from the condition  by specifying , thereby incorporating abundant informative implications as equivalent relations between any pair of attributes within the interval , i.e.,  if and. Note that  entails  since .

For instance, by the relation is neither of the type nor of the type . Nevertheless, one may also derive, e.g., , and , which are , and , respectively. As a further interesting implication entails by means of material implication. Namely, for the objects carrying the property or , must hold and, in addition, objects carrying the property must also carry the property and vice versa.

(1') Alternatively, the equivalent formula  can be employed to specify the objects of particular interest. In effect,  if and.

One may be interested in the properties inferring a particular consequent, say, . Consider giving rise to according to Table 2. Clearly, with one has . This gives rise to many possible antecedents such as , , , and so forth.

(2) governs all the implications extractable from the formal context by means of (1) and (1'). Indeed, it plays the role of canonical basis with one single implication relation.

can be understood as or equivalently , which turns out be the only non-redundant implication one needs to deduce all the informative implications from any formal context. The basis or suffices the deduction of all implications as follows. While and , choosing either or gives rise to . Notably, this encompasses (1) and (1') by means of for any , where can be identified with some corresponding to one of the 32 nodes on the GCL in Fig. 4.

develops equivalence, at each single node, for all attributes contained within the interval . Moreover, informative implications could also relate different nodes via Hypothetical syllogism by invoking tautology. Typically, whenever . This corresponds to the cases considered in (1'): , , etc. Explicitly, is based upon and where . Note that and while (also ). Therefore, . Similarly, with gives .

Indeed, or equivalently plays the role of canonical basis with one single implication relation.

Related Research Articles

<span class="mw-page-title-main">Poincaré group</span> Group of flat spacetime symmetries

The Poincaré group, named after Henri Poincaré (1906), was first defined by Hermann Minkowski (1908) as the isometry group of Minkowski spacetime. It is a ten-dimensional non-abelian Lie group that is of importance as a model in our understanding of the most basic fundamentals of physics.

In mathematics, the Hodge star operator or Hodge star is a linear map defined on the exterior algebra of a finite-dimensional oriented vector space endowed with a nondegenerate symmetric bilinear form. Applying the operator to an element of the algebra produces the Hodge dual of the element. This map was introduced by W. V. D. Hodge.

<span class="mw-page-title-main">Conformal group</span>

In mathematics, the conformal group of an inner product space is the group of transformations from the space to itself that preserve angles. More formally, it is the group of transformations that preserve the conformal geometry of the space.

In theoretical physics, the superconformal algebra is a graded Lie algebra or superalgebra that combines the conformal algebra and supersymmetry. In two dimensions, the superconformal algebra is infinite-dimensional. In higher dimensions, superconformal algebras are finite-dimensional and generate the superconformal group.

In physics, the Einstein relation is a previously unexpected connection revealed independently by William Sutherland in 1904, Albert Einstein in 1905, and by Marian Smoluchowski in 1906 in their works on Brownian motion. The more general form of the equation in the classical case is

In physics and fluid mechanics, a Blasius boundary layer describes the steady two-dimensional laminar boundary layer that forms on a semi-infinite plate which is held parallel to a constant unidirectional flow. Falkner and Skan later generalized Blasius' solution to wedge flow, i.e. flows in which the plate is not parallel to the flow.

<span class="mw-page-title-main">Electromagnetic stress–energy tensor</span> Type of stress-energy tensor

In relativistic physics, the electromagnetic stress–energy tensor is the contribution to the stress–energy tensor due to the electromagnetic field. The stress–energy tensor describes the flow of energy and momentum in spacetime. The electromagnetic stress–energy tensor contains the negative of the classical Maxwell stress tensor that governs the electromagnetic interactions.

<span class="mw-page-title-main">Covariant formulation of classical electromagnetism</span> Ways of writing certain laws of physics

The covariant formulation of classical electromagnetism refers to ways of writing the laws of classical electromagnetism in a form that is manifestly invariant under Lorentz transformations, in the formalism of special relativity using rectilinear inertial coordinate systems. These expressions both make it simple to prove that the laws of classical electromagnetism take the same form in any inertial coordinate system, and also provide a way to translate the fields and forces from one frame to another. However, this is not as general as Maxwell's equations in curved spacetime or non-rectilinear coordinate systems.

<span class="mw-page-title-main">Maxwell's equations in curved spacetime</span> Electromagnetism in general relativity

In physics, Maxwell's equations in curved spacetime govern the dynamics of the electromagnetic field in curved spacetime or where one uses an arbitrary coordinate system. These equations can be viewed as a generalization of the vacuum Maxwell's equations which are normally formulated in the local coordinates of flat spacetime. But because general relativity dictates that the presence of electromagnetic fields induce curvature in spacetime, Maxwell's equations in flat spacetime should be viewed as a convenient approximation.

In mathematics and mathematical physics, raising and lowering indices are operations on tensors which change their type. Raising and lowering indices are a form of index manipulation in tensor expressions.

In mathematics, the spectral theory of ordinary differential equations is the part of spectral theory concerned with the determination of the spectrum and eigenfunction expansion associated with a linear ordinary differential equation. In his dissertation, Hermann Weyl generalized the classical Sturm–Liouville theory on a finite closed interval to second order differential operators with singularities at the endpoints of the interval, possibly semi-infinite or infinite. Unlike the classical case, the spectrum may no longer consist of just a countable set of eigenvalues, but may also contain a continuous part. In this case the eigenfunction expansion involves an integral over the continuous part with respect to a spectral measure, given by the Titchmarsh–Kodaira formula. The theory was put in its final simplified form for singular differential equations of even degree by Kodaira and others, using von Neumann's spectral theorem. It has had important applications in quantum mechanics, operator theory and harmonic analysis on semisimple Lie groups.

<span class="mw-page-title-main">Coulomb wave function</span>

In mathematics, a Coulomb wave function is a solution of the Coulomb wave equation, named after Charles-Augustin de Coulomb. They are used to describe the behavior of charged particles in a Coulomb potential and can be written in terms of confluent hypergeometric functions or Whittaker functions of imaginary argument.

In mathematics, especially measure theory, a set function is a function whose domain is a family of subsets of some given set and that (usually) takes its values in the extended real number line which consists of the real numbers and

<span class="mw-page-title-main">Falkner–Skan boundary layer</span> Boundary layer that forms on a wedge

In fluid dynamics, the Falkner–Skan boundary layer describes the steady two-dimensional laminar boundary layer that forms on a wedge, i.e. flows in which the plate is not parallel to the flow. It is also representative of flow on a flat plate with an imposed pressure gradient along the plate length, a situation often encountered in wind tunnel flow. It is a generalization of the flat plate Blasius boundary layer in which the pressure gradient along the plate is zero.

<span class="mw-page-title-main">Voter model</span>

In the mathematical theory of probability, the voter model is an interacting particle system introduced by Richard A. Holley and Thomas M. Liggett in 1975.

<span class="mw-page-title-main">Dirac equation in curved spacetime</span> Generalization of the Dirac equation

In mathematical physics, the Dirac equation in curved spacetime is a generalization of the Dirac equation from flat spacetime to curved spacetime, a general Lorentzian manifold.

Lagrangian field theory is a formalism in classical field theory. It is the field-theoretic analogue of Lagrangian mechanics. Lagrangian mechanics is used to analyze the motion of a system of discrete particles each with a finite number of degrees of freedom. Lagrangian field theory applies to continua and fields, which have an infinite number of degrees of freedom.

The generalized functional linear model (GFLM) is an extension of the generalized linear model (GLM) that allows one to regress univariate responses of various types on functional predictors, which are mostly random trajectories generated by a square-integrable stochastic processes. Similarly to GLM, a link function relates the expected value of the response variable to a linear predictor, which in case of GFLM is obtained by forming the scalar product of the random predictor function with a smooth parameter function . Functional Linear Regression, Functional Poisson Regression and Functional Binomial Regression, with the important Functional Logistic Regression included, are special cases of GFLM. Applications of GFLM include classification and discrimination of stochastic processes and functional data.

In quantum mechanics, a Dirac membrane is a model of a charged membrane introduced by Paul Dirac in 1962. Dirac's original motivation was to explain the mass of the muon as an excitation of the ground state corresponding to an electron. Anticipating the birth of string theory by almost a decade, he was the first to introduce what is now called a type of Nambu–Goto action for membranes.

In astrophysics, Chandrasekhar's white dwarf equation is an initial value ordinary differential equation introduced by the Indian American astrophysicist Subrahmanyan Chandrasekhar, in his study of the gravitational potential of completely degenerate white dwarf stars. The equation reads as

References

  1. 1 2 3 4 Wille, Rudolf (2005), "Formal Concept Analysis as Mathematical Theory of Concepts and Concept Hierarchies", Formal Concept Analysis, Lecture Notes in Computer Science, vol. 3626, Berlin, Heidelberg: Springer Berlin Heidelberg, pp. 1–33, doi:10.1007/11528784_1, ISBN   978-3-540-27891-7, S2CID   14153929, archived from the original on 2024-02-25, retrieved 2023-07-16
  2. 1 2 3 Wille, Rudolf (1982), "Restructuring Lattice Theory: An Approach Based on Hierarchies of Concepts", Ordered Sets, Dordrecht: Springer Netherlands, pp. 445–470, doi:10.1007/978-94-009-7798-3_15, ISBN   978-94-009-7800-3, archived from the original on 2024-02-25, retrieved 2023-07-16
  3. 1 2 3 Ganter, Bernhard; Wille, Rudolf (1999). Formal Concept Analysis. doi:10.1007/978-3-642-59830-2. ISBN   978-3-540-62771-5. S2CID   262487114. Archived from the original on 2024-02-25. Retrieved 2023-07-16.
  4. 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 Liaw, Tsong-Ming; Lin, Simon C. (2020-10-12). "A general theory of concept lattice with tractable implication exploration". Theoretical Computer Science. 837: 84–114. doi:10.1016/j.tcs.2020.05.014. ISSN   0304-3975. S2CID   219514253. Archived from the original on 2020-05-28. Retrieved 2023-07-19.
  5. 1 2 Ganter, Bernhard; Obiedkov, Sergei (2016). Conceptual exploration. Berlin: Springer-Verlag. ISBN   978-3-662-49290-1.
  6. 1 2 3 4 Guigues, J. L.; Duquenne, V. (1986). "Familles minimales d'implications informatives résultant d'un tableau de données binaires". Mathématiques et Sciences Humaines. 95: 5–18. ISSN   0987-6936. Archived from the original on 2022-04-19. Retrieved 2023-07-19.
  7. 1 2 Duntsch, N.; Gediga, G. (2002). "Modal-style operators in qualitative data analysis". 2002 IEEE International Conference on Data Mining, 2002. Proceedings. IEEE Comput. Soc. pp. 155–162. doi:10.1109/ICDM.2002.1183898. ISBN   978-0-7695-1754-4. S2CID   13170017. Archived from the original on 2023-12-06. Retrieved 2024-01-07.
  8. 1 2 Düntsch, Ivo; Gediga, Günther (2003), "Approximation Operators in Qualitative Data Analysis", Lecture Notes in Computer Science, Berlin, Heidelberg: Springer Berlin Heidelberg, pp. 214–230, doi:10.1007/978-3-540-24615-2_10, ISBN   978-3-540-20780-1, archived from the original on 2024-02-25, retrieved 2023-07-19
  9. 1 2 3 4 5 6 Yao, Y.Y. (2004). "Concept lattices in rough set theory". IEEE Annual Meeting of the Fuzzy Information, 2004. Processing NAFIPS '04. IEEE. pp. 796-801 Vol.2. doi:10.1109/nafips.2004.1337404. ISBN   0-7803-8376-1. S2CID   6716057. Archived from the original on 2024-02-25. Retrieved 2023-07-19.
  10. Ganter, Bernhard (1999-04-06). "Attribute exploration with background knowledge". Theoretical Computer Science. ORDAL'96. 217 (2): 215–233. doi: 10.1016/S0304-3975(98)00271-0 . ISSN   0304-3975.
  11. Kuznetsov, Sergei O. (2001-12-01). "On Computing the Size of a Lattice and Related Decision Problems". Order. 18 (4): 313–321. doi:10.1023/A:1013970520933. ISSN   1572-9273. S2CID   11571279. Archived from the original on 2024-02-25. Retrieved 2023-08-12.
  12. Kuznetsov, Sergei O.; Obiedkov, Sergei A. (April 2002). "Comparing performance of algorithms for generating concept lattices". Journal of Experimental & Theoretical Artificial Intelligence. 14 (2–3): 189–216. doi:10.1080/09528130210164170. ISSN   0952-813X. S2CID   10784843. Archived from the original on 2023-10-17. Retrieved 2023-08-12.
  13. Kuznetsov, Sergei O.; Obiedkov, Sergei (2008-06-06). "Some decision and counting problems of the Duquenne–Guigues basis of implications". Discrete Applied Mathematics. In Memory of Leonid Khachiyan (1952–2005 ). 156 (11): 1994–2003. doi: 10.1016/j.dam.2007.04.014 . ISSN   0166-218X.
  14. Sertkaya, Barış (2009). "Towards the Complexity of Recognizing Pseudo-intents". In Rudolph, Sebastian; Dau, Frithjof; Kuznetsov, Sergei O. (eds.). Archived copy. Lecture Notes in Computer Science. Vol. 5662. Berlin, Heidelberg: Springer. pp. 284–292. doi:10.1007/978-3-642-03079-6_22. ISBN   978-3-642-03079-6. Archived from the original on 2023-09-04. Retrieved 2023-09-04.{{cite book}}: |journal= ignored (help)CS1 maint: archived copy as title (link)
  15. Distel, Felix (2010). "Hardness of Enumerating Pseudo-intents in the Lectic Order". In Kwuida, Léonard; Sertkaya, Barış (eds.). Archived copy. Lecture Notes in Computer Science. Vol. 5986. Berlin, Heidelberg: Springer. pp. 124–137. doi:10.1007/978-3-642-11928-6_9. ISBN   978-3-642-11928-6. Archived from the original on 2023-09-04. Retrieved 2023-09-04.{{cite book}}: |journal= ignored (help)CS1 maint: archived copy as title (link)
  16. Distel, Felix; Sertkaya, Barış (2011-03-28). "On the complexity of enumerating pseudo-intents". Discrete Applied Mathematics. 159 (6): 450–466. doi:10.1016/j.dam.2010.12.004. ISSN   0166-218X. S2CID   17769297. Archived from the original on 2023-09-04. Retrieved 2023-09-04.
  17. Babin, Mikhail A.; Kuznetsov, Sergei O. (2013-04-01). "Computing premises of a minimal cover of functional dependencies is intractable". Discrete Applied Mathematics. 161 (6): 742–749. doi: 10.1016/j.dam.2012.10.026 . ISSN   0166-218X.