|
|
Inference of XML Integrity Constraints
Vitásek, Matej ; Holubová, Irena (vedoucí práce) ; Knap, Tomáš (oponent)
Tato práce navazuje na dřívější pokusy odvodit (inferovat) schéma existujících XML dokumentů. Jelikož je odvozování struktury již relativně dobře popsáno, soustředíme se na integritní omezení. Několik jich popisujeme, pozornost pak soustředíme na ID/IDREF/IDREFS atributy z DTD. Na bázi článku od Barbosa a Menelzon (2003) stavíme heuristický přístup k problému hledání optimální sady ID atributů, jeho funkčnost a vhodnost pak ověřujeme na škále experimentů.
|
|
|
Inference of an XML Schema with the Knowledge of XML Operations
Mikula, Mário ; Holubová, Irena (vedoucí práce) ; Svoboda, Martin (oponent)
V poslednej dobe bolo vyvinutých množstvo metód zaoberajúcich sa automatickým odvodzovaním XML schémy. Väčšina z nich ale používa XML dokumenty ako jediný vstup. My sa v tejto práci zameriavame na rozšírenie odvodzovania zahrnutím XML operácií, konkrétne XQuery dotazov. Diskutujeme ako je možné využiť XQuery dotazy na vylepšenie procesu odvodzovania a navrhujeme algoritmus založený na vybraných vylepšeniach, ktorý rozširuje existujúcu metódu hľadania kľúčov a ktorý môže byť začlenený do metód odvodzujúcich tzv. počiatočnú gramatiku. Implementovaním algoritmu sme vytvorili prvé kompletné riešenie odvodzovania XML schémy, ktoré využíva XML dokumenty spolu s XML operáciami.
|
|
|
Funkce inferencí při porozumění textu
Honková, Tereza ; Nebeská, Iva (vedoucí práce) ; Saicová Římalová, Lucie (oponent)
Práce se zabývá inferencemi a jejich funkcí v procesu porozumění textu. Teoretická část obsahuje přehled různých definic pojmu inference, dále vymezení pojmů, které s inferencemi souvisejí a také klasifikace inferencí na základě odborné literatury. Empirická část je založena na analýze textů kuchařských receptů (okrajově také technických návodů). Vymezili jsme pět formálních prostředků, které signalizují nutnost vytvořit si inference (zájmena, elipsa, hyponymně-hyperonymní vztahy, totalizátor vše a adjektivizovaná příčestí) - ve všech případech jde o inference nezbytné k porozumění textu. Tyto inference jsme na základě klasifikací popsaných v teoretické části dali do souvislosti s typy inferencí. Dalšími inferencemi, které si recipient při čtení těchto textů tvoří, jsou inference, které nejsou vázány na konkrétní jazykové prostředky: jsou to inference přemosťovací a instrumentální. Velkou roli při tvoření inferencí hrají kromě znalosti daného jazyka také všeobecné znalosti a zkušenosti.
|
|
|
Diagnostický expertní systém
Mertlík, Tomáš ; Nagy, Ľuboš (oponent) ; Karásek, Jan (vedoucí práce)
Tato práce obsahuje informace ohledně expertních systémů. Expertní systém je počítačový program, který má za úkol poskytovat expertní rady, rozhodnutí nebo doporučit řešení v konkrétní situaci. V této práci jsou definované čtyři verze expertních systémů, které se v praxi objevují. Popisují se tu základní, přídavné a doplňkové složky expertních systémů. Praktická část této práce se zabývá diagnostikou problému se spouštěním počítače pomocí expertního systému a vytvoření aplikace ve vývojovém prostředí JAVA ECLIPSE.
|
|
|
Inference propojení komponent
Olšarová, Nela ; Rychlý, Marek (oponent) ; Křivka, Zbyněk (vedoucí práce)
Diplomová práce se zabývala návrhem algoritmu pro inferenci propojení hardwarových komponent. Algoritmus je určen pro použití v editoru návrhu schémat pro FPGA čipy, který je součástí školního vývojového prostředí VLAM IDE. Algoritmus má uživateli pomoci s nalezením optimálního propojení dvou vybraných komponent. Vývojové prostředí s editorem návrhu je implementováno jako zásuvný modul do prostředí Eclipse, kdy je využit grafický modelovací rámec GMF. Po úvodu do těchto technologií a metod návrhu vestavěných systémů následuje návrh inferenčního algoritmu. Tento problém spadá pod problémy kombinatorické optimalizace, konkrétně je příbuzný s přiřazovacím problémem a bipartitním párováním. Poté je popsána implementace algoritmu a grafického uživatelského rozhraní pro jeho použití, následuje jeho otestování a shrnutí dosažených výsledků.
|
|
|
Aplikace Bayesovských sítí
Chaloupka, David ; Rozman, Jaroslav (oponent) ; Zbořil, František (vedoucí práce)
Tato diplomová práce se zabývá možnými aplikacemi Bayesovských sítí. Nejprve se zaměřuje na obecnou teorii pravděpodobnosti a později na úrovni matematiky vysvětluje samotnou teorii Bayesovských sítí, přístupy k inferenci a k učení včetně ozřejmění silných a slabých stránek popisovaných technik. Součástí výkladu jsou v mnoha případech ilustrativní příklady a podrobně komentovaná matematická odvození prezentovaných vzorců. V praktické části práce je kladen důraz na aplikace vyžadující učení Bayesovské sítě, jednak ve smyslu učení parametrů a jednak ve smyslu struktury. První aplikací jsou obecné benchmarkové úlohy, které zkoumají chování prezentovaných technik a zaměřují se na způsob optimální volby parametrů učení Bayesovské sítě. Druhou aplikací je užití Bayesovských sítí pro účely dolování znalostí o příčinách zločinnosti prostřednictvím vizualizace závislostí mezi náhodnými proměnnými popisujícími zkoumanou doménu. Třetí aplikace zkoumá možnosti nasazení Bayesovské sítě jakožto spam filtru a dosažené výsledky porovnává prostřednictvím všeobecně užívané datové sady s výsledky naivního Bayesovského filtru, který rovněž vychází z teorie pravděpodobnosti.
|
|
|
Srovnání bayesovského a četnostního přístupu
Ageyeva, Anna ; Hebák, Petr (vedoucí práce) ; Vilikus, Ondřej (oponent)
Tato práce se zabývá Bayesovským přístupem ke statistice a jeho srovnáním s klasickým přístupem. Hlavním cílem práce je porovnání klasického a Bayesovského přístupu ke statistice. Analyzovány jsou statistické úsudky, je zkoumán problém subjektivity a objektivity v oblasti statistiky. Dalším cílem práce je upozornit na důležitost a nezbytnost hlubšího vyučování Bayesovské statistiky na naší univerzitě. Práce obsahuje tři kapitoly. První kapitola popisuje Bayesovský přístup ke statistice a jeho hlavní pojmy a principy. Statistické úsudky jsou prozkoumány ve druhé kapitole. Třetí kapitola se zabývá srovnáním Bayesovského a klasického přístupů. Závěrečná kapitola se týká místa bayesovského přístupu ve vědě v současné době. Přílohy obsahují seznam učebnic a bezplatného software vhodného k výuce Bayesovské statistiky.
|
|
|
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ů.
|
|
|
Logika jako "činění explicitním"
Peregrin, Jaroslav
Článek doplňuje některé technické detaily do obrázku logiky, se kterým přišel B. Brandom a podle kterého je logický slovník především nástrojem toho, aby mohla být učiněna explicitními určitá pravidla implicitní našemu užívání jazyka. Zkoumá běžné logické operátory a naznačuje, jak mohou být nahlíženy jako prostředek explicitace inferenční struktury. Tvrdí, že potřeba takové explicitace vede k sadě 'inferenčně přirozených' operátorů, které pak v rámci různých logických systémů nabývají různých podob.
|
|
|
Webový průvodce světem expertních systémů
Faruzel, Petr ; Berka, Petr (vedoucí práce) ; Svátek, Vojtěch (oponent)
Předkládaná práce "Webový průvodce světem expertních systémů" se zabývá expertními systémy. Cílem této práce je vytvořit učební pomůcku pro zájemce o problematiku expertních systémů, která by primárně sloužila studentům kurzu 4IZ229 (Úvod do umělé inteligence) k ucelení jejich poznatků. Jejím úkolem je osvětlit čtenáři pojem expertní systém, přiblížit základní principy těchto aplikací, nastínit proces jejich tvorby a poskytnout tak ucelený přehled o expertních systémech včetně jejich zhodnocení. Jak již z názvu práce vyplývá, vytvořená učební pomůcka je zpřístupněna formou webové prezentace v síti internet. Webový průvodce obohatí celou práci o výhody interaktivního přístupu a zaslouží se o zvýšení její dostupnosti. Vedle rozboru základních principů expertních systémů a názorných ukázek situací na konkrétních příkladech obsahuje rovněž množství odkazů na další zdroje v síti internet týkající se expertních systémů. Obecným přínosem této práce je kromě tvorby samotné učební pomůcky a zmapování problematiky expertních systémů rovněž i demonstrace uvedených poznatků prostřednictvím jednoduchého expertního systému. V úvodní části své studie popisuji umělou inteligenci, přibližuji její definici, zabývám se stavovým prostorem a skrze stručný historický přehled se dostávám k expertním systémům. Dále vysvětluji expertní systém, jeho strukturu, základní charakteristiky, typy expertních úloh a typologii expertních systémů. Následuje rozbor jejich základních principů, v němž se zabývám zejména otázkou reprezentace znalostí, inference a neurčitosti. Závěrečná část práce je věnována procesu tvorby expertních systémů, především pak tvorbě vlastní aplikace. Jedná se o bázi znalostí zpřístupněnou prostřednictvím webové služby ES NEST v síti internet. Tento jednoduchý expertní systém zabývající se výběrem studijního oboru na Vysoké škole ekonomické v Praze poslouží jednak k názorné demonstraci uvedených poznatků, jednak ke zhodnocení potencionálních výhod a nevýhod expertních systémů.
|
host ::
RSS.