Tesis:
Caracterización topológica de los sistemas basados en reglas de producción
- Autor: MUNERA SALAZAR, Luis Eduardo
- Título: Caracterización topológica de los sistemas basados en reglas de producción
- Fecha: 1988
- Materia: MATEMÁTICAS. Teseo;CIENCIAS DE LA COMPUTACIÓN. Teseo;INTELIGENCIA ARTIFICIAL. Teseo
- Escuela: FACULTAD DE INFORMATICA
- Departamentos: LENGUAJES Y SISTEMAS INFORMATICOS E INGENIERIA DE SOFTWARE
- Acceso electrónico: http://oa.upm.es/46775/
- Director/a 1º: FERNANDEZ BAIZAN, María Covadonga
- Resumen: Es un modelo deductivo a partir de un sistema inferencial que consta de los axiomas de Armstrong, fundamentado en una aproximación, entre la lógica y la topología a través de la convergencia, se trata de ver la deducción como un procedimiento de convergencia a un límite. Esto trae como consecuencia el hecho de que podemos generar un espacio topológico, cuya topología, sea la mínima posible asociada a las reglas de producción, y la familia de cerrados, complemento de la topología, constituya nuestro espacio de búsqueda, pues en ella efectuaremos las deducciones, por el procedimiento de calcular cierres