|
|
Překladač jazyka Prolog pro .NET
Haljuk, Petr ; Křivka, Zbyněk (oponent) ; Kolář, Dušan (vedoucí práce)
Náplní této diplomové práce je implementace interpretu logického programovacího jazyka Prolog. Práce shrnuje různé přístupy vyhodnocování programů v tomto jazyce, nejvíceprostoru je věnováno popisu Warrenova abstraktního stroje. V práci je navržen způsobzačlenení Prologu do platformy Microsoft .NET a jeho propojení s objektovými jazykyna této platformě. Následně je navržen a implementován interpret a překladač vycházejícíz Warrenova abstraktního stroje včetně propojení s .NET.
|
|
|
Modelování na základě genealogických dat
Prostredníková, Hana ; Kočí, Radek (oponent) ; Zbořil, František (vedoucí práce)
Tato práce obsahuje podrobnou studii dané problematiky týkající se genealogie jako vědy a genealogických záznamů. V práci jsou rozebrány role a vztahy vyskytující se v genealogických záznamech a je popsána problematika jejich reprezentace. Cílem je návrh a implementace systému, který ověří platnost vztahů v genealogických záznamech a umožní další práci s těmito daty.
|
|
|
Interpretace agentního systému řízeného záměrem v jazyce PROLOG
Němec, Ladislav ; Vídeňský, František (oponent) ; Zbořil, František (vedoucí práce)
Tato páce se zabývá realizací interpretu agentního systému řízeného záměrem implementovaného v jazyce PROLOG. Jako vzor byl využit interpret Jason implementovaný v jazyce Java, který interpretuje jazyk AgentSpeak(L). Byl vytvořen interpret a program na zpracování agentních systémů v jazyce AgentSpeak(L). Tento interpret dokáže pracovat s více agenty, dokáže realizovat systém s prostředím a při interpretaci využívat systému FRAg. Byli navrženy příklady agentních systémů v jazyce AgentSpeak(L) pro popis funkčnosti interpreta a následně byli popsány výhody a nevýhody systému FRAg.
|
|
|
Propojení simulační knihovny SIMLIB s jazykem Prolog
Hrabcová, Petra ; Peringer, Petr (oponent) ; Hrubý, Martin (vedoucí práce)
Tato práce je zaměřena na oblast heterogenního modelování, zejména na modelování zaměřené na spolupráci programovacích jazyků C++ a Prolog. Výchozím bodem pro tuto práci je navázání na předchozí výzkum (semestrální projekt) v oblasti heterogenního modelování. Během tohoto výzkumu byl vyvinut prototyp knihovny, která umožňuje spolupráci výše zmíněných programovacích jazyků. Prototyp knihovny byl v rámci této diplomové práce dokončen a byly vytvořeny případové studie, které mají prokázat jeho použitelnost. Případové studie, které byly vytvořeny za použití simulační knihovny SIMLIB/C++, se zabývají zejména problémy z oblasti umělé inteligence jako je průchod stavovým prostorem. Hlavním přínosem práce je srovnání simulací provedených bez použití metod, které nám nabízí umělá inteligence (tedy algoritmů pro průchod stavovým prostorem), a simulací, při kterých jsme použili metod umělé inteligence (prostřednictvím knihovny).
|
|
| |
|
|
Expertní systém pro volbu vhodné metody využití odpadů
Fikar, Josef ; Jícha, Jaroslav (oponent) ; Dvořák, Jiří (vedoucí práce)
Práce spočívá ve vývoji expertního systému pro účely volby vhodné metody zpracování odpadů. Výsledný expertní systém je vytvořen v softwaru VisiRule, který je s postaven na jazyce Prolog a je součástí vývojového prostředí WinProlog 4.900. Dále se zabývá problematikou tvorby znalostní báze pro aplikace takovéhoto typu a posouzením vhodnosti možných přístupů k tvorbě expertního systému pro daný účel.
|
|
|
Interpretace agentního systému řízeného záměrem v jazyce PROLOG
Němec, Ladislav ; Vídeňský, František (oponent) ; Zbořil, František (vedoucí práce)
Tato páce se zabývá realizací iterpretu agentního systému řízeného záměrem implemetovaného v jazyce PROLOG. Jako vzor byl využit interpret Jason implementovaný v jazyce Java, který interpretuje jazyk AgentSpeak(L). Pro účely tohoto projektu je program v AgentSpeak(L) nejprve převeden na interní formu jazyka. Pro demonstraci byla použita jedna z úloh přiložených k programu Jason, jako příklad a to konkrétně tzv. "cleaning robors". Interpret dokáže interpretovat systím jako FRAg a dokáže reagovat naprostředí.
|
|
|
Jan 1,1-18 jako klíč k Evangeliu podle Jana
Bogarová, Martina ; Ryšková, Mireia (vedoucí práce) ; Scarano, Angelo (oponent)
Bakalářská práce "Jan 1,1-18 jako klíč k Evangeliu podle Jana" postupně rozkrývá historický kontext a postavení janovské obce v době sepsání evangelia a vlivy okolních myšlenkových proudů a náboženských systémů na způsob Janovy výpovědi. Vymezuje pojmy Logos, Světlo, Moudrost a uvádí je do souvislostí. Popisuje terminologické a myšlenkové souvislosti se Starým zákonem i synoptickými evangelii, paralely a rozpory s esénskou naukou, židovskou apokalyptikou, gnózí a dalšími proudy. Literární forma Prologu a stavba Evangelia podle Jana je uchopena jako vzájemně provázaný systém. Vyvrcholením studijní části práce je krátká exegeze (J 1,1-18). V autorské části je Prolog postupně vztahován k Ježíšovým symbolickým úkonům a znamením a je na nich prokazován význam Prologu pro porozumění jejich smyslu. Klíčová slova Prolog, Světlo, Život, Moudrost, Evangelium podle Jana
|
|
|
Systém pro modelování na základně dat z archiválií
Haškovec, Martin ; Kočí, Radek (oponent) ; Zbořil, František (vedoucí práce)
Cílem této práce je navrhnout a implementovat skripty v jazyce PHP pro převod výstupních archivovaných dat z jazyka Prolog do databáze webové aplikace MySQL. Aplikační skript by měl sloužit pro převod a zápis archivovaných dat zpracovaných jazykem Prolog do dalších relačních databází sloužících k archivování dat a k jejich další prezentaci.
|
|
| |
host ::
RSS.