From Defeasible Logic to Counterfactual Reasoning

Counterfactual reasoning has been the subject of extensive study in philosophy, logics, and AI. The connection between counterfactual reasoning and theory revision is well-known since Ramsey's intuition, according to which "to find out whether the counterfactual `if A were true, then B would be true' is satisfied in a state S, change the state S minimally to include A, and test whether B is satisfied in the resulting state". In this paper we study how to model this idea in Defeasible Logic for devising logics for counterfactual reasoning and suitable selection function models.