Skip to main content
SpringerLink
Log in

Representing Morality in Logic Programming

  • Chapter
  • First Online:
Programming Machine Ethics

Part of the book series: Studies in Applied Philosophy, Epistemology and Rational Ethics ((SAPERE,volume 26))

  • 755 Accesses

Abstract

This chapter provides necessary background of Logic Programming (LP) used throughout this book, including semantics of Logic Programs (particularly the Stable Model and the Well-Founded Semantics). The subsequent part of this chapter briefly overview considered LP reasoning features: abduction, preferences, probabilistic LP, updating, LP counterfactuals, and tabling. Moreover, the appropriateness of these features for representing and reasoning about diverse issues of moral facets tackled in this book is discussed.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 69.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 89.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 119.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    In the sequel, unless otherwise specified, we generally write logic programs to refer to normal logic programs.

  2. 2.

    In the sequel, we simply write interpretations and models to refer to Herbrand interpretations and Herbrand models, respectively.

  3. 3.

    In practice, the body of a program rule may contain non-ground abducibles, but they have to be ground when abduced.

References

  1. Alferes, J.J., Banti, F., Brogi, A., Leite, J.A.: The refined extension principle for semantics of dynamic logic programming. Stud. Log. 79(1), 7–32 (2005)

    Article  Google Scholar 

  2. Alferes, J.J., Brogi, A., Leite, J.A., Pereira, L.M.: Evolving logic programs. In: Proceedings of the European Conference on Artificial Intelligence (JELIA 2002). LNCS, vol. 2424, pp. 50–61. Springer, Berlin (2002)

    Google Scholar 

  3. Alferes, J.J., Leite, J.A., Pereira, L.M., Przymusinska, H., Przymusinski, T.: Dynamic updates of non-monotonic knowledge bases. J. Log. Program. 45(1–3), 43–70 (2000)

    Article  Google Scholar 

  4. Alferes, J.J., Pereira, L.M.: Reasoning with Logic Programming. In: LNAI, vol. 1111. Springer, Berlin (1996)

    Google Scholar 

  5. Alferes, J.J., Pereira, L.M., Swift, T.: Abduction in well-founded semantics and generalized stable models via tabled dual programs. Theory Pract. Log. Program. 4(4), 383–428 (2004)

    Article  Google Scholar 

  6. Baral, C., Gelfond, M., Rushton, N.: Probabilistic reasoning with answer sets. Theory Pract. Log. Program. 9(1), 57–144 (2009)

    Article  Google Scholar 

  7. Baral, C., Hunsaker, M.: Using the probabilistic logic programming language P-log for causal and counterfactual reasoning and non-naive conditioning. In: Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI) (2007)

    Google Scholar 

  8. Bidoit, N., Froidevaux, C.: General logic databases and programs: default logic semantics and stratification. J. Inf. Comput. 91(1), 15–54 (1991)

    Article  Google Scholar 

  9. Cushman, F., Young, L., Greene, J.D.: Multi-system moral psychology. In: Doris, J.M. (ed.) The Moral Psychology Handbook. Oxford University Press, Oxford (2010)

    Google Scholar 

  10. Dell’Acqua, P., Pereira, L.M.: Preferential theory revision. J. Appl. Log. 5(4), 586–601 (2007)

    Article  Google Scholar 

  11. Eiter, T., Fink, M., Sabbatini, G., Tompits, H.: On properties of update sequences based on causal rejection. Theory Pract. Log. Program. 6(2), 721–777 (2002)

    Google Scholar 

  12. Epstude, K., Roese, N.J.: The functional theory of counterfactual thinking. Personal. Soc. Psychol. Rev. 12(2), 168–192 (2008)

    Article  Google Scholar 

  13. Evans, J.: Biases in deductive reasoning. In: Pohl, R. (ed.) Cognitive Illusions: A Handbook on Fallacies and Biases in Thinking, Judgement and Memory. Psychology Press, Hove (2012)

    Google Scholar 

  14. Evans, J., Barston, J.L., Pollard, P.: On the conflict between logic and belief in syllogistic reasoning. Mem. Cogn. 11(3), 295–306 (1983)

    Article  Google Scholar 

  15. Fitting, M.: A Kripke-Kleene semantics for logic programs. J. Log. Program. 2(4), 295–312 (1985)

    Article  Google Scholar 

  16. Gelfond, M.: On stratified autoepistemic theories. In: Proceedings of the 6th National Conference on Artificial Intelligence (AAAI) (1987)

    Google Scholar 

  17. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proceedings of the 5th International Logic Programming Conference. MIT Press, Cambridge (1988)

    Google Scholar 

  18. Han, T.A.: Evolution prospection with intention recognition via computational logic. Master’s thesis, Technische Universität Dresden and Universidade Nova de Lisboa (2009)

    Google Scholar 

  19. Han, T.A., Ramli, C.D.K., Damásio, C.V.: An implementation of extended P-log using XASP. In: Proceedings of the 24th International Conference on Logic Programming (ICLP). LNCS, vol. 5366. Springer, Heidelberg (2008)

    Google Scholar 

  20. Hartshorne, C., Weiss, P. (eds.): Collected Papers of Charles Sanders Peirce. Elements of Logic, vol. II. Harvard University Press, Cambridge (1932)

    Google Scholar 

  21. Kakas, A., Kowalski, R., Toni, F.: Abductive logic programming. J. Log. Comput. 2(6), 719–770 (1992)

    Article  Google Scholar 

  22. Leite, J.A.: Evolving Knowledge Bases: Specification and Semantics. Frontiers in Artificial Intelligence and Applications. IOS Press, Amsterdam (2003)

    Google Scholar 

  23. Lopes, G.: A computational approach to introspective consciousness in logic programming: ACORDA. Master’s thesis, Universidade Nova de Lisboa (2006)

    Google Scholar 

  24. Lopes, G., Pereira, L.M.: Prospective programming with ACORDA. In: Empirically Successful Computerized Reasoning (ESCoR 2006) Workshop, IJCAR (2006)

    Google Scholar 

  25. McCloy, R., Byrne, R.M.J.: Counterfactual thinking about controllable events. Mem. Cogn. 28, 1071–1078 (2000)

    Article  Google Scholar 

  26. Migliore, S., Curcio, G., Mancini, F., Cappa, S.F.: Counterfactual thinking in moral judgment: an experimental study. Front. Psychol. 5, 451 (2014)

    Article  Google Scholar 

  27. Newman, J.O.: Quantifying the standard of proof beyond a reasonable doubt: a comment on three comments. Law Probab. Risk 5(3–4), 267–269 (2006)

    Google Scholar 

  28. Pereira, L.M., Dell’Acqua, P., Pinto, A.M., Lopes, G.: Inspecting and preferring abductive models. In: Nakamatsu, K., Jain, L.C. (eds.) The Handbook on Reasoning-Based Intelligent Systems, pp. 243–274. World Scientific Publishers, Singapore (2013)

    Google Scholar 

  29. Pereira, L.M., Dietz, E.A., Hölldobler, S.: Contextual abductive reasoning with side-effects. Theory Pract. Log. Program. 14(4–5), 633–648 (2014)

    Article  Google Scholar 

  30. Pereira, L.M., Han, T.A.: Evolution prospection. In: Proceedings of the 1st KES International Symposium on Intelligent Decision Technologies (IDT), vol. 199, pp. 139–150 (2009)

    Google Scholar 

  31. Pereira, L.M., Lopes, G.: Prospective logic agents. Int. J. Reason. Based Intell. Syst. 1(3/4), 200–208 (2009)

    Article  Google Scholar 

  32. Poole, D.: The independent choice logic for modelling multiple agents under uncertainty. Artif. Intell. 94(1–2), 7–56 (1997)

    Article  Google Scholar 

  33. Przymusinski, T.C.: Every logic program has a natural stratification and an iterated least fixed point model. In: Proceedings of the 8th ACM Symposium on Principles Of Database Systems (PODS), pp. 11–21 (1989)

    Google Scholar 

  34. Przymusinski, T.C.: Three-valued non-monotonics formalisms and logic programming. In: Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR) (1989)

    Google Scholar 

  35. Przymusinska, H., Przymusinski, T.C.: Semantic issues in deductive databases and logic programs. In: Formal Techniques in Artificial Intelligence: A Sourcebook, pp. 321–367. North-Holand, Amsterdam (1990)

    Google Scholar 

  36. Raedt, L.D., Kimmig, A., Toivonen, H.: ProbLog: a probabilistic prolog and its application in link discovery. In: Proceeidngs of the 20th International Joint Conference on Artificial Intelligence (IJCAI) (2007)

    Google Scholar 

  37. Riguzzi, F., Swift, T.: The PITA system: tabling and answer subsumption for reasoning under uncertainty. Theory Pract. Log. Program. 11(4–5), 433–449 (2011)

    Article  Google Scholar 

  38. Riguzzi, F., Swift, T.: Probabilistic logic programming under the distribution semantics. To appear in Festschrift in honor of David S. Warren. Available from http://coherentknowledge.com/wp-content/uploads/2013/05/plp-festschrift-paper-TS+FR.pdf (2014)

  39. Sato, T.: A statistical learning method for logic programs with distribution semantics. In: Proceeidngs of the 12th International Conference on Logic Programming (ICLP) (1995)

    Google Scholar 

  40. Swift, T., Warren, D.S.: XSB: extending prolog with tabled logic programming. Theory Pract. Log. Program. 12(1–2), 157–187 (2012)

    Article  Google Scholar 

  41. Swift, T., Warren, D.S., Sagonas, K., Freire, J., Rao, P., Cui, B., Johnson, E., de Castro, L., Marques, R.F., Saha, D., Dawson, S., Kifer, M.: The XSB System Version 3.6.x Volume 1: Programmer’s Manual (2015)

    Google Scholar 

  42. Vennekens, J., Bruynooghe, M., Denecker, M.: Embracing events in causal modeling: interventions and counterfactuals in CP-logic. In: JELIA. LNCS, vol. 6341, pp. 313–325. Springer, Heidelberg (2010)

    Google Scholar 

  43. van Emden, M.H., Kowalski, R.: The semantics of predicate logic as a programming language. J. ACM 4(23), 733–742 (1976)

    Article  Google Scholar 

  44. van Gelder, A., Ross, K.A., Schlipf, J.S.: The well-founded semantics for general logic programs. J. ACM 38(3), 620–650 (1991)

    Google Scholar 

  45. Vennekens, J., Verbaeten, S., Bruynooghe, M.: Logic programs with annotated disjunctions. In: Proceedings of the 20th International Conf. on Logic Programming (ICLP). LNCS, vol. 3132. Springer, Heidelberg (2004)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. NOVA Laboratory for Computer Science and Informatics, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, Caparica, Portugal

    Luís Moniz Pereira

  2. Faculty of Computer Science, Universitas Indonesia, Depok, Indonesia

    Ari Saptawijaya

Authors
  1. Luís Moniz Pereira
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ari Saptawijaya
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Luís Moniz Pereira .

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this chapter

Cite this chapter

Pereira, L.M., Saptawijaya, A. (2016). Representing Morality in Logic Programming. In: Programming Machine Ethics. Studies in Applied Philosophy, Epistemology and Rational Ethics, vol 26. Springer, Cham. https://doi.org/10.1007/978-3-319-29354-7_4

Download citation

Publish with us

Policies and ethics

Search

Navigation