TY - GEN
T1 - Moral reasoning under uncertainty
AU - Han, The Anh
AU - Saptawijaya, Ari
AU - Moniz Pereira, Luís
PY - 2012/3/21
Y1 - 2012/3/21
N2 - We present a Logic Programming framework for moral reasoning under uncertainty. It is enacted by a coherent combination of our two previously implemented systems, Evolution Prospection for decision making, and P-log for probabilistic inference. It allows computing available moral judgments via distinct kinds of prior and post preferences. In introducing various aspects of uncertainty into cases of classical trolley problem moral dilemmas, we show how they may appropriately influence moral judgments, allowing decision makers to opt for different choices, and for these to be externally appraised, even when subject to incomplete evidence, as in courts.
AB - We present a Logic Programming framework for moral reasoning under uncertainty. It is enacted by a coherent combination of our two previously implemented systems, Evolution Prospection for decision making, and P-log for probabilistic inference. It allows computing available moral judgments via distinct kinds of prior and post preferences. In introducing various aspects of uncertainty into cases of classical trolley problem moral dilemmas, we show how they may appropriately influence moral judgments, allowing decision makers to opt for different choices, and for these to be externally appraised, even when subject to incomplete evidence, as in courts.
UR - http://www.scopus.com/inward/record.url?scp=84858325564&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-28717-6_18
DO - 10.1007/978-3-642-28717-6_18
M3 - Conference contribution
AN - SCOPUS:84858325564
SN - 9783642287169
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 212
EP - 227
BT - Logic for Programming, Artificial Intelligence, and Reasoning - 18th International Conference, LPAR-18, Proceedings
T2 - 18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Y2 - 11 March 2012 through 15 March 2012
ER -