Abduction in the Context of a Reasoning Process: the SCIFF Framework