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