Informatica

The concept of stratified graph introduces some method of representation which can be embedded with an interpretation mechanism in order to obtain objects from some knowledge domain based on the considered symbolic graph-based representations. As it was defined in the literature, the inference process uses the paths of the stratified graphs, an order between the elementary arcs of a path and some results of universal algebras. The order is defined by considering a structured path instead of a regular path. In a previous paper the concept of system of knowledge representation was defined. It includes a stratified graph G, a partial algebra Y of objects, an injective mapping that embeds the nodes of G into objects of Y and a set of algorithms that takes pairs of objects from Y to get some other object of Y. In this paper the inference process defined for such a system of knowledge considers the interpretation of the symbolic elements of a stratified graph as formal language constructions. The concepts introduced in this paper can initiate a possible research line concerning the automatic generation mechanism for formal languages.