Aplikace Port-Royalské logiky pro speciální ochranu

Abstract

Cílem bakalářské práce bude literární rešerše v oblasti speciální ochrany dokumentů, cenin, atd. Student se seznámí s problematikou Port-Royalské logiky, jejími cíli a zásadami využití, verifikací získaných hodnot a funkcí programu. Teoretická část práce bude obsahovat zařazení komponentů speciální ochrany v oblasti ostatních primárních druhů ochran, jako i teoretickou část FCA s využitím supremia a infima pro aplikování vybraných komponentů v speciální ochraně. Praktická část práce bude zaměřena na grafické zobrazení softwarového výpočtu svazu kontextů, škálováním atributových implikací a textové vyjádření grafického zobrazení. Získané hodnoty budou verifikovány a zobrazeny ve 3D prostředí.