Introduction to Formal Concept Analysis

From International Center for Computational Logic

Introduction to Formal Concept Analysis

Course with SWS 2/2/0 (lecture/exercise/practical) in WS 2020

Lecturer

SWS

  • 2/2/0

Modules

Examination method

  • Oral exam


This course is an introduction into formal concept analysis (FCA), a mathematical theory oriented at applications in knowledge representation, knowledge acquisition, data analysis and visualization. It provides tools for understanding the data by representing it as a hierarchy of concepts or, more exactly, a concept lattice. FCA can help in processing a wide class of data types providing a framework in which various data analysis and knowledge acquisition techniques can be formulated. In this course, we focus on some of these techniques, as well as cover the theoretical foundations and algorithmic issues of FCA.

Prerequisites

  • basic knowledge of propositional and first-order logic
  • some familiarity with computational complexity


Schedule and Location

During the winter term 2020/21, the lecture and tutorials will be virtual.

All dates are published on this page (see Dates & Materials above)

  • The weekly lecture sessions will be prerecorded as video and uploaded ahead of the corresponding Monday.
  • For the weekly exercise session, exercise sheets will be made available and there will be a Q&A session on Mondays DS3 (11:10 to 12:40), starting 2nd of November.

Zoom link for the tutorial:

https://tu-dresden.zoom.us/j/81434535336?pwd=RkE3N09SZ2tQellITjF2U0lYQjlOQT09
  • Bernhard Ganter and Rudolf Wille, Formal Concept Analysis: Mathematical Foundations, Springer, Berlin/Heidelberg, 1999.
  • Claudio Carpineto and Giovanni Romano, Concept Data Analysis: Theory and Applications, Wiley, 2004.
  • Proceedings of the International Conference on Formal Concept Analysis, Lecture Notes in Computer Science, Springer, Berlin/Heidelberg, 2004-2012.

Subscribe to events of this course (icalendar)

Lecture Lecture 1 DS2, October 26, 2020 in Asynchronous Download
Video
Lecture Lecture 2 DS2, November 2, 2020 in Asynchronous
Video
Exercise Tutorial 1 DS3, November 2, 2020 in Video conference Download 1 Download 2
Lecture Lecture 3 DS2, November 9, 2020 in Asynchronous
Video
Exercise Tutorial 2 DS3, November 9, 2020 in Video conference Download 1 Download 2
Lecture Lecture 4 DS2, November 16, 2020 in Asynchronous Download
Video
Exercise Tutorial 3 DS3, November 16, 2020 in Video conference Download 1 Download 2
Lecture Lecture 5 DS2, November 23, 2020 in Asynchronous Download
Video
Exercise Tutorial 4 DS3, November 23, 2020 in Video conference Download 1 Download 2
Lecture Lecture 6 DS2, December 7, 2020 in Asynchronous
Video
Exercise Tutorial 5 DS3, December 7, 2020 in Video conference Download 1 Download 2
Exercise Tutorial 6 DS3, December 14, 2020 in Video conference Download 1 Download 2
Lecture Lecture 7 DS2, January 4, 2021 in Asynchronous Download
Video
Exercise Tutorial 7 DS3, January 4, 2021 in Video conference Download 1 Download 2
Lecture Lecture 8 DS2, January 11, 2021 in Asynchronous
Exercise Tutorial 8 DS3, January 11, 2021 in Video conference Download 1 Download 2
Lecture Lecture 9 DS2, January 18, 2021 in Asynchronous Download
Exercise Tutorial 9 DS3, January 18, 2021 in Video conference Download 1 Download 2
Lecture Lecture 10 DS2, January 25, 2021 in Asynchronous Download
Exercise Tutorial 10 DS3, January 25, 2021 in Video conference Download
Lecture Q/A Session DS2, February 1, 2021 in Video conference


Calendar