Policy
Policy definition includes:
- circumstances in which policy applies;
- identification of a non-trivial choice to be made;
- identification of information needed for policy to interpret;
- definition of a decision procedure to be used in making choice, or a cost function to be used as the basis of choice;
- definition of invariants needed to make policy effective.