Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Alferes, J.J., Pereira, L.M., Swift, T.: Abduction in well-founded semantics and generalized stable models via tabled dual programs. Theory and Practice of Logic Programming 4(4), 383–428 (2004)
Anderson, M., Anderson, S.L.: The status of machine ethics: a report from the AAAI Symposium. Minds and Machines 17, 1–10 (2007)
Anderson, M., Anderson, S.L.: Machine Ethics. Cambridge U. P. (2011)
Baral, C., Gelfond, M., Rushton, N.: Probabilistic reasoning with answer sets. Theory and Practice of Logic Programming 9(1), 57–144 (2009)
Castro, L., Swift, T., Warren, D.S.: XASP: Answer set programming with XSB and Smodels (2007), http://xsb.sourceforge.net/shadow_site/manual2/node129.html
de Waal, F.: Primates and Philosophers, How Morality Evolved. Princeton U. P. (2006)
Foot, P.: The problem of abortion and the doctrine of double effect. Oxford Review 5, 5–15 (1967)
Halpern, J.Y.: Reasoning about Uncertainty. MIT Press (2005)
Han, T.A., Pereira, L.M.: Collective intention recognition and elder care. In: AAAI 2010 Fall Symposium on Proactive Assistant Agents (PAA 2010). AAAI (2010)
Han, T.A., Pereira, L.M.: Proactive intention recognition for home ambient intelligence. In: IE Workshop on AI Techniques for Ambient Intelligence, Ambient Intelligence and Smart Environments, vol. 8, pp. 91–100. IOS Press (2010)
Han, T.A., Kencana Ramli, C.D.P., Damásio, C.V.: An Implementation of Extended P-Log Using XASP. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol. 5366, pp. 739–743. Springer, Heidelberg (2008)
Hauser, M.D.: Moral Minds, How Nature Designed Our Universal Sense of Right and Wrong. Little Brown (2007)
Kamm, F.M.: Intricate Ethics: Rights, Responsibilities, and Permissible Harm. Oxford U. P. (2006)
Katz, L.D. (ed.): Evolutionary Origins of Morality, Cross-Disciplinary Perspectives. Imprint Academic (2002)
Lopes, G., Pereira, L.M.: Prospective Storytelling Agents. In: Carro, M., Peña, R. (eds.) PADL 2010. LNCS, vol. 5937, pp. 294–296. Springer, Heidelberg (2010), http://centria.di.fct.unl.pt/~lmp/publications/slides/padl10/quick_moral_robot.avi
Mikhail, J.: Universal moral grammar: Theory, evidence, and the future. Trends in Cognitive Sciences 11(4), 143–152 (2007)
Newman, J.O.: Quantifying the standard of proof beyond a reasonable doubt: a comment on three comments. Law, Probability and Risk 5(3-4), 267–269 (2006)
Baral, C., Gelfond, M., Rushton, N.: Probabilistic Reasoning With Answer Sets. In: Lifschitz, V., Niemelä, I. (eds.) LPNMR 2004. LNCS (LNAI), vol. 2923, pp. 21–33. Springer, Heidelberg (2003)
Pereira, L.M., Dell’Acqua, P., Pinto, A.M., Lopes, G.: Inspecting and preferring abductive models. In: Handbook on Reasoning-based Intelligent Systems. World Scientific Publishers (2011) (forthcoming), http://centria.fct.unl.pt/~Imp/publications/online-papers/rbis.pdf
Pereira, L.M., Han, T.A.: Evolution prospection in decision making. Intelligent Decision Technologies 3(3), 157–171 (2009)
Pereira, L.M., Lopes, G.: Prospective Logic Agents. In: Neves, J., Santos, M.F., Machado, J.M. (eds.) EPIA 2007. LNCS (LNAI), vol. 4874, pp. 73–86. Springer, Heidelberg (2007)
Pereira, L.M., Saptawijaya, A.: Moral decision making with ACORDA. In: Short Paper LPAR 2007 (2007)
Pereira, L.M., Saptawijaya, A.: Modelling morality with prospective logic. In: Machine Ethics, pp. 398–421. Cambridge U. P. (2011)
Pereira, L.P., Han, T.A.: Intention recognition with evolution prospection and causal bayesian networks. In: Madureira, A., et al. (eds.) Computational Intelligence for Engineering Systems: Emergent Applications, vol. 46, pp. 1–33. Springer, Heidelberg (2011)
Swift, T.: Tabling for non-monotonic programming. Annals of Mathematics and Artificial Intelligence 25(3-4), 210–240 (1999)
Tancredi, L.: Hardwired Behavior, What Neuroscience Reveals about Morality. Cambridge U. P. (2005)
Wallach, W., Allen, C.: Moral Machines: Teaching Robots Right from Wrong. Oxford U. P. (2009)
XSB. The XSB system version 3.2 vol. 2: Libraries, interfaces and packages (March 2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Han, T.A., Saptawijaya, A., Moniz Pereira, L. (2012). Moral Reasoning under Uncertainty. In: Bjørner, N., Voronkov, A. (eds) Logic for Programming, Artificial Intelligence, and Reasoning. LPAR 2012. Lecture Notes in Computer Science, vol 7180. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-28717-6_18
Download citation
DOI: https://doi.org/10.1007/978-3-642-28717-6_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-28716-9
Online ISBN: 978-3-642-28717-6
eBook Packages: Computer ScienceComputer Science (R0)