Counterfactuals in logic programming

Luís Moniz Pereira, Ari Saptawijaya

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

1 Citation (Scopus)


Counterfactuals capture the process of reasoning about a past event that did not occur, namely what would have happened had this event occurred; or, vice-versa, to reason about an event that did occur but what if it had not. In this chapter, we innovatively make use of LP abduction and updating in an implemented procedure for evaluating counterfactuals, taking the established structural approach of Pearl as reference. Our approach concentrates on pure non-probabilistic counterfactual reasoning in LP, resorting to abduction and updating, in order to determine the logical validity of counterfactuals under the Well-Founded Semantics. Nevertheless, the approach is adaptable to other semantics, too. Even though the LP technique introduced in this chapter is relevant for modeling counterfactual moral reasoning, its use is general, not specific to morality.

Original languageEnglish
Title of host publicationStudies in Applied Philosophy, Epistemology and Rational Ethics
PublisherSpringer International Publishing
Number of pages13
Publication statusPublished - 2016

Publication series

NameStudies in Applied Philosophy, Epistemology and Rational Ethics
ISSN (Print)2192-6255
ISSN (Electronic)2192-6263


Dive into the research topics of 'Counterfactuals in logic programming'. Together they form a unique fingerprint.

Cite this