Reasoning in Graph-based Clausal Form Logic

Result code in 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>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Reasoning in Graph-based Clausal Form Logic

Original language description

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.

Czech name

—

Czech description

—

Type

J_x - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)

CEP classification

IN - Informatics

OECD FORD branch

—

Project

—

Continuities

S - Specificky vyzkum na vysokych skolach

Publication year

2012

Confidentiality

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

Name of the periodical

IJCSI International Journal of Computer Science Issues

ISSN

1694-0814

e-ISSN

—

Volume of the periodical

9

Issue of the periodical within the volume

1

Country of publishing house

MU - MAURITIUS

Number of pages

7

Pages from-to

37-43

UT code for WoS article

—

EID of the result in the Scopus database

—