CARACTERIZACION TOPOLOGICA DE LOS SISTEMAS BASADOS EN REGLAS DE PRODUCCION. Autor: MUNERA SALAZAR LUIS EDUARDO.
Año: 1987.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMATICA.
Centro de realización: FACULTAD DE INFORMATICA DE LA UNIVERSIDAD POLITECNICA DE MADRID..
Resumen: ES UN MODELO DEDUCTIVO A PARTIR DE UN SISTEMA
INFERENCIAL QUE CONSTA DE LOS AXIOMAS DE ARMSTRONG, FUNDAMENTADO EN UNA APROXIMACION, ENTRE LA LOGICA Y LA TOPOLOGIA A TRAVES DE LA CONVERGENCIA SE TRATA DE VER LA DEDUCCION COMO UN PROCEDIMIENTO DE CONVERGENCIA A UN LIMITE. ESTO TRAE COMO
CONSECUENCIA EL HECHO DE QUE PODEMOS GENERAR UN ESPACIO TOPOLOGICO, CUYA TOPOLOGIA, SEA LA MINIMA POSIBLE ASOCIADA A LAS REGLAS DE PRODUCCION, Y LA FAMILIA DE CERRADOS COMPLEMENTO DE LA TOPOLOGIA, CONSTITUYA NUESTRO ESPACIO DE BUSQUEDA, PUES EN ELLA
EFECTUAREMOS LAS DEDUCCIONES, POR EL PROCEDIMIENTO DE CALCULAR CIERRES.