Estudio de operadores discretos definidos sobre cadenas finitas.

Abstract

En la lógica clásica, los predicados son binarios y toman valores de verdad de 0 o 1, que se corresponden con falso y verdadero, respectivamente. Sin embargo, en la mayoría de las veces, el razonamiento humano y muchos de los problemas en el mundo real donde suele tener su ámbito de aplicación no son deterministas y no pueden ser tratados con modelos probabilísticos. En estos casos, se necesita el uso de herramientas matemáticas capaces de manejar información no binaria. Precisamente, la Lógica Difusa es una disciplina que nace para recoger y trabajar con entornos que contienen incertidumbre, vaguedad, información imprecisa u incompleta. La Lógica Difusa está constituida y actúa con el rigor inherente de las matemáticas en entornos difusos. En este Trabajo de Fin de Grado consideramos los operadores definidos sobre una escala discreta, es decir, una cadena finita de valores. En concreto, trabajaremos sobre los operadores que modelan la conjunción lógica en la lógica difusa. El objetivo principal de este trabajo es el estudio de todos los operadores discretos definidos en una cadena finita y del cardinal del conjunto de dichos operadores mediante el desarrollo de una aplicación web interactiva con Shiny directamente desde R. En la memoria se detallarán los conceptos necesarios que se han utilizado a lo largo del trabajo, así como las distintas vistas en la interfaz de usuario y el pseudocódigo de los algoritmos implementados. También se proporcionará una copia del código para su uso propio del interesado, así como un manual de instalación del software.