Online Model Based Reasoning In Science And Technology: Abduction, Logic, And Computational Discovery