Treffer: Symbolické metódy strojového učenia a heuristické vyhľadávanie hypotéz ; Symbolické metody strojového učení a heuristické hledání hypotézy ; Symbolic Methods of Machine Learning and Heuristic Hypothesis Search

Tato bakalářská práce se zabývá problematikou konceptuálního učení ze strukturovaných příkladů reprezentovaných v predikátové logice prvního řádu (PL1). Teoretická část práce popisuje principy reprezentace znalostí a inkrementálního učení, přičemž se zaměřuje na Winstonův algoritmus. Prak- tická část práce představuje návrh a implementaci webové aplikace, která slouží jako interaktivní nástroj pro demonstraci a analýzu tohoto procesu. Aplikace umožňuje uživatelům nahrávat datové sady v PL1, spouštět inkrementální učení, sledovat evoluci hypotézy, vizualizovat naučené koncepty pomocí sémantických sítí a porovnávat různé hypotézy. Backend aplikace je implementován v Pyt- honu s využitím frameworku FastAPI a frontend v Reactu s TypeScriptem. Klíčovým přínosem práce je vytvoření didaktické a experimentální platformy pro lepší pochopení symbolických metod strojového učení a vizualizace komplexních hypotéz. ; This bachelor thesis addresses the topic of conceptual learning from structured examples represented in first-order predicate logic (PL1). The theoretical part describes the principles of knowledge rep- resentation and incremental learning, focusing on Winston’s algorithm. The practical part presents the design and implementation of a web application that serves as an interactive tool for demon- strating and analyzing this process. The application allows users to upload PL1 datasets, run in- cremental learning, track hypothesis evolution, visualize learned concepts using semantic networks, and compare different hypotheses. The application’s backend is implemented in Python using the FastAPI framework, and the frontend is built with React and TypeScript. The key contribution of the thesis is the creation of a didactic and experimental platform for a better understanding of symbolic machine learning methods and the visualization of complex hypotheses. ; 460 - Katedra informatiky ; výborně