Model-Based Reasoning in Science and Technology. Inferential Models for Logic, Language, Cognition and Computation