基于知识编译的产品线配置问题求解方法及系统

本发明提供了一种基于知识编译的产品线配置问题求解方法及系统，该方法包括：根据产品线配置问题中涉及的关键因素以及关键因素之间的约束关系得到产品线配置问题对应的产品线特征模型；将产品线特征模型编译为确定性可分解否定范式d‑DNNF结构模型；将结构模型中变量元素及其否定映射为图模型的变量节点，将结构模型中逻辑与节点、逻辑或节点映射为图模型中的与节点和或节点，将结构模型中变量元素之间的逻辑运算关系映射为图模型中变量节点和与节点、或节点之间的边，得到图模型；对图模型进行结构优化；获取产品线配置问题中指定的部分配置，在部分配置下对优化模型进行任务分析，并将分析结果应用于产品线配置问题的求解输出。