Vizualizace teorií systémů ILP

Mgr. Jindřich Březina

Bakalářská práce

ILP Theory Visualization

Anotace:

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.

Klíčová slova

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

Jazyk práce: čeština

Datum vytvoření / odevzdání či podání práce: 18. 5. 2006

Obhajoba závěrečné práce

• Obhajoba proběhla 21. 6. 2006
• Vedoucí: RNDr. Jan Blaťák, Ph.D.

Masarykova univerzita

Fakulta informatiky

Bakalářský studijní program / obor:
Aplikovaná informatika / Aplikovaná informatika