Defaults and Counterfactuals

摘要

The authors show how defaults can be used for counterfactual reasoning. They use a framework of modal logic to reason about both defaults and counterfactuals, in which one can express certainties, possibilities, actualities and (preferred or practical) beliefs in a distinct manner. Finally, the authors discuss some properties of their approach in relation with other approaches in the literature.