Moral Decision Making with ACORDA

This paper shows how moral decisions can be drawn computationally by using ACORDA, a working implementation of prospective logic programming. ACORDA is employed to model moral dilemmas, as they are able to prospectively look ahead at the consequences of hypothetical moral judgments. With this knowledge of consequences, moral rules are then used to decide the appropriate moral judgments. The whole moral reasoning is achieved via a priori constraints and a posteriori preferences on abductive stable models, two features available in ACORDA.