Vizualizace teorií systémů ILP

Mgr. Jindřich Březina

Bachelor's thesis

ILP Theory Visualization

Abstract:

Práce představuje způsob, jak uživateli zobrazit strukturu hypotéz, které byly nalezeny systémem induktivního logického programování. V práci představíme systém ILPVisualizer, který zobrazuje strukturu hypotézy pomocí grafu. Systém uživateli poskytuje nástroje, díky kterým může jednotlivé literály z hypotézy rozmístit po ploše, propojit proměnné, nebo vyfiltrovat nepotřebné literály. S potřebou vizualizace vyvstal problém, jakým způsobem předložit data k zobrazení, protože jednotlivé systémy induktivního logického programování se ve svých výstupech liší, at'už se jedná o formát, nebo o rozsah dodatečných informací zahrnutých do výstupu. V práci je představen návrh reprezentace hypotéz v predikátové logice prvního řádu pomocí PMML. Součástí práce je seznámení se současným stavem na poli vizualizace hypotéz, seznámení s terminologií, s problémy, které se vyskytly při konverzi výstupů do naší reprezentace pomocí PMML a samozřejmě popis všech implementovaných systémů.

Abstract:

Bachelor's thesis presents way, how to show structure of hypothesis found using ILP. We present ILPVisualizer, system which presents structures of hypothesis using graph. ILPVisualizer provides tools for manipulating with literals, variable connection or literal filter. We present a PMML standard extension useful for description of first-order logic. This representation is very important, because all ILP systems generating various outputs.

Keywords

Induktivní logické programování, strojové učení, vizualizace výsledků strojového učení, predikátová logika, PMML

Language used: Czech

Date on which the thesis was submitted / produced: 18. 5. 2006

Thesis defence

• Date of defence: 21. 6. 2006
• Supervisor: RNDr. Jan Blaťák, Ph.D.

Masaryk University

Faculty of Informatics

Bachelor programme / field:
Applied Informatics / Applied Informatics