Reasoning for Autonomy