Tabling for non-monotonic programming
Annals of Mathematics and Artificial Intelligence
Reasoning about Uncertainty
Abduction in well-founded semantics and generalized stable models via tabled dual programs
Theory and Practice of Logic Programming
The status of machine ethics: a report from the AAAI Symposium
Minds and Machines
An Implementation of Extended P-Log Using XASP
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Probabilistic reasoning with answer sets
Theory and Practice of Logic Programming
Moral Machines: Teaching Robots Right from Wrong
Moral Machines: Teaching Robots Right from Wrong
Evolution prospection in decision making
Intelligent Decision Technologies
EPIA'07 Proceedings of the aritficial intelligence 13th Portuguese conference on Progress in artificial intelligence
Prospective storytelling agents
PADL'10 Proceedings of the 12th international conference on Practical Aspects of Declarative Languages
State-of-the-art of intention recognition and its use in decision making
AI Communications
Intelligent Decision Technologies
Hi-index | 0.00 |
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.