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

Departamento: LENGUAJES Y SISTEMAS INFORMATICOS E INGENIERIA DE SOFTWARE

Acceso electrónico: http://oa.upm.es/46775/

Director/a(s):

• Director/a: 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