Elementos de semántica denotacional de lenguajes de programación con datos borrosos

  1. Sánchez Alvarez, Daniel
Dirigida per:
  1. Antonio Skarmeta Gómez Director

Universitat de defensa: Universidad de Murcia

Fecha de defensa: 01 de d’octubre de 1999

Tribunal:
  1. Miguel Delgado Calvo-Flores President/a
  2. Fernando Martín Rubio Secretari/ària
  3. Gregorio Fernández Fernández Vocal
  4. José Luis Freire Nistal Vocal
  5. María Teresa de Pedro Lucio Vocal
Departament:
  1. Ingeniería de la Información y las Comunicaciones

Tipus: Tesi

Teseo: 76541 DIALNET

Resum

La Tesis tiene como objetivo estudiar las bases que permitan definir, de manera formal, la semántica de lenguajes que manejen datos borrosos, Se ha revisado el lambda cálculo para que admita que cada uno de sus términos está etiquetado por un elemento de un cierto conjunto D. Se han estudiado las propiedades mínimas que debe cumplir este conjunto a fin de dar cuenta adecuadamente de: la sustitución, los distintos axiomas y la reducción del lambda cálculo. A continuación se adecua el conjunto D para que la introducción de los sistemas numéricos y, en general, las operaciones definidas externamente tengan las características que son deseables en nuestro cálculo. El resultado final al que se ha llegado es que si tomamos D=[0,...,1],entonces será suficiente que en D tengamos definido algún operador triangular. Utilizando estos resultados como soporte se expone la semántica denotacional de un lenguaje simple. Tiene dos aspectos que lo individualizan: 1) Utilizar los operadores triangulares a la hora de hacer las distintas evaluaciones y 2) El ser multivaluado. La multivaluación, requerida por el carácter borroso de los datos, no es posible manejarla en el lambda cálculo, por lo que se introduce de forma explícita, y dá lugar a que se puedan considerar distintos ordenamientos. Se amplia el lenguaje anterior por medio de :1) La introducción de abstracciones, permitiendo la redefinición de los operadores triangulares y los grados de borrosidad con los que se trabaja de distintas formas y 2)Se esboza la aplicabilidad del paradigma de la orientación a objetos a las variables lingüisticas.