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