a (artificial intelligence) Describing a heuristic that never overestimates the cost of reaching a goal.