基于约束满足的智能组卷方法的研究与实现

智能组卷是一个典型的约束满足问题。首先对传统的组卷问题的定量的评价准则进行了分析，说明了它在实际应用中存在的问题，引入了智能组卷的四种不同的约束类型：强约束、亚约束、柔性约束和弱约束的概念，提出了一种定性定量相结合的评价体系。针对智能组卷的约束满足问题的特殊性，该文运用启发式知识，采用了生成测试和局部修正相结合的约束满足方法，进行智能组卷，取得良好效果。文中提出的方法在国家物理试题库智能组卷系统中的应用，受到有关专家的肯定。