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 prioriconstraints and a posteriori preferences on abductive stable models, two features available in ACORDA.
Keywords for this software
References in zbMATH (referenced in 4 articles )
Showing results 1 to 4 of 4.
- Han, The Anh; Saptawijaya, Ari; Moniz Pereira, Luís: Moral reasoning under uncertainty (2012)
- Alberti, Marco; Dell’Acqua, Pierangelo; Pereira, Luís Moniz: Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation (2011)
- Alberti, Marco; Gavanelli, Marco; Lamma, Evelina: Runtime addition of integrity constraints in an abductive proof procedure (2010)
- Wheeler, Gregory; Pereira, Luís Moniz: Methodological naturalism and epistemic internalism (2008)