Proceedings of the 2013 International Conference on Advanced ICT and Education

Modeling knowledge base and derivation without predefined structure by Graph-based Clausal Form Logic

Authors
Martin Žáek, Alena Lukasová, Rostislav Miarka
Corresponding Author
Martin Žáek
Available Online August 2013.
DOI
10.2991/icaicte.2013.108How to use a DOI?
Keywords
Knowledge representation, modeling, knowledge base, formal system, Clausal Form Logic, graph.
Abstract

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 goal of 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 with the expressivity similar to that one of CFL. As an example solution, a logical puzzle is presented.

Copyright
© 2013, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

Volume Title
Proceedings of the 2013 International Conference on Advanced ICT and Education
Series
Advances in Intelligent Systems Research
Publication Date
August 2013
ISBN
978-90786-77-79-6
ISSN
1951-6851
DOI
10.2991/icaicte.2013.108How to use a DOI?
Copyright
© 2013, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Cite this article

TY  - CONF
AU  - Martin Žáek
AU  - Alena Lukasová
AU  - Rostislav Miarka
PY  - 2013/08
DA  - 2013/08
TI  - Modeling knowledge base and derivation without predefined structure by Graph-based Clausal Form Logic
BT  - Proceedings of the 2013 International Conference on Advanced ICT and Education
PB  - Atlantis Press
SP  - 529
EP  - 532
SN  - 1951-6851
UR  - https://doi.org/10.2991/icaicte.2013.108
DO  - 10.2991/icaicte.2013.108
ID  - Žáek2013/08
ER  -