LENGUAJES DE PROGRAMACIÓN LÓGICA DIFUSA

Plan your website and create the next important tasks for get your project rolling

Comienza Ya. Es Gratis
ó regístrate con tu dirección de correo electrónico
LENGUAJES DE PROGRAMACIÓN LÓGICA DIFUSA por Mind Map: LENGUAJES DE PROGRAMACIÓN   LÓGICA DIFUSA

1. XFuzzy

1.1. Definición

1.1.1. Entorno compuesto por un conjunto de herramientas que facilitan el diseño, la verificación y la síntesis de sistemas difusos.

1.2. Menús:

1.2.1. Manipulación de ficheros (files)

1.2.1.1. Muestra una lista de items que realizan diferentes operaciones sobre ficheros.

1.2.1.1.1. 1. Cargar

1.2.1.1.2. 2. Salvar

1.2.1.1.3. 3. Renombrar,

1.2.1.1.4. 4. Cerrar un fichero de especificación

1.2.1.1.5. 5. Salir de Xfuzzy.

1.2.2. Diseño (design)

1.2.3. Síntesis (synthesis)

1.2.4. Definición de operaciones difusas (fuzzy operations)

1.2.5. Setup del entorno.

1.2.5.1. 1. Navegar a través de los directorios

1.2.5.2. 2. Manipular información de log .

1.2.5.3. 3. Especificar las operaciones difusas a utilizar.

1.3. Operaciones Difusas

1.3.1. Permite seleccionar operaciones difusas con las que trabajarán las herramientas integradas en el entorno Xfuzzy.

1.3.1.1. Intentará cargar la definición de operaciones para C y Java desde:

1.3.1.1.1. 1. Cualquier fichero identificado mediante las opcións -Oc y -Oj en la línea de comando.

1.3.1.1.2. 2. Los fichero denominados .xfcops y .xfjops localizados en el directorio de login del usuario.

1.3.1.1.3. 3. Los ficheros globales de operaciones definidos durante la instalación de la herramienta

1.4. Herramientas de Diseño

1.4.1. 1. Seleccionar las operaciones difusas:

1.4.2. 2. Definición de los u

1.4.3. 3. Especificación del comportamiento del sistema: variables de entrada y de salida y base de reglas.

1.5. Herramientas de Verificación

1.5.1. XFSIM: Simulación de sistemas basados en XFL

1.5.2. XFBPA: Ajuste de sistemas basados en XFL

1.5.3. XFPLOT: Representación Gráfica de Superficies

1.6. Herramientas de Síntesis

1.6.1. XFC: Compilador de XFL a C

1.6.2. XFJ: Compilador de XFL a Java

1.6.3. Síntesis Hardware

1.6.3.1. XFTL: Síntesis mediante Tabla Look-up

1.6.3.2. XFVHDL: Síntesis Mediante Hardware Dedicado

2. Lenguaje_Fril

2.1. Definición

2.1.1. Llenguaje de programación para el cálculo de predicados de primer orden

2.2. Tipos

2.2.1. Los tipos de datos son similares a los de Prolog:

2.2.1.1. Pero el tipo de dato compuesto en Prolog es el término compuesto

2.2.1.2. Las variables se distinguen por los identificadores de las mismas

2.2.1.2.1. Se escriben en su totalidad en letras mayúsculas

2.3. Sintaxis

2.3.1. Una cláusula proposicional es una lista compuesta de un predicado seguido de sus argumentos:

2.4. Reglas

2.4.1. Es una lista que consiste en una conclusión seguida de la hipótesis (objetivos).

2.4.1.1. Tiene el siguiente formato: ((dato)) ((conclusion objetivo_1 ... objetivo_n))

2.5. Relaciones

2.5.1. Relación

2.5.1.1. Equivalente a un conjunto de hechos con el mismo nombre de predicado y de aridad constante

2.5.1.1.1. Ejemplos: ((menor-que 2 3)) ((menor-que 8 23)) ((menor-que 42 69))

2.6. Disyunción

2.6.1. Se utiliza el predicado "orr"