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

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