|
|
Konceptuální struktury jako nástroj reprezentace znalost
Ferbarová, Gabriela ; Ivánek, Jiří (vedoucí práce) ; Souček, Martin (oponent)
(č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].
|
|
|
Konceptuální struktury jako nástroj reprezentace znalost
Ferbarová, Gabriela ; Ivánek, Jiří (vedoucí práce) ; Souček, Martin (oponent)
(č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].
|
|
|
Modelování podnikových procesů
Panuška, Martin ; Řepa, Václav (vedoucí práce) ; Svatoš, Oleg (oponent)
V diplomové práci se zabýváme modelováním podnikových procesů z pohledu logiky. Tento pohled má několik výhod. Za prvé, protože logika prvního řádu je formálním logickým systémem, umožňuje nám důkladně pochopit základy procesního modelování. Za druhé, poté, co porozumíme logickým základům modelování podnikových procesů, můžeme vytvořit jazyk pro takové modelování postavený výhradně na logice nebo vyjádřit existující jazyk za použití logiky. Obojí pak může být využitelné pro usuzování umělé inteligence. Za třetí, model podnikových procesů, u kterého existuje vyjádření pomocí logiky (nebo jiného deklarativního jazyka), může být snadno uložen v deklarativní znalostní bázi. Za čtvrté, procesní modely založené na logice můžou být využity ve firmách jako základ pro znalostní management. A za páté, věda o logice nabízí množství různých sémantických rozšíření, které můžou být využity za účelem rozšíření výrazových prostředků jazyka pro modelování podnikových procesů. Prvním cílem práce je vypracování důkladného přehledu literatury, týkající se obou našich ob-lastí -- modelování podnikových procesů a temporální logiky. Souvisejícím druhým cílem je pro-zkoumání možností logiky reprezentovat procesy a obecně pojem času a poskytnout techniky k logické reprezentaci procesů. Následně by měly být poskytnuty příklady, které dokážou, že vy-brané techniky jsou schopné poskytnout výhody vyjmenované v prvním odstavci. Třetím cílem je navržení vylepšení současného přístupu k modelování podnikových procesů a poskytnutí re-levantních příkladů. Nakonec je možné navrhnout i způsoby zlepšení prezentovaných technik. Hlavním přínosem práce je, že představuje slušný základ pro další výzkum předmětné oblasti. Pro začátečníky, ale i pokročilé je práce dobrým odrazovým můstkem.
|
host ::
RSS.