Caracterización topológica de los sistemas basados en reglas de producción

Resumen

El objetivo de la tesis es crear un modelo deductiva 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 topologia,sea la mínima posible asociada
a las regias de producción,y la familia de cerrados complemento
de la topología, constituya nuestro espacio de búsqueda, pues en el la efectuaremos las deducciones calculando cierres.---ABSTRACT---The m a m purpose of this thesis is to créate a Deductive Model
an Inferential System composed of the ARHSTRONG'S axioms.This
Inferential System is based on an approach between Logic an
Topology by means of convergence.
It is meant to see deductions as a convergence procedure up to a
1imi t.
Therefore we can genérate a Topological Space, whose Topology is
a minimun of al 1 the posible íopologies associated to the
Production Rules,and that the complement of Topology, or the
closed family,is our Search Space,where we can make deductions
for the procedure of computation closures.