Formální dedukce v grafových systémech reprezentace znalostí – Mgr. Martin ŽÁČEK
Mgr. Martin ŽÁČEK
Doctoral thesis
Formální dedukce v grafových systémech reprezentace znalostí
Formal deduction in graph based systems of knowledge representation
Abstract:
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 …moreAbstract:
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 …more
Language used: Czech
Date on which the thesis was submitted / produced: 19. 7. 2012
Accessible from:: 19. 7. 2012
Thesis defence
- Supervisor: Prof. RNDr. Alena Lukasová, CSc.
Citation record
The right form of listing the thesis as a source quoted
ŽÁČ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
Full text of thesis
Accessibility: Autor si přeje zpřístupnit práci veřejnosti od 19.7.2012
Contents of on-line thesis archive
Published in 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
Other ways of accessing the text
Institution archiving the thesis and making it accessible: OSTRAVSKÁ UNIVERZITA V OSTRAVĚ, Přírodovědecká fakultaUniversity of Ostrava
Faculty of ScienceDoctoral programme / field:
Information Science / Information Systems
Theses on a related topic
-
Popis regulárních jazyků pomocí predikátové logiky
Martin Jonáš -
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