Supongamos que queremos obtener información acerca de la variable formula_1 —por ejemplo, el estado de un sistema compuesto por un mapa y un robot— basándose en la información contenida en otra variable formula_2 —que bien podría ser un conjunto de medidas adquiridas por un sensor—.