Associative networks, RDF model, Sowa´s conceptual graph, graph-based RDF, Clausal Form Logic, formal systems, First Order Logic.

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 především na jejich expresivitu ve srovnání s logikou prvního řádu a možnosti odvozování. Jádrem práce je vlastní autorův zobecňující přístup ke grafové reprezentaci znalostí, spočívající v pojetí modelovaného světa na základě konceptového paradigmatu, abstraktně definované syntaxi jazyka, zásadách tvorby znalostních bází a způsobu odvozování dalších znalostí. To vše v konfrontaci se známými formální systémy logiky prvního řádu, jejich expresivitou, sémantickou korektností a úplností.

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. This thesis is based on an evaluation of these systems from several points of view, which are primarily focused on their expressivity in comparison with the First Order Logic and possibility of derivation. The crux of the thesis is the author's own generalizing approach to graph-based knowledge representation, consisting in a molded world concept based on conceptual paradigm, abstractly defined syntax of the language, principles of creation of knowledge basis and the way of derivation of additional knowledge.