A representation of what task-relevant information an agent has discovered at a given point in its reasoning.