Theory, Modelling and AI