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.
|Title of host publication||The Intl. Conf. on Logic for Programming, Artificial Intelligence and Reasoning (LPAR),|
|Publication status||Published - 1 Jan 2012|
|Event||The 18th Intl. Conf. on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-18) - |
Duration: 1 Jan 2012 → …
|Conference||The 18th Intl. Conf. on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-18)|
|Period||1/01/12 → …|