Agent morality via counterfactuals in logic programming

Lúis Moniz Pereira, Ari Saptawijaya

Research output: Contribution to journalConference articlepeer-review

5 Citations (Scopus)


This paper presents a computational model, via Logic Programming (LP), of counterfactual reasoning with applications to agent morality. Counterfactuals are conjectures about what would have happened, had an alternative event occurred. In the first part, we show how counterfactual reasoning, inspired by Pearl's structural causal model of counterfactuals, is modeled using LP, by benefiting from LP abduction and updating. In the second part, counterfactuals are applied to agent morality, resorting to this LP-based approach. We demonstrate its potential for specifying and querying moral issues, by examining viewpoints on moral permissibility via classic moral principles and examples taken from the literature. Finally, we discuss some potential extensions of our LP approach to cover other aspects of counterfactual reasoning and show how these aspects are relevant in modeling agent morality.

Original languageEnglish
Pages (from-to)39-53
Number of pages15
JournalCEUR Workshop Proceedings
Publication statusPublished - 2017
Event2017 Workshop on Bridging the Gap between Human and Automated Reasoning - Is Logic and Automated Reasoning a Foundation for Human Reasoning?, Bridging 2017 - London, United Kingdom
Duration: 26 Jul 2017 → …


  • Abduction
  • Counterfactuals
  • Logic programming
  • Morality
  • Non-monotonic reasoning


Dive into the research topics of 'Agent morality via counterfactuals in logic programming'. Together they form a unique fingerprint.

Cite this