Se llama Variable Vi a una estructura para la representación del conocimiento que tiene las siguientes componentes:
Vi =
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 variableLos textos en este tipo de estructura tienen como función:
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 variableComo parámetros particulares, los atributos Atri dependen directamente del tipo de variable. Esta componente representa la forma de definir y operar la variable.
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.