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.
From Defeasible Logic to Counterfactual Reasoning / Cristani, M; Governatori, G; Olivieri, F; Rotolo, A. - STAMPA. - 13752:(2022), pp. 65-80. [10.1007/978-3-031-21541-4_5]
From Defeasible Logic to Counterfactual Reasoning
Rotolo, A
2022
Abstract
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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.