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

Munera Salazar, Luis Eduardo (1988). Caracterización topológica de los sistemas basados en reglas de producción. Tesis (Doctoral), Facultad de Informática (UPM) [antigua denominación].

Descripción

Título: Caracterización topológica de los sistemas basados en reglas de producción
Autor/es:
  • Munera Salazar, Luis Eduardo
Director/es:
  • Fernández Baizán, Covadonga
Tipo de Documento: Tesis (Doctoral)
Fecha: 1988
Materias:
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Lenguajes y Sistemas Informáticos e Ingeniería del Software
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (3MB) | Vista Previa

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.

Más información

ID de Registro: 46775
Identificador DC: http://oa.upm.es/46775/
Identificador OAI: oai:oa.upm.es:46775
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 14 Jun 2017 09:17
Ultima Modificación: 14 Jun 2017 09:17
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM