A Formal Framework for Agency and Autonomy Michael Luck