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

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)

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  -