DEFINICIN DE PREDICADOS SIMPLES Nombre del predicado (smbolo) Texto Cuantificable con conjunto difuso? SI / NO o Nombre de la variable o Rango numrico o Conjunto difuso Forma Parmetros Cuantificable con opciones lingsticas? SI / NO o Ingresar un conjunto de Valores de verdad / Significados

DEFINICIN DE PREDICADOS COMPUESTOS Nombre Ingreso de frmulas que pueden abarcar: o Predicados simples o Predicados compuestos previamente definidos o Conectores: AND, OR, NOT, IMPLICACIN SIMPLE, IMPLICACIN DOBLE o Modificadores: MUY, ALGO, UN POCO

CALCULO DE VALORES DE VERDADSe ingresa Operador para: AND, OR, IMPLICACIN, MODIFICADORES Se pide el valor de verdad de los predicados que integran el predicado que se ingres ltimo, hasta llegar al predicado ms simple. Entonces stos requerirn a su vez una de las siguientes cosas cada uno: Valores de verdad directamente Una opcin de algunas opciones (lingsticas) Un valor de una variable que ser cuantificable a travs de su conjunto difuso.

Se reporta el valor de verdad de todos los predicados posibles que integran el pedido.

MEJORAS POTENTES:Si todas las variables son numricas, se puede ingresar (o leer desde archivo) un conjunto de posibles valores para tener mltiples salidas (por ejemplo para hacer un ranking). Operar con distintos paradigmas lgicos (Fuzzy, Booleana, Compensatoria, Probabilstica, etc.) Estudiar ms el tema para agregar anlisis de coherencia (sin estudiar por nosotros an), los operadores PARA TODO y EXISTE, etc

EJEMPLO:p = el alumno X tiene buenas notas q = el alumno X es alto r = p AND q = el alumno X tiene buenas notas Y el alumno X es alto

y luego se pide evaluar r: INGRESAR VALOR DE VERDAD PARA p = el alumno X tiene buenas notas INGRESAR VALOR DE ALTURA EN CM (de 100 a 200) 0.8 191

SALIDA DEL SISTEMA: VALOR DE VERDAD DE r = el alumno X tiene buenas notas Y el alumno X es alto = 0.7854

O bien probar la salida para: [0.7 [0.5 [0.9 [0.4 120] 185] 186] 167]