Abduction in the context of a reasoning process: the SCIFF framework