Formal representations of model-based reasoning and abduction