Bakalářská práce přibližuje podstatu problematiky formální konceptuální analýzy a teorie kontextů. V teoretické části jsou kromě základních algebraických definic a vět rozebrány možnosti uplatnění formální konceptuální analýzy v praxi a příklady grafické interpretace konceptuálních svazů.
V praktické části je uvedena aplikace svazových metod v datových souborech verifikačních hodnot, zpracování dat programem založeným na formální konceptuální analýze a následné grafické zobrazení získaných výsledků.
V závěru práce je uvedeno možné využití dané problematiky v bezpečnostním průmyslu.
Annotation in English
Bachelor thesis introduces topic of the formal concept analysis and the theory of contexts. In the theoretical part there are described basic algebraic definitions and theorems and some possibilities of application formal concept analysis in practice. There are some examples of graphic interpretation of conceptual lattices.
In practical part there is described an application of concept analysis in the set of verification values, using the program based on the formal concept analysis and the graphic interpretation of gained results.
In conclusion there are some possibilities of application this issue in the security industry.
Bakalářská práce přibližuje podstatu problematiky formální konceptuální analýzy a teorie kontextů. V teoretické části jsou kromě základních algebraických definic a vět rozebrány možnosti uplatnění formální konceptuální analýzy v praxi a příklady grafické interpretace konceptuálních svazů.
V praktické části je uvedena aplikace svazových metod v datových souborech verifikačních hodnot, zpracování dat programem založeným na formální konceptuální analýze a následné grafické zobrazení získaných výsledků.
V závěru práce je uvedeno možné využití dané problematiky v bezpečnostním průmyslu.
Annotation in English
Bachelor thesis introduces topic of the formal concept analysis and the theory of contexts. In the theoretical part there are described basic algebraic definitions and theorems and some possibilities of application formal concept analysis in practice. There are some examples of graphic interpretation of conceptual lattices.
In practical part there is described an application of concept analysis in the set of verification values, using the program based on the formal concept analysis and the graphic interpretation of gained results.
In conclusion there are some possibilities of application this issue in the security industry.
Vysvětlete základy problematiky formální konceptuální analýzy a teorie kontextů.
Popište možnosti aplikace formální konceptuální analýzy (zpracování dotazníků, databáze, internetové vyhledávání…).
Ukázka grafické interpretace popsaných aplikací.
Aplikujte svazové metody v datových souborech verifikačních hodnot a popište jejich propojení s průmyslem komerční bezpečnosti.
Zpracujte v prostředí Microsoft Word.
Research Plan
Vysvětlete základy problematiky formální konceptuální analýzy a teorie kontextů.
Popište možnosti aplikace formální konceptuální analýzy (zpracování dotazníků, databáze, internetové vyhledávání…).
Ukázka grafické interpretace popsaných aplikací.
Aplikujte svazové metody v datových souborech verifikačních hodnot a popište jejich propojení s průmyslem komerční bezpečnosti.
Zpracujte v prostředí Microsoft Word.
Recommended resources
WILLE, R., GANTER, B. Formal Concept Analysis Mathematical Foundations. 1st ed. Springer, 1998. 284 s. ISBN 3-540-62771-5.
LUKÁŠ, V. Implementace algoritmu pro tvorbu konceptuálních svazů. Ostrava.: Technická Univerzita. Fakulta elektrotechniky a informatiky. Katedra informatiky, 2006. 30 s.
BĚLOHLÁVEK, R. Konceptuální svazy a formální konceptuální analýza. [online]. Dostupný z URL: http://oldwww.inf.upol.cz/belohlavek/rb_teacz.htm
SIGMUND, E., ZACPAL, J., SIGMUNDOVÁ, D., MITÁŠ, J., SKLENÁŘ, V., BĚLOHLÁVEK, R., FRÖMEL, K. Vyhodnocení IPAQ dotazníků pomocí formální konceptuální analýzy. [online]. Dostupný z URL: http://www.pf.jcu.cz/stru/katedry/tv/SK_vol_8_2007_1.pdf
BĚLOHLÁVEK, R. Matematická logika - poznámky k přednáškám. [online]. Dostupný z URL: http://www.kubaz.cz/texty/BelohlavekUPOLMatematickaLogika.pdf
JURA, J. Teoretické informační systémy a vytěžování znalostí z databází. [online]. Dostupný z URL: www.fs.cvut.cz/cz/U12110/pis/materialy/dm/TIVZFINI.doc
Recommended resources
WILLE, R., GANTER, B. Formal Concept Analysis Mathematical Foundations. 1st ed. Springer, 1998. 284 s. ISBN 3-540-62771-5.
LUKÁŠ, V. Implementace algoritmu pro tvorbu konceptuálních svazů. Ostrava.: Technická Univerzita. Fakulta elektrotechniky a informatiky. Katedra informatiky, 2006. 30 s.
BĚLOHLÁVEK, R. Konceptuální svazy a formální konceptuální analýza. [online]. Dostupný z URL: http://oldwww.inf.upol.cz/belohlavek/rb_teacz.htm
SIGMUND, E., ZACPAL, J., SIGMUNDOVÁ, D., MITÁŠ, J., SKLENÁŘ, V., BĚLOHLÁVEK, R., FRÖMEL, K. Vyhodnocení IPAQ dotazníků pomocí formální konceptuální analýzy. [online]. Dostupný z URL: http://www.pf.jcu.cz/stru/katedry/tv/SK_vol_8_2007_1.pdf
BĚLOHLÁVEK, R. Matematická logika - poznámky k přednáškám. [online]. Dostupný z URL: http://www.kubaz.cz/texty/BelohlavekUPOLMatematickaLogika.pdf
JURA, J. Teoretické informační systémy a vytěžování znalostí z databází. [online]. Dostupný z URL: www.fs.cvut.cz/cz/U12110/pis/materialy/dm/TIVZFINI.doc
