Formal Description of Knowledge Information Structure and Its Interpretability

Abstract

　Since the homogenized bipartite graph was proposed as a structure that can represent the knowledge information structure, there has been little discussion on its formal description and parser implementation. In this paper, we show that the representation of the structure is difficult in a conventional language, and propose a new language to represent a homogenized bipartite graph structure and its parser implementation. In addition, we describe some applications using the proposed mechanism and the perspectives on structuring knowledge and interpreting structured (formalized) knowledge. We also describe the tools implemented for the proof of concept. This tool is the first language that can formally describe a homogenized bipartite graph structure. This paper uses a style in which facts and considerations are mixed.