Logic programming for modeling morality

This article investigates the appropriateness of LP-based reasoning to machine ethics, an interdisciplinary field of inquiry that emerges from the need of imbuing autonomous agents with the capacity for moral decision making. The first contribution of the article is that of identifying morality viewpoints, as studied in moral philosophy and psychology, which are amenable to computational modelling, and then mapping them to appropriate LP-based reasoning features. The identified viewpoints are covered by two morality themes: moral permissibility and the dual-process model. In the second contribution, various LP-based reasoning features are applied to model these identified morality viewpoints, via classic moral examples taken offthe-shelf from the literature. For this purpose, our Qualm system, which features a combination of LP abduction, updating and counterfactuals, supported by LP tabling mechanisms, are mainly employed. The applications are also supported by other existing LP-based systems, featuring preference handling and probabilistic reasoning, which complement Qualm in addressing the morality viewpoints in question.