El lenguaje de especificación XFL constituye la base para las herramientas de desarrollo de sistemas difusos integradas en Xfuzzy.


La descripción de un sistema difuso mediante XFL consta de tres partes básicas:
Definición de tipos
Definición de módulos
Definición de operaciones

XFL soporta un conjunto de clases de funciones de pertenencia predefinidas que incluye a la mayoría de las funciones descritas en la literatura. También proporciona un método que permite definir mediante una aproximación lineal a tramos cualquier función no contemplada en dichas clases predefinidas.

XFL no impone ninguna restricción en cuanto a la complejidad de la base de reglas que controla el comportamiento del sistema difuso. Esto es cierto tanto para la estructura de cualquier regla individual como para las relaciones entre bases de reglas diferentes dentro del sistema.

XFL puede calcular las funciones de pertenencia de salida de dos modos diferentes:
Agregación de reglas independientes
Preagregación de reglas

En ambos casos, la función de pertenencia de cada una de las variables de salida se obtiene componiendo los valores de salida de la función de implicación mediante la conectiva also.