Interesting report on the efforts to reduce moral judgments into code. Its a fun fun read just to try your hand at the trolley problem. Are you as moral as a machine? Or less?
The authors of the paper claim that they have been successful in modeling these difficult moral problems in computer logic. They accomplished this feat by resolving the hidden rules that people use in making moral judgments and then modeling them for the computer using prospective logic programs.