The Deathly Dilemma
The Scenarios
- Self-driving car, passengers, pedestrians, crossings with(out) lights,
barriers
- 7 life dimensions
• Type; • Age; • Gender; • Pregnancy;
• Health; • Social status; • Lawfulness
- Self-driving car can go straight or swerve
- What should the self-driving car do? Who dies?
The Logic Model (click)
- Do the scenarios, make choice, write down reason
- Encode scenario and death calculation axioms
- Encode morality axioms
- Configure Vampire for arithmetic and question answering
- Conjecture what the car should do, run Vampire, be surprised
- Adjust morality (axioms)
- Goto 2
The Math Model (click)
- Value dimensions
• Important;
• Somewhat important;
• Not important.
- Unique ranking in dimensions
• Really want to save;
• Kinda want to save;
• Indifferent;
• Willing to kill.
- Math formula to compute value of group of lives
- Multiplier for dimension value
- Score for value ranking (deal with unknown and N/A cases)
- Predict highest scored group is saved