A deductive solution for plan generation
New Generation Computing
Artificial Intelligence
Reasoning about action I: a possible worlds approach
Artificial Intelligence
Frames in the space of situations (research note)
Artificial Intelligence
A new deductive approach to planning
New Generation Computing
Artificial Intelligence
Artificial Intelligence - Special issue: artificial intelligence 40 years later
Counterfactuals and policy analysis in structural models
UAI'95 Proceedings of the Eleventh conference on Uncertainty in artificial intelligence
Hi-index | 0.02 |
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 counter-factual 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 show that our theory generalizes Pearl etal.'s characterization, based on causal models, of propositional counterfactuals.