Significant moral facets amenable to logic programming

This chapter reports on our literature study in moral philosophy and psychology for choosing conceptual viewpoints close to LP-based reasoning. These viewpoints fall into threemoral facets tackled in this book. In Sect. 3.1 we study moral permissibility, taking into account the Doctrines of Double Effect [20], Triple Effect [15], and Scanlonian contractualism [27].We look into the dual-process model [4, 7, 17, 30], in Sect. 3.2, that stresses the interaction between deliberative and reactive processes in delivering moral decisions. Finally, in Sect. 3.3 we discuss the role of counterfactual thinking in moral reasoning.