A First-Order Formalization of Commitments and Goals for Planning