Modelling morality with prospective logic

International Journal of Reasoning-based Intelligent Systems

Volumn 1, Issue 3-4, 2009, Pages 209-221

  Pereira, Luís Moniz ^a   Saptawijaya, Ari ^b  

^a UNIVERSIDADE NOVA DE LISBOA   (Portugal)

^b UNIVERSITY OF INDONESIA   (Indonesia)

Author keywords

abductive stable models; ACORDA; computational morality; double effect principle; intelligent systems; modelling morality; moral reasoning; prospective logic; triple effect principle; trolley problem

Indexed keywords

EID: 77749243869     PISSN: 17550556     EISSN: 17550564     Source Type: Journal    
DOI: 10.1504/ijris.2009.028020     Document Type: Article

References (27)

1. Alferes, J.J., Brogi, A., Leite, J.A. and Pereira, L.M. (2002) ‘Evolving logic programs’, in Flesca, S., Greco, S., Leone, N. and Ianni, G. (Eds.): Procs. 8th European Conf. on Logics in Artificial Intelligence (JELIA’02), pp.50–61, Springer LNCS 2424,.
2. Anderson, M., Anderson, S. and Armen, C. (2006) ‘MedEthEx: a prototype medical ethics advisor’, Procs. 18th Conf. on Innovative Applications of Artificial Intelligence (IAAI-06).
3. Bringsjord, S., Arkoudas, K. and Bello, P. (2006) ‘Toward a general logicist methodology for engineering ethically correct robots’, IEEE Intelligent Systems, Vol. 21, No. 4, pp.38–44.
4. de Waal, F. (2006) Primates and Philosophers, How Morality Evolved, Princeton UP.
5. Dell’Acqua, P. and Pereira, L.M. (2005) ‘Preferential theory revision’, in Pereira, L.M. and Wheeler, G. (Eds.): Procs. Computational Models of Scientific Reasoning and Applications, pp.69–84.
6. Dell’Acqua, P. and Pereira, L.M. (2007) ‘Preferential theory revision (extended version)’, Journal of Applied Logic, to appear.
7. Foot, P. (1967) ‘The problem of abortion and the doctrine of double effect’, Oxford Review, Vol. 5, pp.5–15.
8. Gelfond, M. and Lifschitz, V. (1988) ‘The stable model semantics for logic programming’, in Kowalski, R. and Bowen, K.A. (Eds.): 5th Intl. Logic Programming Conf., MIT Press.
9. Gigerenzer, G. and Engel, C. (2006) Heuristics and the Law, MIT Press.
10. Guarini, M. (2005) ‘Particularism and generalism: how AI can help us to better understand moral cognition’, in Anderson, M., Anderson, S. and Armen, C. (Eds.): Machine Ethics: Papers from the AAAI Fall Symposium, AAAI Press.
11. Hauser, M.D. (2007) Moral Minds, How Nature Designed Our Universal Sense of Right and Wrong, Little Brown.
12. Joyce, R. (2006) The Evolution of Morality, The MIT Press.
13. Kakas, A., Kowalski, R. and Toni, F. (1998) ‘The role of abduction in logic programming’, in Gabbay, D., Hogger, C. and Robinson, J. (Eds.): Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 5, pp.235–324, Oxford UP.
14. Kamm, F.M. (2006) Intricate Ethics: Rights, Responsibilities and Permissible Harm, Oxford UP.
15. Katz, L.D. (2002) Evolutionary Origins of Morality, Cross-Disciplinary Perspectives, Imprint Academic.
16. Kowalski, R. (2006) ‘The logical way to be artificially intelligent’, in Toni, F. and Torroni, P. (Eds.): Procs. of CLIMA VI, LNAI, p.122, Springer.
17. Lopes, G. and Pereira, L.M. (2006) ‘Prospective logic programming with ACORDA’, Procs. of the FLoC’06, Workshop on Empirically Successful Computerized Reasoning, 3rd Intl. J. Conf. on Automated Reasoning.
18. McLaren, B.M. (2006) ‘Computational models of ethical reasoning: challenges, initial steps and future directions’, IEEE Intelligent Systems, Vol. 21, No. 4, pp.29–37.
19. Mikhail, J. (2007) ‘Universal moral grammar: theory, evidence and the future’, Trends in Cognitive Sciences, Vol. 11, No. 4, pp.143–152.
20. Otsuka, M. (2008) ‘Double effect, triple effect and the trolley problem: squaring the circle in looping cases’, Utilitas, Vol. 20, No. 1, pp.92–110.
21. Pereira, L.M. and Lopes, G. (2007) ‘Prospective logic agents’, in Neves, J.M., Santos, M.F. and Machado, J.M. (Eds.): Procs. 13th Portuguese Intl.Conf on Artificial Intelligence (EPIA’07), Springer LNAI.
22. Pereira, L.M. and Saptawijaya, A. (2007) ‘Moral decision making with ACORDA’, in Dershowitz, N. and Voronkov, A. (Eds.): Local Procs. 14th Intl. Conf. on Logic for Programming Artificial Intelligence and Reasoning (LPAR’07), short papers call.
23. Powers, T.M. (2006) ‘Prospects for a Kantian machine’, IEEE Intelligent Systems, Vol. 21, No. 4, pp.46–51.
24. Rzepka, R. and Araki, K. (2005) ‘What could statistics do for ethics? The idea of a commonsense-processing-based safety valve’, in Anderson, M., Anderson, S. and Armen, C. (Eds.): Machine Ethics: Papers from the AAAI Fall Symposium, AAAI Press.
25. Tancredi, L. (2005) Hardwired Behaviour, What Neuroscience Reveals about Morality, Cambridge UP.
26. XSB Prolog is available at http://xsb.sourceforge.net.
27. Smodels is available at http://www.tcs.hut.fi/Software/smodels.