Modelling morality with prospective logic

Luís Moniz Pereira, Ari Saptawijaya

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

36 Citations (Scopus)


This paper shows how moral decisions can be drawn computationally by using prospective logic programs. These are employed to model moral dilemmas, as they are able to prospectively look ahead at the consequences of hypothetical moral judgments. With this knowledge of consequences, moral rules are then used to decide the appropriate moral judgments. The whole moral reasoning is achieved via a priori constraints and a posteriori preferences on abductive stable models, two features available in prospective logic programming. In this work we model various moral dilemmas taken from the classic trolley problem and employ the principle of double effect as the moral rule. Our experiments show that preferred moral decisions, i.e. those following the principle of double effect, are successfully delivered.

Original languageEnglish
Title of host publicationProgress in Artificial Intelligence - 13th Portuguese Conference on Artificial Intelligence, EPIA 2007 Workshops
Subtitle of host publicationGAIW, AIASTS, ALEA, AMITA, BAOSW BI, CMBSB, IROBOT, MASTA, STCS, and TEMA, Proceedings
PublisherSpringer Verlag
Number of pages13
ISBN (Print)9783540770008
Publication statusPublished - 2007
Event13th Portuguese Conference on Artificial Intelligence, EPIA 2007 Workshops - Guimaraes, Portugal
Duration: 3 Dec 20077 Dec 2007

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4874 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference13th Portuguese Conference on Artificial Intelligence, EPIA 2007 Workshops


Dive into the research topics of 'Modelling morality with prospective logic'. Together they form a unique fingerprint.

Cite this