Towards Modeling Morality Computationally with Logic Programming

We investigate the potential of logic programming (LP) to model morality aspects studied in philosophy and psychology. We do so by identifying three morality aspects that appear, in our view, amenable to computational modeling by appropriately exploiting LP features: the dual-process model (reactive and deliberative) in moral judgments; justification of moral judgments by contractualism; and…