Modeling knowledge base and derivation without predefined structure by Graph-based Clausal Form Logic
Martin Žáek, Alena Lukasová, Rostislav Miarka
Available Online August 2013.
- https://doi.org/10.2991/icaicte.2013.108How to use a DOI?
- Knowledge representation, modeling, knowledge base, formal system, Clausal Form Logic, graph.
- 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.
- Open Access
- This is an open access article distributed under the CC BY-NC license.
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 - 2013 International Conference on Advanced ICT and Education (ICAICTE-13) PB - Atlantis Press SP - 529 EP - 532 SN - 1951-6851 UR - https://doi.org/10.2991/icaicte.2013.108 DO - https://doi.org/10.2991/icaicte.2013.108 ID - Žáek2013/08 ER -