Policy Representation and Reasoning