Para evitar recálculos que atenten contra la eficiencia, se puede utilizar un algoritmo tal como "Rete", que se basa en dos suposiciones: