Formální dedukce v grafových systémech reprezentace znalostí – Mgr. Martin ŽÁČEK
Mgr. Martin ŽÁČEK
Disertační práce
Formální dedukce v grafových systémech reprezentace znalostí
Formal deduction in graph based systems of knowledge representation
Anotace:
Disertační práce se zabývá formální dedukcí v grafových systémech reprezentace znalostí. Autor se zde zaměřil na grafové verze systémů, mezi které řadí asociativní sítě, Sowovy konceptuální grafy a grafovou verzi RDF jazyka. Sledované grafové systémy tvoří do jisté míry vývojovou řadu, ale nelze hovořit o návaznosti jejich vývoje. Práce vychází ze zhodnocení těchto systémů z několika hledisek, se zaměřením …víceAbstract:
This thesis deals with formal deduction in graph-based systems of knowledge representation. The author concentrated on graph versions of the systems, in which he ranks associative networks, Sowa´s conceptual graphs and a graph version of RDF language. The graph systems, which have been watched, form to a certain extent a developmental series, but it cannot be talked about succession of their development …více
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 19. 7. 2012
Zveřejnit od: 19. 7. 2012
Obhajoba závěrečné práce
- Vedoucí: Prof. RNDr. Alena Lukasová, CSc.
Citační záznam
Jak správně citovat práci
ŽÁČEK, Martin. Formální dedukce v grafových systémech reprezentace znalostí. Ostrava, 2012. disertační práce (Ph.D.). OSTRAVSKÁ UNIVERZITA V OSTRAVĚ. Přírodovědecká fakulta
Plný text práce
Právo: Autor si přeje zpřístupnit práci veřejnosti od 19.7.2012
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- Soubory jsou od 19. 7. 2012 dostupné: autentizovaným zaměstnancům ze stejné školy/fakulty, autentizovaným studentům ze stejné školy/fakulty
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: OSTRAVSKÁ UNIVERZITA V OSTRAVĚ, Přírodovědecká fakultaOSTRAVSKÁ UNIVERZITA V OSTRAVĚ
Přírodovědecká fakultaDoktorský studijní program / obor:
Informatika / Informační systémy
Práce na příbuzné téma
-
Konstruktivismus ve výuce teoretické informatiky
Radek JENDRYŠČÍK -
Grafické uživatelské rozhraní pro porovnávání RDF modelů
Martin Krčmář -
Datový model RDF na podporu řízení malých a středních firem
Radovan ŠINA -
Konceptuální model enviromentálního informačního prostoru a jeho aplikace v projektu ARROW
Karel Kisza