Modeling morality using logic programming

Luís Moniz Pereira, Ari Saptawijaya

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

2 Citations (Scopus)


This chapter aims at realizing our conception about representing diverse moral facets in Logic Programming, by modeling several issues pertaining to those moral facets, using the three systems discussed in Chap. 7. The applicability of these systems corresponds with their relevance to the moral issues being modeled. In Sect. 8.1, Acorda is employed to model moral permissibility, emphasizing the use of integrity constraints in abduction and preferences over abductive scenarios, where several cases of the classic trolley problem aremodeled. Then, moral reasoning concerning uncertain actions is modeled, in Sect. 8.2, by means of Probabilistic EPA. Finally, we demonstrate the use of Qualm for modeling the issue of moral updating and counterfactual moral reasoning, in Sect. 8.3.

Original languageEnglish
Title of host publicationStudies in Applied Philosophy, Epistemology and Rational Ethics
Place of PublicationCham
PublisherSpringer International Publishing
Number of pages29
ISBN (Electronic)978-3-319-29354-7
ISBN (Print)978-3-319-29353-0
Publication statusPublished - 2016

Publication series

NameStudies in Applied Philosophy, Epistemology and Rational Ethics
PublisherSpringer International Publishing
ISSN (Print)2192-6255
ISSN (Electronic)2192-6263


  • Robots
  • Robotics
  • Machine ethics


Dive into the research topics of 'Modeling morality using logic programming'. Together they form a unique fingerprint.

Cite this