A LOGIC APPROACH TO THE RESOLUTION OF CONSTRAINTS IN TIMETABLING

被引：28
作者：
KANG, L
WHITE, GM
机构：
[1] Computer Science Department, University of Ottawa, Ottawa
来源：
EUROPEAN JOURNAL OF OPERATIONAL RESEARCH | 1992年 / 61卷 / 03期
关键词：
TIMETABLING; SCHEDULING; LOGIC PROGRAMMING; CONSTRAINT PROGRAMMING; EXPERT SYSTEMS; TRUTH MAINTENANCE SYSTEMS;
D O I：
10.1016/0377-2217(92)90360-L
中图分类号：
C93 [管理学];
学科分类号：
12 ; 1201 ; 1202 ; 120202 ;
摘要：
The construction of timetables involving three or more variables taking values from domains having thousands of values with several dozen constraints having different priorities is a problem common to many organizations. Various heuristic solutions have been proposed using results based on graph theory, mathematical programming and manual methods. We propose an approach based on logic programming using the first order predicate calculus. An algorithm has been developed, implemented in WPROLOG, and thoroughly tested on an Amdahl 5880 under VM HPL.
引用
收藏
页码：306 / 317
页数：12
相关论文
共 21 条
[1]   PREFERENTIAL COURSE SCHEDULING [J].
BLOOMFIELD, SD ;
MCSHARRY, MM .
INTERFACES, 1979, 9 (04) :24-32
[2]   NEW METHODS TO COLOR THE VERTICES OF A GRAPH [J].
BRELAZ, D .
COMMUNICATIONS OF THE ACM, 1979, 22 (04) :251-256
[3]  
CARTER MW, 1989, INFOR, V27, P230
[4]   CONSTRAINT LOGIC PROGRAMMING-LANGUAGES [J].
COHEN, J .
COMMUNICATIONS OF THE ACM, 1990, 33 (07) :52-68
[5]   AN INTRODUCTION TO TIMETABLING [J].
DEWERRA, D .
EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, 1985, 19 (02) :151-162
[6]   INTEGER PROGRAMMING VS EXPERT SYSTEMS - AN EXPERIMENTAL COMPARISON [J].
DHAR, V ;
RANGANATHAN, N .
COMMUNICATIONS OF THE ACM, 1990, 33 (03) :323-336
[7]  
DINCBAS M, 1988, 5TH P INT C S LOG PR, V1
[8]  
Even S., 1976, SIAM Journal on Computing, V5, P691, DOI 10.1137/0205048
[9]  
FELDMAN R, 1989, 11TH P INT JOINT C A, P1010
[10]   TIMETABLING PROBLEM FOR UNIVERSITY AS ASSIGNMENT OF ACTIVITIES TO RESOURCES [J].
FERLAND, JA ;
ROY, S .
COMPUTERS & OPERATIONS RESEARCH, 1985, 12 (02) :207-218
123