Building a Non-monotonic Default Theory in GCFL Graph-Version of RDF

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17310%2F14%3AA1501B8I" target="_blank" >RIV/61988987:17310/14:A1501B8I - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Building a Non-monotonic Default Theory in GCFL Graph-Version of RDF

Popis výsledku v původním jazyce

The aim describes the idea of graph-based representation of clauses. This ap-proach follows the Richards idea of graph-based clausal form knowledge repre-sentation. Moreover, it enabled to build up the graph-based formal system GCFL (Graph-based ClausalForm Logic) that cannot only illustrate knowledge bases graphically, but also allows us to obtain consequents of a knowledge base in a special graph-based way. The article continues the idea by creation of a graph-based formal system of generating revisable theories following the known Reiter's default principle of building non-monotonic theories.

Název v anglickém jazyce

Building a Non-monotonic Default Theory in GCFL Graph-Version of RDF

Popis výsledku anglicky

The aim describes the idea of graph-based representation of clauses. This ap-proach follows the Richards idea of graph-based clausal form knowledge repre-sentation. Moreover, it enabled to build up the graph-based formal system GCFL (Graph-based ClausalForm Logic) that cannot only illustrate knowledge bases graphically, but also allows us to obtain consequents of a knowledge base in a special graph-based way. The article continues the idea by creation of a graph-based formal system of generating revisable theories following the known Reiter's default principle of building non-monotonic theories.

Druh

D - Stať ve sborníku

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

—

Návaznosti

S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2014

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Modern Trends and Techniques in Computer Science, AISC 285

ISBN

978-3-319-06740-7

ISSN

—

e-ISSN

—

Počet stran výsledku

11

Strana od-do

455-466

Název nakladatele

Springer International Publishing

Místo vydání

Switzerland

Místo konání akce

UTB Zlín

Datum konání akce

28. 4. 2014

Typ akce podle státní příslušnosti

CST - Celostátní akce

Kód UT WoS článku

—