KMI/FKA Formal Concept Analysis

Lecturer: Radim Bělohlávek
Lecture: 2 hours/week + exercise 1 hour/week
Credits: 4
Summer semester
Form of course completion: credit course, exam

The course provides an introduction to formal concept analysis.

• Introduction, history, motivation.
• Formal context, formal concept, concept lattice.
• Galois connections, closure operators.
• Basic theorem of concept lattices.
• Algorithms for computing concept lattices.
• Many-valued contexts.
• Attribute implications, Armstrong axioms, completeness.
• Bases, algorithms for computing stem basis.
• Introduction to formal concept analysis of data with fuzzy attributes.
• Selected applications of formal concept analysis.