A Theory of First-Order Counterfactual Reasoning [chapter]

Michael Thielscher
1999 Lecture Notes in Computer Science  
A new theory of evaluating counterfactual statements is presented based on the established predicate calculus formalism of the Fluent Calculus for reasoning about actions. The assertion of a counterfactual antecedent is axiomatized as the performance of a special action. An existing solution to the Ramification Problem in the Fluent Calculus, where indirect effects of actions are accounted for via causal propagation, allows to deduce the immediate consequences of a counterfactual condition. We
more » ... how that our theory generalizes Pearl etal.'s characterization, based on causal models, of propositional counterfactuals.
doi:10.1007/3-540-48238-5_11 fatcat:h42kd7sk3nbmro4lvsfbvycdtu