Logic programming systems affording morality experiments

Luís Moniz Pereira, Ari Saptawijaya

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


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.

Original languageEnglish
Title of host publicationStudies in Applied Philosophy, Epistemology and Rational Ethics
PublisherSpringer International Publishing
Number of pages13
Publication statusPublished - 2016

Publication series

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


Dive into the research topics of 'Logic programming systems affording morality experiments'. Together they form a unique fingerprint.

Cite this