- Full text PDF available (5)
This paper superimposes an assumption generation mechanism (AGM) and a lower bound propagation mechanism (LBM) on default reasoning. AGM generates minimal probabilistic assumptions which are needed to derive default conclusions safely, and LBM supplies (approximately) tight lower probability bounds of the conclusions. Together both mechanisms make default… (More)
After classifying relevance approaches into ante-, in-and post-validity approaches I present the replacement criterion for relevance and demonstrate some of its applications, in particular to theorem proving.