Abstract
This paper summarizes our investigation on the application of LP-based reasoning to machine ethics, a field that emerges from the need of imbuing autonomous agents with the capacity for moral decision-making. We identify morality viewpoints (concerning moral permissibility and the dual-process model) as studied in moral philosophy and psychology, which are amenable to computational modeling. Subsequently, various LP-based reasoning features are applied to model these identified morality viewpoints, via classic moral examples taken off-the-shelf from the literature.
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.
References
Anderson, M., Anderson, S.L.: EthEl: Toward a principled ethical eldercare robot. In: Procs. AAAI Fall 2008 Symposium on AI in Eldercare (2008)
Bringsjord, S., Arkoudas, K., Bello, P.: Toward a general logicist methodology for engineering ethically correct robots. IEEE Intelligent Systems 21(4), 38–44 (2006)
Cushman, F., Young, L., Greene, J.D.: Multi-system moral psychology. In: Doris, J.M. (ed.) The Moral Psychology Handbook. Oxford University Press (2010)
Dell’Acqua, P., Pereira, L.M.: Preferential theory revision. Journal of Applied Logic 5(4), 586–601 (2007)
Foot, P.: The problem of abortion and the doctrine of double effect. Oxford Review 5, 5–15 (1967)
Ganascia, J.-G.: Modelling ethical rules of lying with answer set programming. Ethics and Information Technology 9(1), 39–47 (2007)
Anh, H.T., 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)
Han, T.A., Saptawijaya, A., Pereira, L.M.: Moral reasoning under uncertainty. In: Bjørner, N., Voronkov, A. (eds.) LPAR-18 2012. LNCS, vol. 7180, pp. 212–227. Springer, Heidelberg (2012)
Hauser, M., Cushman, F., Young, L., Jin, R.K., Mikhail, J.: A dissociation between moral judgments and justifications. Mind and Language 22(1), 1–21 (2007)
Kamm, F.M.: Intricate Ethics: Rights, Responsibilities, and Permissible Harm. Oxford U. P (2006)
Kowalski, R.: Computational Logic and Human Thinking: How to be Artificially Intelligent. Cambridge U. P (2011)
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)
Lopes, G., Pereira, L.M.: Visual demo of “Princess-saviour Robot” (2010). http://centria.di.fct.unl.pt/~lmp/publications/slides/padl10/quick_moral_robot.avi
Mallon, R., Nichols, S.: Rules. In: Doris, J.M. (ed.) The Moral Psychology Handbook. Oxford University Press (2010)
McIntyre, A.: Doctrine of double effect. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy. Center for the Study of Language and Information, Stanford University, Fall 2011 edition (2004). http://plato.stanford.edu/archives/fall2011/entries/double-effect/
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)
Pereira, L.M., Saptawijaya, A.: Modelling morality with prospective logic. In: Anderson, M., Anderson, S.L. (eds.) Machine Ethics, pp. 398–421. Cambridge U. P (2011)
Pereira, L.M., Saptawijaya, A.: Abduction and beyond in logic programming with application to morality. Accepted in “Frontiers of Abduction”, Special Issue in IfCoLog Journal of Logics and their Applications (2015). http://goo.gl/yhmZzy
Pereira, L.M., Saptawijaya, A.: Bridging two realms of machine ethics. In: White, J.B., Searle, R. (eds.) Rethinking Machine Ethics in the Age of Ubiquitous Technology. IGI Global (2015)
Pereira, L.M., Saptawijaya, A.: Counterfactuals in Logic Programming with Applications to Agent Morality. Accepted at a special volume of Logic, Argumentation & Reasoning (2015). http://goo.gl/6ERgGG (preprint)
Saptawijaya, A., Pereira, L.M.: Incremental tabling for query-driven propagation of logic program updates. In: McMillan, K., Middeldorp, A., Voronkov, A. (eds.) LPAR-19 2013. LNCS, vol. 8312, pp. 694–709. Springer, Heidelberg (2013)
Saptawijaya, A., Pereira, L.M.: TABDUAL: a Tabled Abduction System for Logic Programs. IfCoLog Journal of Logics and their Applications 2(1), 69–123 (2015)
Scanlon, T.M.: What We Owe to Each Other. Harvard University Press (1998)
Scanlon, T.M.: Moral Dimensions: Permissibility, Meaning, Blame. Harvard University Press (2008)
Swift, T.: Tabling for non-monotonic programming. Annals of Mathematics and Artificial Intelligence 25(3–4), 201–240 (1999)
The Future of Life Institute. Research Priorities for Robust and Beneficial Artificial Intelligence (2015). http://futureoflife.org/static/data/documents/research_priorities.pdf
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Saptawijaya, A., Pereira, L.M. (2015). Logic Programming Applied to Machine Ethics. In: Pereira, F., Machado, P., Costa, E., Cardoso, A. (eds) Progress in Artificial Intelligence. EPIA 2015. Lecture Notes in Computer Science(), vol 9273. Springer, Cham. https://doi.org/10.1007/978-3-319-23485-4_41
Download citation
DOI: https://doi.org/10.1007/978-3-319-23485-4_41
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-23484-7
Online ISBN: 978-3-319-23485-4
eBook Packages: Computer ScienceComputer Science (R0)