基于约束逻辑程序设计的排课算法研究  

Constraint Logic Programming-based Course Timetabling Algorithm

作　　者：徐成刚[1] 易军凯[1] 肖洋[1] 

机构地区：[1]北京化工大学信息科学与技术学院,北京100029

出　　处：《计算机工程与应用》2006年第31期197-199,212,共4页Computer Engineering and Applications

基　　金：教育部留学回国人员科研启动基金

摘　　要：课程安排问题是典型的组合优化和不确定调度问题。采用约束逻辑程序设计的研究方法,结合课程安排自身的特点,通过约束推理找到最优的课程安排结果。约束逻辑程序设计综合了人工智能中一致性算法和启发式搜索算法,采用约束推理方法,能非常好地处理各种冲突,并且能快速地排出合理的课程。Course timetabling is one typical NP-complete problem.With Constraint Logic Programming and feature of course timetabling,the best solution is found via constraint reasoning.Constraint logic programming,which integrates consistency algorithm and heuristic search algorithm and adopts constraint reasoning,can deal with various conflicts very well and quickly get one reasonable solution.

关 键 词：排课 约束逻辑程序设计 时空元 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]