Formal methods for ethical valuation: Difference between revisions