Reasoning in Graph-based Clausal Form Logic

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17310%2F12%3AA12013QE" target="_blank" >RIV/61988987:17310/12:A12013QE - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Reasoning in Graph-based Clausal Form Logic

Popis výsledku v původním jazyce

This paper follows the work of T. Richards specialization Clausal Form Logic formal system of the first order logic. The paper presents also the way of using graph-based clausal form statements in the frame of semantic (associative) networks. The goal ofour research is to follow the direction towards graphbased clausal form knowledge representation shaped by Richards and build up a graph-based formal system. The new formal system Graph-based Clausal Form Logic has its own graphbased language with the expressivity similar to that one of CFL. The idea of the GCFL graph-based approach is also useful in the frame of the RDF model especially in its graph version.

Název v anglickém jazyce

Reasoning in Graph-based Clausal Form Logic

Popis výsledku anglicky

This paper follows the work of T. Richards specialization Clausal Form Logic formal system of the first order logic. The paper presents also the way of using graph-based clausal form statements in the frame of semantic (associative) networks. The goal ofour research is to follow the direction towards graphbased clausal form knowledge representation shaped by Richards and build up a graph-based formal system. The new formal system Graph-based Clausal Form Logic has its own graphbased language with the expressivity similar to that one of CFL. The idea of the GCFL graph-based approach is also useful in the frame of the RDF model especially in its graph version.

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

—

Návaznosti

S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2012

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 periodika

IJCSI International Journal of Computer Science Issues

ISSN

1694-0814

e-ISSN

—

Svazek periodika

9

Číslo periodika v rámci svazku

1

Stát vydavatele periodika

MU - Mauricijská republika

Počet stran výsledku

7

Strana od-do

37-43

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—