一种基于案例和约束的排课系统

摘要

排课问题其本质就是时间表问题,属于典型的组合优化和不确定性调度问题,已经被证明为NP-Complete类问题.针对已有排课案例中大量知识和排课过程大量存在的教师和学生的特殊需求,提出了面向规则的形式化描述:TPQE描述体系,对排课问题中的强规则和弱规则进行了描述和形式化表示,同时提出了规则约束力的表示方法,设计了用于求解最大化WTPQE权值的算法--Weighted SAT,开发相应的原型系统.