Se llama Variable Vi a una estructura para la representación del conocimiento que tiene las siguientes componentes:

Vi = i , Vri , Pri , Atri> donde:

  • Ti representa un conjunto de textos,
  • Vri valores de la variable,
  • Pri proposiciones asociadas
  • Atri atributos que definen el tipo de variable

Un concepto del tipo variable posee un grupo de parámetros que son comunes a todos los tipos de variable, y otro que es muy específico al tipo en cuestión que se describe. En la definición, T i , Vr i y Pr i son los parámetros que definen las características generales de una variable: textos, valores y proposiciones asociadas y el parámetro Atr i caracteriza el tipo particular de variable.

Parámetros generales de la variable

Los textos en este tipo de estructura tienen como función:

  • Identificar la variable, lo cual resulta de mucha utilidad para el proceso de puesta a punto.
  • Explicar el concepto que se representa con esa estructura específica.
  • Preguntar al usuario el valor de la variable.

Las variables almacenan sus posibles valores en la componente Vri de la estructura. Pueden ser únicos, pasando por un intervalo, o arreglo de intervalos, hasta una tira de caracteres, lo cual va a depender del tipo de la variable. La cantidad y tipos de valores que admite una variable permiten establecer una clasificación de éstas que se utiliza para incorporarlas a la BC durante el desarrollo de una aplicación.

Regularmente, las variables definen un esquema de cálculo o procesamiento que posibilita obtener los valores de seguridad de las proposiciones asociadas, de ahí, la relación que se establece a través de la componente Pri entre ambos conceptos (proposiciones y variables).

Las proposiciones asociadas son también una vía que se utiliza para activar el funcionamiento de las variables, es decir, si existe una relación entre una proposición y una variable, cuando se necesita el valor de la primera, esto provocará la activación de la segunda, cuyo proceso de evaluación brindará entre sus resultados, los valores de certidumbre de las proposiciones asociadas.

Parámetros particulares de la variable

Como parámetros particulares, los atributos Atri dependen directamente del tipo de variable. Esta componente representa la forma de definir y operar la variable.

Tipos de variables

Una variable es una estructura identificada a través de un texto y otro conjunto de componentes, a la cual se le puede hacer corresponder valores numéricos o cualitativos, que no expresen grados de certidumbre acerca de algo que se analiza, pero si permitan obtener pesos acerca de las proposiciones asociadas a estos valores

Han sido definidos diversos tipos de variables en el lenguaje HAries. Cada una posee características que la diferencian de las otras. De aquí que se necesite un estudio particular de cada caso.

Para diferenciar los diferentes tipos de variables se ha definido su atributo tipo, el cual puede ser analizado considerando para ello la existencia de dos niveles: uno general, que identifica su naturaleza y otro particular, que establece la fuente o clase de valor que esta toma.