Las variables del tipo certidumbre han sido desarrolladas en el lenguaje HAries con objetivos diferentes a las variables estudiadas hasta el momento. Estas variables no responden a otros tipos de valores sino a la ejecución de diversas acciones, de las cuales queda un valor de certidumbre asociado a dicha estructura de representación del conocimiento.
Existen dos tipos de variable certidumbre que son:
La primera enfocada a realizar operaciones de comparación entre las estructuras del lenguaje, mientras que la segunda, dirigida a facilitar el diseño de pantallas de interacción con el usuario. Sin embargo, aunque las acciones son diferentes, en ambos casos al ejecutarse una variable de este tipo quedan evaluadas con un valor de certidumbre.