|
|
Programovací nástroje pro tvorbu expertních systémů
Hrbek, Filip ; Berka, Petr (vedoucí práce) ; Svátek, Vojtěch (oponent)
Tato bakalářská práce má za cíl prozkoumat nabídku programovacích nástrojů pro tvorbu expertních systému a pomocí stanovených kritérií porovnat vybrané prostředky. Rozděluje se na dvě části, teoretickou a praktickou. První z nich se snaží nastínit a popsat problematiku expertních systémů včetně rozdělení programovacích nástrojů na obecné programovací jazyky, programovací jazyky umělé inteligence a vývojová prostředí expertních systémů, aby čtenář získal představu obecného modelu, se kterým bude srovnávat praktické aplikace. Praktická část začíná popisem kritérií, kterých jsem si všímal. Samotná studie poskytuje popis jednotlivých nástrojů, který jsem získal studiem manuálů, tutoriálů, informací od výrobců, zkoušením a testováním daných aplikací. V závěru jsem je tabulkovou formou porovnal. Jelikož nabídka na dnešním trhu přesahuje možnosti této práce, tak jsem vybral pouze omezený počet příkladů.
|
|
|
Semantics in Multimedia: Event detection and cross-media feature extraction
Nemrava, Jan ; Svátek, Vojtěch (vedoucí práce) ; Berka, Petr (oponent) ; Smrž, Pavel (oponent)
Tato disertační práce popisuje oblast sémantiky v multimediích jakožto výzkumnou oblast, která propojuje řadu směrů, které do nedávné doby působily odděleně. Cílem práce je seznámit čtenáře se všemi oblastmi této rozsáhle disciplíny, především tzv. "sémantické mezery" a poskytnout náhled na problémy současného stavu výzkumu. Řada poznatků a závěrů v této práci vychází z mezinárodního projektu K-Space, kterého se autor po dobu třech let účastnil. Na rozsáhlý teoretický úvod do problematiky navazuje přehled současných aplikací tohoto výzkumu a přehled aktivit a zapojení KIZI do zmíněného evropského projektu. Přínosem této práce je zkoumání textových zdrojů komplementárních k videu a experimenty s automatickým rozpoznáváním událostí ve fotbale na základě dat natrénovaných pomocí těchto textových zdrojů. Praktickým přínosem je také vlastní demo aplikace, která tyto zdroje přehledně zobrazuje uživateli a umožňuje mu nelineání procházení prohlíženým videem.
|
|
|
Mapování ontologií a jeho vyhodnocování pomocí vzorů
Zamazal, Ondřej ; Svátek, Vojtěch (vedoucí práce) ; Vacura, Miroslav (oponent) ; Pokorný, Jaroslav (oponent) ; Štuller, Július (oponent)
Mapování ontologií je v současnosti jednou z nejvíce se rozvíjejících oblastí sémantického webu. Ačkoliv se každým rokem objevují nové nástroje a přístupy mapování ontologií, možností vylepšení je stále mnoho. Navíc se současné přístupy v převážné většině omezují na hledání korespondencí mezi dvěma entitami. Zahrnutí celých struktur do mapování však může přinést nové zajímavé vztahy mezi ontologiemi. Struktury ontologií mohou být zachyceny pomocí ontologických vzorů. Hlavním tématem této dizertace je průzkum využití ontologických vzorů pro transformaci ontologií s aplikací pro mapování ontologií a pro vyhodnocení výsledků mapování. Transformace ontologií může usnadnit nalezení komplexních mapování či zlepšit nalezení jednoduchých mapování. Ontologické vzory použité pro vyhodnocení výsledků mohou vhodně doplnit vyhodnocení systémů mapování tradičními metodami. Hlavními oblastmi, kterými se v důsledku tohoto tématu práce zabývá, jsou: ontologické vzory, transformace ontologií, vyhodnocování výsledků mapování a mapování ontologií. Práce zahrnuje následující aspekty zmíněných oblastí: * Průzkum různých ontologických vzorů. Především pak popis důležitých ontologických vzorů pro transformaci a mapování ontologií (těmi jsou jmenné, mapovací a transformační ontologické vzory). * Návrh nové metody pro transformaci ontologií s použitím ontologických vzorů. * Zavedení nových způsobů vyhodnocování výsledků mapování ontologií s použitím ontologických vzorů jako složitých struktur pro detailní analýzu. * Experimenty a předvedení nových konceptů zavedených v této práci. V práci se nejprve zavádí klasifikační systém pro jmenné a mapovací ontologické vzory využitelné i s ohledem na transformaci ontologií. Jmenné ontologické vzory jsou při transformaci užitečné v procesu hledání ontologických vzorů a v procesu vytváření nových či přejmenování starých entit. Mapovací vzory jsou základem transformačních vzorů, co se týče sdílení základních kamenů jejich struktury. Transformační vzory navíc, mimo jiné, obsahují transformační vztahy reprezentující způsob, jak mají být transformovány části ontologických vzorů. Vedle několika experimentů k jednotlivým částem práce je přínos transformace ontologií pro aplikaci mapování ontologií demonstrován na příkladu. Prostředí pro transformaci ontologií je implementováno v programovacím jazyce Java. Jednotlivé ontologické vzory jsou ve své obecné podobě zachyceny jako javovské objekty. Tři hlavní služby jsou zpřístupněny jako RESTful služby. Jedná se o službu pro nalezení ontologických vzorů v ontologii, službu pro vygenerování specifických instrukcí popisujících transformaci a službu pro transformaci ontologií.
|
|
|
Hodnocení sémantických aplikací pro podnikové prostředí
Nekvasil, Marek ; Svátek, Vojtěch (vedoucí práce) ; Novotný, Ota (oponent) ; Mikulecký, Peter (oponent) ; Paralič, Ján (oponent)
Stále širší a širší aplikační oblasti jsou poslední dobou pokryty nasazením sémantických technologií a zároveň s tím se jejich rozsah a schopnosti neustále zvyšují. Možnosti sémantických aplikací jsou nyní tak rozsáhlé, že již nemohou být posuzovány jako jediný segment trhu. Skepse podnikové sféry, která vzniká v důsledku nejistoty investic do těchto technologií je pouze podporována těmito rozdíly a v návaznosti na tento fakt se tato práce zaměřuje na ty aspekty, které mohou pomoci zhodnotit a umožnit nejen ekonomickou efektivitu nasazení sémantických technologií ve firemním prostředí ale i faktickou účinnost tohoto nasazení. Tato práce se zaměřuje na způsoby, jakými je možné prokázat rozdíly mezi sémantickými aplikacemi, definovat jejich odlišné segmenty založené na případech užití a následně určit kritické faktory jejich úspěchu a zhodnotit je vzhledem k reálným podmínkám nasazení aplikací s účastí lidí podílejících se na jejich vývoji. V návaznosti na výsledky těchto interakcí představuje tato práce inovativní přístup, který umožňuje konstruovat modely pro posuzování vyspělosti podniků pro nasazení příslušných aplikací, včetně vlastní konstrukce těchto modelů pro segmenty případů užití zjištěné v předchozích částech. Dále je v pozdější části práce hodnocení pomocí těchto modelů demonstrováno na základě aplikace AQUA (výsledek projektu, jehože se autor osobně účastnil) spolu s naznačením dalších specifik, které mohou pomoci posoudit efektivitu nasazení sémantiky v některých úzce vymezených případech. Výsledky prezentované v pozdějších kapitolách jsou podpořeny základními rešeršemi v oblastech sémantických technologií a hodnocení efektivity investic do IT a u obou jsou popsány v současnosti nejužívanější metodiky. Současné standardizované metody (užívané např. v COBITu) pro hodnocení sémantických aplikací jsou zde posouzeny s ohledem na nedostatek osvědčených postupů v podnikovém nasazení sémantiky.
|
|
|
Fuzzy GUHA
Ralbovský, Martin ; Rauch, Jan (vedoucí práce) ; Svátek, Vojtěch (oponent) ; Holeňa, Martin (oponent) ; Vojtáš, Peter (oponent)
Metoda GUHA je jednou z nejstarších metod explorační analýzy dat, která je považována za součást vědního oboru dobývání znalostí z databází. Na rozdíl od jiných metod tohoto oboru, metoda GUHA staví na pevných teoretických základech logiky a statistiky. Metoda vnímá nalezení zajímavé znalosti jako nalezení určité formule v dostatečně bohatém logickém kalkulu, kterému se říká observační kalkul. Hlavním tématem dizertační práce je aplikace "fuzzy paradigmatu" na metodu GUHA. Pod pojmem "fuzzy paradigma" myslíme přístupy, které používají vícehodnotové stupně náležení, nebo pravdivostní hodnoty, jmenovitě fuzzy teorii množin a fuzzy logiku. Práce se nesnaží pokrýt všechny aspekty této aplikace, soustředí se na: - asociační pravidla, která jsou nejpoužívanější typy formulí v metodě GUHA - použití fuzzy dat - logické aspekty dobývání fuzzy asociačních pravidel - porovnání GUHA teorie s výzkumem fuzzy asociačních pravidel hlavního proudu - implementaci teorie s použitím bitových řetízků Práce zevrubně rozpracovává teorii fuzzy asociačních pravidel a používá přitom teoretický aparát fuzzy teorie množin i fuzzy logiky. Fuzzy teorie množin slouží zejména k porovnání metody GUHA s existujícími pokusy o formalizaci fuzzy asociačních pravidel založených na algoritmu apriori. Fuzzy logika je použita k definici nové třídy logických kalkulů nazvaných logické kalkuly fuzzy asociačních pravidel (LCFAR). Práce se detailně zabývá problémem existence dedukčních pravidel v LCFAR. Vhodná část navržené teorie je implementována v systému Ferda za pomoci bitových řetízků, což znamená reprezentace charakteristik zkoumaných objektů jako řetezce bitů. Tento přístup lze v crisp případě efektivně implementovat. Pro zachování jeho výhod ve fuzzy případě bylo provedeno hloubkové testování datových struktur a algoritmů pro reprezentaci fuzzy bitových řetízků.
|
|
|
Publikování bibliografických informací v souladu s principy linked data
Hladká, Jitka ; Sklenák, Vilém (vedoucí práce) ; Svátek, Vojtěch (oponent)
Bibliografická data jsou standardním nástrojem popisu informačních zdrojů. V současné době vyvstává potřeba adaptovat je na prostředí webu, kam se soustřeďuje zájem většiny uživatelů hledajících informace. Předkládaným řešením je změna tradičního formátu reprezentace bibliografických dat. Významné postavení ve vývojových tendencích současného webu má iniciativa sémantický web, zaměřující se na zachycení sémantiky (významu) dat ve strojově zpracovatelné formě. Cílem je efektivnější zpracování informací webovými aplikacemi, které přináší mnoho výhod a usnadnění uživatelům webu. Iniciativa linked data představuje praktický prostředek dosažení vize sémantického webu: představuje soubor doporučení, jak publikovat strukturovaná data se zaměřením na jejich efektivní propojování, sdílení a využití nejrůznějšími aplikacemi. Diplomová práce dokumentuje proces převodu formátu bibliografických záznamů Databáze publikační činnosti Vysoké školy ekonomické v Praze (PCVSE). Výhody přijetí publikačního modelu linked data jsou demonstrovány na různých realizovaných projektech. Předloženy jsou zkušenosti získané během implementace datového modelu RDF ve fázích modelování, propojování a zpřístupňování datového souboru. Ústřední myšlenkou je představení linked data jako optimálního způsobu reprezentace bibliografických dat na webu.
|
|
|
SPARQL plugin pro Ontopia Knowledge Suite
Ovčáčík, Vlastimil ; Kliegr, Tomáš (vedoucí práce) ; Svátek, Vojtěch (oponent)
Čtenář se v této bakalářské práci seznámí se dvěma technologiemi sémantického webu - Topic Maps a RDF. V teoretické části práce najdete popis jejich historie, vývoje a náčrt budoucnosti. Jsou vysvětleny nezbytné základy obou technologií. Důraz je kladen na dotazovací jazyky SPARQL a TMQL. Podstatou práce je pochopit rozdíly a společné aspekty obou technologií, což nám pomůže při hledání způsobu, jak tyto dvě technologie jednou budou rovnocennými partnery na sémantickém webu. Druhá část práce se věnuje implementaci sparql4ontopia pluginu pro Ontopia Knowledge Suite, který umožňuje SPARQL dotazy nad mapami témat. Tento plugin využívá Sesame projekt pro zpracování SPARQL dotazu a Nikunau nástroj z projektu SesameTM pro mapování SPARQL dotazu na Topic Maps Data Model. Jsou zde popsány možnosti a omezení dotazování. Je dán prostor i pro popis vývoje a implementace sparql4ontopia pluginu. V poslední kapitole je nastíněn možný postup pro implementaci SPARQL endpoint do Ontopia Knowledge Suite.
|
|
|
Support of Semantics in CMS Drupal
Kubaliak, Lukáš ; Svátek, Vojtěch (vedoucí práce) ; Hazucha, Andrej (oponent)
Práce se zabývá problematikou podpory sémantiky v známých redakčních systémech. Jejím cílem je shrnout metody a technologie sémantického webu. Popisuje možnosti využití těchto technologií a jejich dostupnost pro veřejnost. V práci jsme dospěli k závěru, že dostupné technologie a metody jsou na úrovni jejich nasazování v běžném životě. V případě sémantické podpory CMS Drupal jsme vyvinuli nástroj na rozšíření jeho podpory sémantických formátů. Tento nástroj umožňuje tomuto systému exportovat své informace ve formě Topic Maps a XML zápisu XTM.
|
|
|
Strukturovaná data na webu: srovnání Linked Data a webových API
Zemánek, Jan ; Svátek, Vojtěch (vedoucí práce) ; Sklenák, Vilém (oponent)
Účelem této práce je nejdříve teoreticky popsat dvě v současnosti populární metody pro zpřístupňování strukturovaných dat na webu -- webová API a Linked Data -- a následně provést teoretické srovnání obou technik. Přínosem práce je tabulka srovnání a podrobné zpracování jednotlivých položek, přes které bylo srovnání webových API a Linked Dat provedeno. V závěru práce je vynesen verdikt, která z obou technik umožňuje z technologického hlediska lepší znovupoužití dat, jež jsou jejím prostřednictvím na webu vystavena.
|
|
|
Webová aplikace pro zpřístupnění metod porovnávání ontologií
Pichl, Ota ; Zamazal, Ondřej (vedoucí práce) ; Svátek, Vojtěch (oponent)
V současné době dochází ke značnému rozvoji sémantického webu. Myšlenka sémantického webu je spojená s informatickými ontologiemi, pomocí kterých lze popisovat znalosti nacházející se na internetu. Ontologie pak umožňují sémantické anotování znalostí a dat. Tato práce se zaměřuje především na porovnávání ontologií, čímž se rozumí určování jejich podobnosti či rozdílnosti. Výpočet těchto podobností lze realizovat různými metodami, jako jsou např. metody vektorového či množinového porovnávání. Tyto postupy je vhodné zavést kvůli problémům a nejasnostem, které s sebou ontologie mohou přinášet. Jelikož je základním principem ontologií nezávislost modelované ontologie na okolí (předpoklad otevřeného světa), může docházet ke konfliktům, kdy existují dvě různé ontologie, které popisují stejnou výseč modelované reality. Problém pak nastává, když tyto ontologie využívají pro popis určité entity různých struktur či názvů. Mezi hlavní důvody pro porovnávání ontologií dále patří např. rozšíření sémantického vyhledávání či hledání podobných ontologií za účelem jejich propojování. Pro řešení této situace je pak vhodné zavést metody pro porovnávání ontologií či jejich entit, což umožňuje určit, jak moc jsou si dané ontologie podobné, či jak podobné jsou si entity, které obsahují. V současné době neexistuje aplikace, která by zpřístupňovala metody porovnávání ontologií. Cílem této bakalářské práce je právě vytvoření aplikace a zpřístupnění těchto metod přes webové rozhraní.
|
host ::
RSS.