OU Portal
  • Log In
  • Welcome
  • Applicants
Z6_60GI02O0O8IDC0QEJUJ26TJDI4
{}

Pomocí tohoto dialogu můžete vyhledat domácí autory, čili autory, kteří jsou vedeni v personálních systémech Ostravské univerzity.

Do našeptávače níže napište hledaný text a tento text bude vyhledán ve jméně nebo příjmení autora. Autoři, kteří budou hledanému textu odpovídat, Vám budou nabídnuti v seznamu. Pomocí myši nebo šipek na klávesnici vyberte požadovaného autora.

Našeptávač : 
Přidat autora k záznamu Zavřít

Pomocí tohoto dialogu můžete k záznamu přidat cizího autora, čili autora, který nemá žádný pracovní ani studijní vztah k Ostravské univerzitě. Takto přidaný autor bude do RIV vykázán jako nedomácí.

Pro přidání autora vepište jeho jméno a příjmení do určených položek.

Jméno :
Příjmení :
Přidat k záznamu Zavřít
Zavřít
Publikační činnost


preloading...   Probíhá načítání, čekejte prosím...
publicationId :
tempRecordId :
actionDispatchIndex :
navigationBranch :
pageMode :
tabSelected :
isRivValid :
Typ záznamu * : graduační práce (rigorózní, graduační, habilitační)
Domácí pracoviště * : Katedra informatiky a počítačů (31400)
Název * : Formální dedukce v grafových systémech reprezentace znalostí
Citace : Žáček, M. Formální dedukce v grafových systémech reprezentace znalostí. 2012.
Podnázev :
Rok : 2012
Obor : Informatika
Místo obhajoby : Přírodovědecká fakulta, Ostravská univerzita
Datum obhajoby :
Datum uzavření :
Typ graduační práce : Rigorozní
Počet stran : 134
Instituce : Katedra informatiky a počítačů
Klíčová slova anglicky :
Associative networks, RDF model, Sowa´s conceptual graph, graph-based RDF, Clausal Form Logic, formal systems, First Order Logic.
Popis v původním jazyce :
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í.
Popis v anglickém jazyce :
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.
Typ zdroje financování výsledku : Projekty CEP/Záměry CEZ
Seznam projektů :
ID Projektu Název projektu
Seznam ohlasů : 
Ohlas
R01:

© 2019 Centre for Information Technology

  • Technická podpora :
  • Mgr. Olga Blahutová (phone: +420 597 091 129, phone flap for UO: 1129)
  • Ing. Lucie Svitaneková (phone: +420 597 091 108, phone flap for UO: 1108)
Complementary Content
  • ${title}${badge}
${loading}