|
|
Analyzátor algebraických výrazů
Šudoma, Petr ; Knap, Tomáš (vedoucí práce) ; Klímek, Jakub (oponent)
Cílem této bakalářské práce je analýza problematiky strojových úprav výrazů a návrh programu, který je schopen takové úpravy vykonávat bez zásahu operátora. V první části práce jsou nejprve podrobně analyzovány výrazy, jejich úpravy i cíle takového upravování. Je nalezen a popsán formální jazyk výrazů, je popsána formální sémantika takového jazyka. Druhá část práce je poté věnována konkrétnímu návrhu a implementaci počítačové reprezentace takového jazyka a programu schopného upravovat algebraické výrazy. Obsahuje popis použitých tříd a algoritmů, rozbor možností a zdůvodnění použitých řešení při návrhu tohoto programu.
|
|
|
Významné směry v umělé inteligenci
Šudoma, Petr ; Jirků, Petr (vedoucí práce) ; Peliš, Michal (oponent)
Práce studuje deskripční logiky jako metodu reprezentace znalostí umělé inteligence, popisuje historický vývoj reprezentace znalostí vedoucí k vzniku deskripčních logik a srovnává jejich výhody a nevýhody se systémy rámců, z kterých deskripční logiky vznikly. Práce představuje formální syntaxi a sémantiku, zavádí pojmovou systematiku deskripčních logik a popisuje algoritmy pro nejčastěji používané odvozovací úlohy na deskripčních logikách, pro subsumpci a konzistenci. Práce se zabývá i problematikou výpočtové složitosti těchto algoritmů v závislosti na konkrétní použité deskripční logice. Práce ukazuje výhody i další potenciál deskripčních logik. Powered by TCPDF (www.tcpdf.org)
|
|
|
Analyzátor algebraických výrazů
Šudoma, Petr ; Knap, Tomáš (vedoucí práce) ; Klímek, Jakub (oponent)
Cílem této bakalářské práce je analýza problematiky strojových úprav výrazů a návrh programu, který je schopen takové úpravy vykonávat bez zásahu operátora. V první části práce jsou nejprve podrobně analyzovány výrazy, jejich úpravy i cíle takového upravování. Je nalezen a popsán formální jazyk výrazů, je popsána formální sémantika takového jazyka. Druhá část práce je poté věnována konkrétnímu návrhu a implementaci počítačové reprezentace takového jazyka a programu schopného upravovat algebraické výrazy. Obsahuje popis použitých tříd a algoritmů, rozbor možností a zdůvodnění použitých řešení při návrhu tohoto programu.
|
host ::
RSS.