Logic programming for modeling morality

Ari Saptawijaya, Luís Moniz Pereira

Research output: Contribution to journalArticlepeer-review

2 Citations (Scopus)


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.

Original languageEnglish
Pages (from-to)510-525
Number of pages16
JournalLogic Journal of the IGPL
Issue number4
Publication statusPublished - 1 Aug 2016


  • Applications
  • Computational morality
  • Dual-process model
  • Logic programming
  • Machine ethics
  • QUALM system


Dive into the research topics of 'Logic programming for modeling morality'. Together they form a unique fingerprint.

Cite this