Original title: Konceptuální struktury jako nástroj reprezentace znalost
Translated title: Conceptual Structures As a Tool for Knowledge Representation
Authors: Ferbarová, Gabriela ; Ivánek, Jiří (advisor) ; Souček, Martin (referee)
Document type: Master’s theses
Year: 2016
Language: cze
Abstract: [cze] [eng]
(česky) Konceptuální grafy jsou formálním jazykem reprezentace znalostí, které představil americký odborník na umělou inteligenci John F. Sowa na konci 70. let. Jsou syntézou formalistického a heuristického přístupu k umělé inteligenci a práci se znalostmi. Jejich prostřednictvím je možné reprezentovat význam a znalosti formou, která má preciznost logiky, je člověkem čitelná i srozumitelná a zároveň aplikovatelná v počítačové vědě všeobecně. Konceptuální grafy je možné vyjádřit prostřednictvím logiky prvního řádu, což z nich dělá kvalitní nástroj umělého odvozování. Jejich forma notace CGIF byla standardizována normou ISO/IEC 24707:2007 pod ISO jako jeden ze tří dialektů tzv. obecné logiky, která tvoří rámec skupiny jazyků založených na logice. Konceptuální grafy jsou navíc mapovatelné do jazyků reprezentace znalostí standardizovaných pro sémantický web; OWL a RDF(S). Tato práce ukotvuje teorii konceptuálních grafů do kontextu vědních oblastí lingvistiky, logiky i umělé inteligence. Představuje formalismus navrhnutý Johnem F. Sowou i základní rozšíření, která se objevila v průběhu uplynulých dekád spolu s potřebou zefektivnit reprezentační vlastnost grafů. Závěr práce přináší ilustrativní přehled implementačních využití konceptuálních grafů v praxi. [Autorský abstrakt]. (in English): Conceptual graphs are a formal knowledge representation language introduced by John F. Sowa, an American specialist on Artificial Intelligence, at the end of the seventies. They are the synthesis of heuristic and formalistic approach to Artificial Intelligence and knowledge procession. They provide meaning and knowledge in form, which is logically precise, human- readable and untestable, and it is applicable in the computing domain in general. Conceptual graphs can be expressed through a first-order logic, which makes them a quality tool for intelligent reasoning. Their notation CGIF was standardised by norm ISO/IEC 24707:2007 as one of the three dialects of Common logic, which frames the set of logic based on logic. Conceptual graphs are also mappable to knowledge representation languages standardised for the Semantic Web; OWL and RDF (S). This work introduces the conceptual graph theory in the context of scientific fields like linguistics, logic and artificial intelligence. It represents the formalism proposed by John F. Sowa and some extensions that have emerged over the past decades, along with the need for improvements to the representational properties of graphs. Finally, the work provides an illustrative overview of the implementation and use of conceptual graphs in practice....
Keywords: Conceptual graph; Conceptual structures; Expert system; Knowledge representation; Konceptual modeling; Ontology; User modeling; expertní systém; konceptuální graf; konceptuální struktury; modelování uživatele; ontologie; reprezentace znalostí

Institution: Charles University Faculties (theses) (web)
Document availability information: Available in the Charles University Digital Repository.
Original record: http://hdl.handle.net/20.500.11956/82158

Permalink: http://www.nusl.cz/ntk/nusl-351883


The record appears in these collections:
Universities and colleges > Public universities > Charles University > Charles University Faculties (theses)
Academic theses (ETDs) > Master’s theses