Detail práce
Propojení simulační knihovny SIMLIB s jazykem Prolog
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).
Heterogenní simulace, heterogenní modelování, C++, Prolog, umělá inteligence, SIMLIB/C++, propojení Prologu a C++, objektový návrh knihovny pro propojení Prologu a C++, SIMLIB/C++
@mastersthesis{FITMT5157, author = "Petra Hrabcov\'{a}", type = "Diplomov\'{a} pr\'{a}ce", title = "Propojen\'{i} simula\v{c}n\'{i} knihovny SIMLIB s jazykem Prolog", school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}", year = 2007, location = "Brno, CZ", language = "czech", url = "https://www.fit.vut.cz/study/thesis/5157/" }