Modeling morality using logic programming

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.