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. Thesis (Doctoral), Facultad de Informática (UPM).

Description

Title: Caracterización topológica de los sistemas basados en reglas de producción
Author/s:
  • Munera Salazar, Luis Eduardo
Contributor/s:
  • Fernández Baizán, Covadonga
Item Type: Thesis (Doctoral)
Date: 1988
Subjects:
Faculty: Facultad de Informática (UPM)
Department: Lenguajes y Sistemas Informáticos e Ingeniería del Software
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (3MB) | Preview

Abstract

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.

More information

Item ID: 46775
DC Identifier: http://oa.upm.es/46775/
OAI Identifier: oai:oa.upm.es:46775
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 14 Jun 2017 09:17
Last Modified: 14 Jun 2017 09:17
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM