Logic programming systems affording morality experiments

In Chap. 4 we show the appropriateness of LP-based reasoning features for representing diverse issues of moral facets identified in Chap. 3. In this chapter, we discuss how these LP-based reasoning features are synthesized in three different systems: Acorda (Sect. 7.1), Probabilistic EPA (Sect. 7.2), and Qualm (Sect. 7.3). Whereas the development of Qualm is a contribution of this book, Acorda [11, 12, 15] and Probabilistic EPA [9, 10, 14] are two existing systems that have been developed earlier, but not with any specific wide principled implementation of morality in mind, as we shall see. Though these systems share its main feature, viz., abduction, each system concern itself with a particular combination of features. Moreover, their shared feature, abduction, implements different techniques, indicating the progress made in the development of these three systems. The three systems are employed to model, here, for the first time, different issues of considered moral facets, depending on the need of their respective combination of features. Their applications are elaborated in the subsequent Chap. 8.