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

• Přednáška 1: Úvod do FCA, formální kontext, šipkové operátory, formální koncept, konceptuální svaz (slajdy: pdf v zip, Willeho původní článek pdf v zip)
• Přednáška 2: Galoisovy konexe, uzávěrové operátory, uzávěrové systémy (slajdy: pdf v zip)
• Cvičení 2: Naivní metody výpočtu formálních koncetů (slajdy: pdf v zip)
• Přednáška 3: Hlavní věta o konceptuálních svazech, klarifikace a redukce (slajdy: pdf v zip)
• Přednáška 4 (včetně Cvičení 4): Algoritmus redukce a algoritmy na výpočet formálních konceptů (slajdy: pdf v zip; UPDATED)
• Přednáška 5: Atributové implikace, modely, sémantické vyplývání (slajdy: pdf v zip)
• Přednáška 6: Atributové dokazatelnost, korektnost, úplnost (slajdy: pdf v zip)
• Přednáška 7 (včetně Cvičení 6): báze a jejich výpočet (slajdy: pdf v zip)
• Přednáška 8 (včetně Cvičení 8): FKA a dekompozice (slajdy: pdf v zip)
• Přednáška 9: Konceptuální škálování (slajdy: pdf v zip)
• Přednáška 10: Formální fuzzy konceptuální analýza (slajdy: pdf v zip)
• Přednáška 11: Asociační analýza (slajdy: pdf v zip)

Výukové materiály z předchozích let

• Slajdy: I, II, III, IV.

Další studijní materiály