Generalización de un algoritmo de inferencia basado en gramáticas de grafos

Abstract

Se presentó en [Je 95] un Algoritmo de Inferencia, el cual posee como entrada un conjunto finito de figuras o modelos, que se pueden representar como Grafos y como salida un tipo de Gramáticas de Grafos, llamadas Gramáticas de Reemplazo de Hiperlíneas. en [Je 96] se demostró que este Algoritmo es altamente no-determinístico. De manera que en este trabajo se presenta una generalización del Algoritmo de Inferencia y una alternativa semántica para restringir el flujo exponencial de gramáticas inferidas, la que se refiere a exigirle a los grafos ciertas propiedades, que llamaremos compatibles. En especial se considera un conjunto finito de ejemplos "negativos"que son análogos a los modelos ingresados, pero que en la generación del lenguaje de grafos no aparecen.