Formalizing Normative Decisions Using Non-modal Deontic Logic and Tiered Utility : a Thesis Submitted in Partial Fulfilment of the Requirements for the Degree of Doctor of Philosophy at the University of Canterbury