Counterfactual Reasoning Based on Revising Assumptions (1991)
| Citations: | 23 - 13 self |
BibTeX
@MISC{Pereira91counterfactualreasoning,
author = {Luís Moniz Pereira and Joaquim Nunes Aparício and José Júlio Alferes and Pereira Joaquim},
title = {Counterfactual Reasoning Based on Revising Assumptions},
year = {1991}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We present a semantics for counterfactual implication relative to positive programs with integrity constraints and protected rules (unrevisable). A counterfactual truth evaluation is presented based on Contradiction Removal Semantics. We show the adequacy of CRS to define the notion of similarity needed for defining counterfactual truth. The concepts introduced by CRS are adequate to support the revision process required by contravening hypoteses when evaluating counterfactuals. 1 Introduction We present a semantics for counterfactual implication relative to positive logic programs with integrity constraints and protected (unrevisable) rules.The Contradiction Removal Semantics (CRS ) [PAA91a] setting employed is a suitable extension to well founded model semantics (WFS) [VGRS90], to deal with classical negation and contradiction, by allowing the revising of assumptions. Lewis [Lew73] is a classic essay on counterfactuals, and our basic definitions and concepts drawn on it. In the next...
