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

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

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