和速度如何随时间而变化。然后可以对该模型进行检验，看看它是否可以精确地预测未来的观测结果；天文学家们可以验证，模型中天体的位置随时间的变化，与行星的实际位置相匹配。对于大多数星球来说，牛顿力学模型的预测是精确的；而对于水星来说，则有些不精确，必须使用广义相对论模型来代替。“语义学”一词指的是，一个代表真实世界的模型的方式。这种“代表”描述了一个现象的各个方面，或者一组现象间的交互行为。例如，一所房屋或是太阳系的比例模型，显然并不是实际的房屋或者实际的太阳系；比例模型只有以某种有限的方式代表实际的物体，表