
plied lattice theory and set theory, with applications in
fields such as mathematics, medicine, biology, soci-
ology, psychology, economics, and particularly com-
puter science.
The study highlights FCA as a valuable tool for
designing exams and analyzing results. Hierarchi-
cally organized concepts can be used to determine the
optimal order of exam questions, thus facilitating stu-
dent comprehension and evaluation. An example is
given with an electrical engineering exam, showing
how this approach can provide meaningful insights
into student performance and question difficulty.
In summary, the literature demonstrates how FCA
can be effectively applied to derive conclusions from
datasets by providing valuable insights into the re-
lationships between attributes and elements, leading
to potential improvements and problem-solving ap-
proaches (Ananias et al., 2021) (Miranda et al., 2024).
In another study, (Song et al., 2024) explored the
application of FCA in a triadic approach to charac-
terize infant mortality in different regions of Minas
Gerais, Brazil. Determinant factors such as birth
weight, gestation, and APGAR scores were identi-
fied. The findings revealed associations between vari-
ous variables, highlighting the importance of maternal
education and prenatal care consultations.
3 BACKGROUND
This section aims to review the main tools and
methodologies employed in this study, including For-
mal Concept Analysis and the Lattice Miner software
3.1 Cardiovascular Diseases
Cardiovascular diseases (CVDs) involve a broad
spectrum of disorders that affect the heart and blood
vessels, and their impact on global health is well-
documented. Among the most prevalent conditions
are coronary artery disease (CAD), which results
from the buildup of plaques in the arteries (atheroscle-
rosis), leading to reduced blood flow to the heart, and
cerebrovascular diseases, such as stroke, where the
brain’s blood supply is disrupted (James and Smith,
2023). Both conditions share common risk factors, in-
cluding high blood pressure, high cholesterol, smok-
ing, and poor lifestyle choices.
The link between these modifiable risk factors and
the development of CVDs has been a significant focus
in public health. Regular physical activity, a healthy
diet, and controlling blood pressure and cholesterol
are crucial strategies for preventing these diseases
(Lancet, 2020). While the impact of CVDs is well-
known, there remains a need for ongoing research into
the specific patterns and behaviors that increase the
likelihood of these conditions. In recent years, ad-
vances in data analysis have allowed for a more nu-
anced understanding of how these risk factors inter-
act, particularly through the use of methods like For-
mal Concept Analysis (FCA).
3.2 Formal Concept Analysis
Formal Concept Analysis (FCA) is a mathematical
framework originally developed by Rudolf Wille in
the 1980s for the formal representation of conceptual
knowledge (Wille, 1982).
The method structures data into what is known
as a formal context, which consists of three compo-
nents: a set of objects, a set of attributes, and the in-
cidence relation that links objects to their attributes.
This formal context can be represented as a triple
K = (G, M, I), where:
• G represents the set of objects in the dataset,
• M denotes the set of attributes,
• I ⊆ G ×M is the incidence relation, indicating the
association between objects and their attributes,
where (g, m) ∈ I means that object g has attribute
m.
Given a subset of objects A ⊆ G, the correspond-
ing set of attributes shared by all objects in A is repre-
sented as:
A
′
:=
{
m ∈ M | ∀g ∈ A : (g, m) ∈ I
}
.
Similarly, for a subset of attributes B ⊆ M, the set of
objects that possess all attributes in B is:
B
′
:=
{
g ∈ G | ∀m ∈ B : (g, m) ∈ I
}
.
A formal concept is then defined as a pair (A, B),
where:
• A (the extent) is the set of objects that share the
attributes in B,
• B (the intent) is the set of attributes shared by all
objects in A.
For (A, B) to be a valid formal concept, it must satisfy
A = B
′
and B = A
′
. The collection of all such concepts
forms a concept lattice, a structure that organizes the
formal concepts in a hierarchical order based on their
extents and intents (Ganter and Wille, 2012). This
lattice is denoted as β(K) and provides a visual repre-
sentation of the relationships among concepts.
FCA has a natural application in extracting associ-
ation rules from the formal context. These rules take
the form A → B, meaning that if an object has the at-
tributes in A, it is likely to also have the attributes in B.
The quality of an association rule is evaluated through
two key metrics:
Analysis of Health Indicators for Heart Disease Based on Formal Concept Analysis
541