Finding relevant knowledge in a knowledge base of linear logic

摘要

In terms of knowledge science, there clearly has been a trend toward the development of large-scale knowledge bases. In such knowledge bases, not all knowledge is closely related to each other and it is important to be able to determine which parts of knowledge are relevant to to the current problem. In this article, we discuss the formula interconnectivity graphs but also its use for selecting relevant to knowledge from a knowledge base that is based on linear logic.