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

Abstract

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 of our research is to follow the direction towards graph-based clausal form knowledge representation shaped by Richards and build up a graphbased 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.