The mathematical representation of an agents decision process, mapping from a percept sequence to an action.