SLIDE 13 Review Questions
What is the difference between a descriptive and a prescriptive claim? (the is-ought gap) What are the main descriptive and prescriptive claims made in the MM platform? What is the logical relationship between them? Describe some issues with how data on people’s ethical preferences was collected in MM. Should designers program autonomous systems such as AVs to act in accordance with the ethical preferences of a majority of people as revealed by platforms like the MM? (Q for next time)
Rightful Machines
A rightful machine is an explicitly moral autonomous system that respects principles of justice and the public law of a legitimate state. Efforts to build such systems must focus first on duties of right, or justice, which take normative priority over contestable duties of ethics in cases
- f conflict. (This insight resolves the “trolley
problem” for purposes of rightful machines.) Feasibility: An adequate deontic logic of the law 1) can describe conflicts but 2) normatively requires their resolution SDL fails, but NMRs can meet these requirements Legal duties must be precisely specified A rational agent architecture: 1) rat agent (LP) constraining 2) control system (ML) for 3) sensors and actuators An implementation: answer-set (logic) programming
qual(r1(A)). qual(r1(A)) :- act(A), not ob(- A). murder(A) :- intentional(A), act(A), causes_death(A, P), person(P).