Resumen de Caracterización topológica de los sistemas basados en reglas de producción
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.
