Advertisement

Modelling Moral Reasoning and Ethical Responsibility with Logic Programming

  • Fiona Berreby
  • Gauvain Bourgne
  • Jean-Gabriel Ganascia
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9450)

Abstract

In this paper, we investigate the use of high-level action languages for representing and reasoning about ethical responsibility in goal specification domains. First, we present a simplified Event Calculus formulated as a logic program under the stable model semantics in order to represent situations within Answer Set Programming. Second, we introduce a model of causality that allows us to use an answer set solver to perform reasoning over the agent’s ethical responsibility. We then extend and test this framework against the Trolley Problem and the Doctrine of Double Effect. The overarching aim of the paper is to propose a general and adaptable formal language that may be employed over a variety of ethical scenarios in which the agent’s responsibility must be examined and their choices determined. Our fundamental ambition is to displace the burden of moral reasoning from the programmer to the program itself, moving away from current computational ethics that too easily embed moral reasoning within computational engines, thereby feeding atomic answers that fail to truly represent underlying dynamics.

References

  1. 1.
    Anderson, M., Anderson, S.: Machine Ethics. Cambridge University Press, Cambridge (2011)CrossRefGoogle Scholar
  2. 2.
    Beauchamp, T., Childress, J.: Principles of Biomedical Ethics. Oxford University Press, New York (2001)Google Scholar
  3. 3.
    Beebee, H., Hitchcock, C., Menzies, P.: The Oxford Handbook of Causation. Oxford University Press, New York (2009)CrossRefGoogle Scholar
  4. 4.
    Feinberg, J.: Doing & Deserving Essays in The Theory of Responsibility. Princeton University Press, Princeton (1970)Google Scholar
  5. 5.
    Foot, P.: The problem of abortion and the doctrine of the double effect. In: Applied Ethics: Critical Concepts in Philosophy, vol. 2, p. 187 (2002)Google Scholar
  6. 6.
    Gelfond, M.: Answer sets. Found. Artif. Intell. 3, 285–316 (2008)CrossRefGoogle Scholar
  7. 7.
    Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Gener. Comput. 9, 365–385 (1991)CrossRefGoogle Scholar
  8. 8.
    Halpern, J., Hitchcock, C.: Actual causation and the art of modelling. In: Dechter, R., Geffner, H., Halpern, J. (eds.) Heuristics, Probability, and Causality (2010)Google Scholar
  9. 9.
    Halpern, J., Pearl, J.: Causes and explanations: a structural-model approach. Part I: causes. Br. J. Philos. Sci. 56(4), 843–887 (2005)zbMATHMathSciNetCrossRefGoogle Scholar
  10. 10.
    Hopkins, M., Pearl, J.: Causality and counterfactuals in the situation calculus. J. Logic Comput. 17(5), 939–953 (2007)zbMATHMathSciNetCrossRefGoogle Scholar
  11. 11.
    Horty, J.: Defeasible deontic logic. In: Nute, D. (ed.) Nonmonotonic Foundations for Deontic Logic. Springer, The Netherlands (1997)CrossRefGoogle Scholar
  12. 12.
    Hume, D.: A Treatise of Human Nature. Courier Corporation, Mineola (2012)Google Scholar
  13. 13.
    Kamm, F.M.: The doctrine of triple effect and why a rational agent need not intend the means to his end: Frances M. Kamm. Aristotelian Soc. Suppl. 74, 21–39 (2000)CrossRefGoogle Scholar
  14. 14.
    Kment, B.: Modality and Explanatory Reasoning. Oxford University Press, Oxford (2014)CrossRefGoogle Scholar
  15. 15.
    Kowalski, R.: Computational Logic and Human Thinking: How To Be Artificially Intelligent. Cambridge University Press, Cambridge (2011)CrossRefGoogle Scholar
  16. 16.
    Kowalski, R., Sergot, M.: A logic-based calculus of events. In: Schmidt, J.W., Thanos, C. (eds.) Foundations of Knowledge Base Management, pp. 23–55. Springer, Heidelberg (1989)CrossRefGoogle Scholar
  17. 17.
    Lee, J., Palla, R.: Reformulating the situation calculus and the event calculus in the general theory of stable models and in answer set programming. J. Artif. Intell. Res. 43(1), 571–620 (2012)zbMATHMathSciNetGoogle Scholar
  18. 18.
    Lévy, F., Quantz, J.: Representing beliefs in a situated event calculus. In: Proceedings of the 13th European Conference on Artificial Intelligence. Citeseer (1997)Google Scholar
  19. 19.
    Liao, S.M.: The loop case and Kamm’s doctrine of triple effect. Philos. Stud. 146(2), 223–231 (2009)CrossRefGoogle Scholar
  20. 20.
    Locke, J.: Two Treatises of Government. C. and J. Rivington, London (1824)Google Scholar
  21. 21.
    Mikhail, J.: Universal moral grammar: theory, evidence and the future. Trends Cogn. Sci. 11(4), 143–152 (2007)CrossRefGoogle Scholar
  22. 22.
    Miller, R., Shanahan, M.: Some alternative formulations of the event calculus. In: Kakas, A.C., Sadri, F. (eds.) computational logic: logic programming and beyond. LNCS (LNAI), vol. 2408, p. 452. Springer, Heidelberg (2002) CrossRefGoogle Scholar
  23. 23.
    Mueller, E.T.: Commonsense Reasoning: An Event Calculus Based Approach. Elsevier Science, Amsterdam (2014)Google Scholar
  24. 24.
    Pearl, J.: Causal diagrams for empirical research. Biometrika 82(4), 669–688 (1995)zbMATHMathSciNetCrossRefGoogle Scholar
  25. 25.
    Pearl, J.: Causality: models, reasoning, and inference. Econometric Theo. 19, 675–685 (2003)Google Scholar
  26. 26.
    Pereira, L.M., Saptawijaya, A.: Modelling morality with prospective logic. In: Neves, J., Santos, M.F., Machado, J.M. (eds.) EPIA 2007. LNCS (LNAI), vol. 4874, pp. 99–111. Springer, Heidelberg (2007) CrossRefGoogle Scholar
  27. 27.
    Pereira, L.M., Saptawijaya, A.: Moral decision making with ACORDA. In: Short Paper LPAR, vol. 7 (2007)Google Scholar
  28. 28.
    Ridley, A.: Beginning Bioethics: A Text with Integrated Readings. Bedford, New York (1998)Google Scholar
  29. 29.
    Singer, P.: Ethics and intuitions. J. Ethics 9(3–4), 331–352 (2005)CrossRefGoogle Scholar
  30. 30.
    Sosa, E., Tooley, M.: Causation, vol. 27. Oxford University Press, Oxford (1993)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2015

Authors and Affiliations

  • Fiona Berreby
    • 1
  • Gauvain Bourgne
    • 1
  • Jean-Gabriel Ganascia
    • 1
  1. 1.LIP6University Pierre and Marie CurieParisFrance

Personalised recommendations