Towards modeling conceptual graphs and transparent intensional logic

Abstract

In this paper, we introduce a graphical method for modeling and reasoning with linguistic expressions. The former represents a graph called a conceptual graph, and the latter involves graph transformations. In our conceptual graphs, nodes represent linguistic concepts and edges links between these concepts. This model facilitates reasonining with linguistic concepts by making direct consequences easy to infer.