索引 F:\25年新站httpsli.1txs.topbf9454\2025-11-12\已整理\整2\YSD定稿已录\理学院\信息与计算科学 一种带逻辑约束的前提选择模型10.68-AI15.1