Formal methods in FCA and Big Data

 

Abstract

Formal Concept Analysis (FCA) plays an important role in knowledge representation and knowledge discovery, and has generated an increasingly growing research field. The use of FCA in the context of big data provides a basis for better interpretability and explainability of results, usually lacking in other statistical approaches to data analysis; however, scalability is an important issue for FCA logic-based tools and techniques, such as the generation and use of implicational systems. We survey the theoretical and technical foundations of some trends in FCA. Specifically, we present a summary of promising theoretical and practical applications of FCA that could be used to solve the problem of dealing with big data. Furthermore, we propose some directions for future research to solve this problem.

Funding

Projects funding this work

Citation

Please, cite this work as:

[LMO22] D. López-Rodríguez, E. Muñoz-Velasco, and M. Ojeda-Aciego. “Formal Methods in FCA and Big Data”. In: Complex Data Analytics with Formal Concept Analysis. Ed. by R. Missaoui, L. Kwuida and T. Abdessalem. Cham: Springer International Publishing, 2022, pp. 201-224. ISBN: 978-3-030-93278-7. DOI: 10.1007/978-3-030-93278-7_9. URL: https://doi.org/10.1007/978-3-030-93278-7_9.

BibTeX

@Inbook{López-Rodríguez2022,
    author=“López-Rodríguez, Domingo and Muñoz-Velasco, Emilio and Ojeda-Aciego, Manuel”,
    editor=“Missaoui, Rokia and Kwuida, Léonard and Abdessalem, Talel”,
    title=“Formal Methods in FCA and Big Data”,
    bookTitle=“Complex Data Analytics with Formal Concept Analysis”,
    year=“2022”,
    publisher=“Springer International Publishing”,
    address=“Cham”,
    pages=“201–224”,
    abstract=“Formal Concept Analysis (FCA) plays an important role in knowledge representation and knowledge discovery, and has generated an increasingly growing research field. The use of FCA in the context of big data provides a basis for better interpretability and explainability of results, usually lacking in other statistical approaches to data analysis; however, scalability is an important issue for FCA logic-based tools and techniques, such as the generation and use of implicational systems. We survey the theoretical and technical foundations of some trends in FCA. Specifically, we present a summary of promising theoretical and practical applications of FCA that could be used to solve the problem of dealing with big data. Furthermore, we propose some directions for future research to solve this problem.”,
    isbn=“978-3-030-93278-7”,
    doi=“10.1007/978-3-030-93278-7_9”,
    url=“https://doi.org/10.1007/978-3-030-93278-7_9”
}