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

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

一种排课问题的形式化描述体系和框架

排课问题主要解决时间和空间资源冲突,以优化教学资源和教学时间的分配,实现教学资源的负载均衡。提出一种新的排课约束的表述框架——时间地点限定表达式,可以通过形式推理缩减排课问题空间,支持基于案例和规则的排课问题求解。