理论上决策支持系统模型的构成往往都包括4个库，分别是知识库、数据库、模型库和______。