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.

Studijní materiály

• kapitola 1 pdf v zip (last update 3/4/2023)
• kapitola 2 pdf v zip (last update 3/4/2023)
• kapitola 3 pdf v zip (last update 3/4/2023)
• kapitola 4 pdf v zip (last update 3/4/2023)
• kapitola 5 pdf v zip (last update 3/4/2023)
• kapitola 6 pdf v zip (last update 5/4/2023)
• kapitola 7 pdf v zip (last update 5/4/2023)
• kapitola 8 pdf v zip
• kapitola 9 pdf v zip
• další kapitoly budou postupně zveřejňovány v průbehu semestru

Výukové materiály

• Přednáška 1: Úvod do FCA, formální kontext, šipkové operátory, formální koncept, konceptuální svaz, Galoisovy konexe (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)
• Přednáška 3: Hlavní věta. Klarifikace a redukce (slajdy: pdf v zip)
• Přednáška 4: Redukce atributů, výpočet konceptů: algoritmus NC (slajdy: pdf v zip)
• Přednáška 5: Výpočet konceptů a konceptuálního svazu: algoritmy CbO a UpperNeighbor (slajdy: pdf v zip)
• Přednáška 6: Atributové implikace: platnost, modely, sémantické vyplývání (slajdy: pdf v zip)
• Přednáška 7: Atributové implikace: dokazatelnost, korektnost a úplnost (slajdy: pdf v zip)
• Další budou postupně zveřejňovány v průbehu semestru (vždy až po přednášce)

Výukové materiály (z předhozího roku)

• 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)
• 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