Elementos de Semántica Denotacional de Lenguajes de Programación con Datos Borrosos


Author

Sánchez Álvarez, Daniel

Director

Gómez Skarmeta, Antonio F.

Date of defense

1999-10-01

ISBN

9788469343883

Legal Deposit

MU-1283-2010



Department/Institute

Universidad de Murcia. Departamento de Ingeniería de la Información y las Comunicaciones

Abstract

A fin de diseñar e implementar lenguajes de programación que tengan en cuenta el paradigma borroso modificaremos el lambda cálculo clásico, adjuntando a cada término un grado, y redefiniendo la beta-reducción, obteniendo que para que el nuevo cálculo verifique la propiedad de Church-Rosser la transmisión de los grados debe hacerse por medio de una función que sea una t-norma o s-conorma. Utilizando esta nueva herramienta diseñamos un lenguaje no determinista que satisface los requerimientos de la programación con datos borrosos.


With the aim of designing and implementing programming languages that take into account the fuzzy paradigm we will modify the classical lambda calculus by adding a degree to each term and by redefining the b-reduction. Thus, for the new calculus to verify the Church-Rosser property, the degree computed with can be made through a function that is a t-norm or an s-conorm. With this new tool we design a nondeterminist language that satisfies fuzzy data<br/>programming requirements, and an example of its behaviour is shown.

Keywords

trapezoidal numbers; Church numbers; numerical system; fuzzy numbers; powerdomain; directed sets; fuzzy sets; fuzzy boolean; denotational semantics; labelled tree; s-conorma; t-norma; separabilidad; sustitución; reducción de Church-Rosser; powerdomain; número trapezoidal; número de Church; número borroso; normalización; ideal principal; extensión cilíndrica; dominio potencia; conjunto dirigido; conjunto borroso; semántica denotacional; booleano borroso; árbol etiquetado; Church-Rosser property; abstract syntax; guarded command; substitutions; reductions; linguistic values; linguistic variables; t-norm; s-conorm

Subjects

621.3 Electrical engineering; 68 - Industries, crafts and trades for finished or assembled articles

Knowledge Area

Ciencias de la Computación e Inteligencia Artificial

Documents

SanchezAlvarezDaniel.pdf

4.422Mb

 

Rights

ADVERTENCIA. El acceso a los contenidos de esta tesis doctoral y su utilización debe respetar los derechos de la persona autora. Puede ser utilizada para consulta o estudio personal, así como en actividades o materiales de investigación y docencia en los términos establecidos en el art. 32 del Texto Refundido de la Ley de Propiedad Intelectual (RDL 1/1996). Para otros usos se requiere la autorización previa y expresa de la persona autora. En cualquier caso, en la utilización de sus contenidos se deberá indicar de forma clara el nombre y apellidos de la persona autora y el título de la tesis doctoral. No se autoriza su reproducción u otras formas de explotación efectuadas con fines lucrativos ni su comunicación pública desde un sitio ajeno al servicio TDR. Tampoco se autoriza la presentación de su contenido en una ventana o marco ajeno a TDR (framing). Esta reserva de derechos afecta tanto al contenido de la tesis como a sus resúmenes e índices.

This item appears in the following Collection(s)