Generalización de un algoritmo de inferencia basado en gramáticas de grafos
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 al...
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Español |
| Publicado: |
1998
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/24902 |
| Aporte de: |
| Sumario: | 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. |
|---|