/* Hitting person in order to stop train (Ned): NOT-P *//*directly_causes(throw_switch, switch_train).directly_causes(switch_train, hitting(1)).directly_causes(hitting(1), killing(1)).directly_causes(hitting(1), stopping_train).directly_causes(hitting(5), killing(5)).directly_prevents(stopping_train, hitting(5)).is_goal(prevention_of(killing(5))).*//* Hitting person as side effect (Oscar): P *//*directly_causes(throw_switch, switch_train).directly_causes(switch_train, hitting(1)).directly_causes(switch_train, hitting_rock).directly_causes(hitting(1), killing(1)).directly_causes(hitting_rock, stopping_train).directly_causes(hitting(5), killing(5)).directly_prevents(stopping_train, hitting(5)).is_goal(prevention_of(killing(5))).*//* Fat Man problem (Ian): NOT-P *//*directly_causes(throw_man, get_on_track).directly_causes(get_on_track, hitting(1)).directly_causes(hitting(1), killing(1)).directly_causes(hitting(1), stop_train).directly_causes(hitting(5), killing(5)).directly_prevents(stop_train, hitting(5)).is_goal(prevention_of(killing(5))).*//* Standard trolley problem (Hank): P */directly_causes(throw_switch, switch_train).directly_causes(switch_train, hitting(1)).directly_causes(hitting(1), killing(1)).directly_causes(hitting(5), killing(5)).directly_prevents(switch_train, hitting(5)).is_goal(prevention_of(killing(5)))./* Reversed trolley problem (Karl): NOT-P *//* directly_causes(throw_switch, switch_train).directly_causes(switch_train, hitting(5)).directly_causes(hitting(5), killing(5)).directly_causes(hitting(1), killing(1)).directly_prevents(switch_train, hitting(1)).is_goal(prevention_of(killing(1))).*//* Hitting to save a life (Luke): P *//* note that we need to add "train_hitting_him" to distinguish between the hittings *//*directly_causes(throw_man, get_off_track).directly_causes(throw_man, hitting(1)).directly_causes(train_hitting_him, hitting(1)).directly_causes(train_hitting_him, killing(1)).directly_prevents(get_off_track, train_hitting_him).is_goal(prevention_of(killing(1))).*//* Trolley problem with no bad effect (Paul): Obligatory *//*directly_causes(throw_switch, switch_train).directly_causes(hitting(5), killing(5)).directly_prevents(switch_train, hitting(5)).is_goal(prevention_of(killing(5))).*//* Trolley problem with one on each track: NOT-P *//*directly_causes(throw_switch, switch_train).directly_causes(switch_train, hitting(1)).directly_causes(hitting(1), killing(1)).directly_prevents(switch_train, hitting(1)).is_goal(prevention_of(killing(1))).*//* Transplant: NOT-P *//* the following is a loose definition of "hitting" (battery) */ /*directly_causes(operate, hitting(1)). directly_causes(hitting(1), making_organs_available).directly_causes(hitting(1), killing(1)).directly_causes(making_organs_available, transplanting_organs).directly_causes(organ_failure, killing(5)).directly_prevents(transplanting_organs, organ_failure).is_goal(prevention_of(killing(5))).*/