KMI/FKA -- Formální konceptuální analýza

Rozvrh předmětu

Sylabus

• Úvod, historie, motivace.
• Formální kontext, formální koncept, konceptuální svaz.
• Galoisovy konexe a uzávěrové operátory.
• Hlavní věta konceptuálních svazů.
• Algoritmy pro výpočet konceptuálního svazu.
• Vícehodnotové kontexty.
• Atributové implikace, Armstrongovy axiomy, úplnost.
• Báze, algoritmus pro výpočet báze.
• Úvod do formální konceptuální analýzy dat s fuzzy atributy.
• Vybrané aplikace formální konceptuální analýzy.

Výukové materiály

• Slajdy: I, II, III.

Studijní materiál