Towards modeling morality computationally with logic programming

Ari Saptawijaya, Luís Moniz Pereira

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

14 Citations (Scopus)


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: dual-process model (reactive and deliberative) in moral judgments; justification of moral judgments by contractualism; and intention in moral permissibility. The research aims at developing an LP-based system with features needed in modeling moral settings, putting emphasis on modeling these above mentioned morality aspects. We have currently co-developed two essential ingredients of the LP system, i.e., abduction and logic program updates, by exploiting the benefits of tabling features in logic programs. They serve as the basis for our whole system, into which other reasoning facets will be integrated, to model the surmised morality aspects. Moreover, we touch upon the potential of our ongoing studies of LP based cognitive features for the emergence of computational morality, in populations of agents enabled with the capacity for intention recognition, commitment and apology.

Original languageEnglish
Title of host publicationPractical Aspects of Declarative Languages - 16th International Symposium, PADL 2014, Proceedings
Number of pages16
Publication statusPublished - 2014
Event15th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2014 - San Diego, CA, United States
Duration: 20 Jan 201421 Jan 2014

Publication series

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


Conference15th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2014
Country/TerritoryUnited States
CitySan Diego, CA


  • abduction
  • argumentation
  • deliberative reasoning
  • emergence
  • morality
  • program updates
  • reactive behavior


Dive into the research topics of 'Towards modeling morality computationally with logic programming'. Together they form a unique fingerprint.

Cite this