Modeling knowledge base and derivation without predefined structure by Graph-based Clausal Form Logic
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17310%2F13%3AA140190Q" target="_blank" >RIV/61988987:17310/13:A140190Q - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Modeling knowledge base and derivation without predefined structure by Graph-based Clausal Form Logic
Original language description
This paper follows the work of T. Rich-ards 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) net-works. The goalof our research is to fol-low the direction towards graph-based 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 graph-based language withthe expressivity similar to that one of CFL. As an example solution, a logical puzzle is presented.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
—
Continuities
S - Specificky vyzkum na vysokych skolach
Others
Publication year
2013
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Proceedings of the 2013 International Conference on Advanced ICT and Education
ISBN
9789078677796
ISSN
1951-6851
e-ISSN
—
Number of pages
4
Pages from-to
546-549
Publisher name
Atlantis Press: AISR
Place of publication
France
Event location
Sanya, China
Event date
Sep 20, 2013
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—