An attempt to formalize the notion of heuristics in state space