University Course Timetabling with Soft Constraints Hana Rudova, Keith Murray Presented by: Marlien Edward.

Slides:



Advertisements
Similar presentations
A Constraint Logic Programming Solution to the Teacher Relocation Problem Nagehan Ilhan Assoc.Prof.Dr Zeki Bayram Eastern Mediterranean University Famagusta.
Advertisements

Constraint Satisfaction taking advantage of internal structure of states when paths don’t matter.
School on Optimization, Le Croisic, 23-24, March, Hybrid Constraint Solving in ECLiPSe: Framework and Applications Farid AJILI, IC-Parc, Imperial.
Lecture 11 Last Time: Local Search, Constraint Satisfaction Problems Today: More on CSPs.
1 Constraint Satisfaction Problems A Quick Overview (based on AIMA book slides)
Introduction. IC-Parc2 ECLiPSe Components Constraint Logic Programming system, consisting of  A runtime core Data-driven computation, backtracking, garbage.
ICS-271:Notes 5: 1 Lecture 5: Constraint Satisfaction Problems ICS 271 Fall 2008.
Train platforming problem Ľudmila Jánošíková Michal Krempl University of Žilina, VŠB-Technical University of Ostrava, Slovak Republic Czech Republic.
/425 Declarative Methods - J. Eisner1 Constraint Programming.
PlanSIG, Dec, Temporal Plans and Resource Management Pieter Buzing & Cees Witteveen Delft University of Technology.
4 Feb 2004CS Constraint Satisfaction1 Constraint Satisfaction Problems Chapter 5 Section 1 – 3.
Constraint Logic Programming Ryan Kinworthy. Overview Introduction Logic Programming LP as a constraint programming language Constraint Logic Programming.
1 Optimisation Although Constraint Logic Programming is somehow focussed in constraint satisfaction (closer to a “logical” view), constraint optimisation.
Constraint Satisfaction Problems
A study of heuristic combinations for hyper- heuristic systems for the uncapacitated examination timetabling problem Kuo-Hsien Chuang 2009/02/24.
Embedded Systems Laboratory Department of Computer and Information Science Linköping University Sweden Formal Verification and Model Checking Traian Pop.
Better Ants, Better Life? Hybridization of Constraint Programming and Ant Colony Optimization Supervisors: Dr. Bernd Meyer, Dr. Andreas Ernst Martin Held.
Distributed Scheduling. What is Distributed Scheduling? Scheduling: –A resource allocation problem –Often very complex set of constraints –Tied directly.
CP Summer School Modelling for Constraint Programming Barbara Smith 1.Definitions, Viewpoints, Constraints 2.Implied Constraints, Optimization,
Introduction to Job Shop Scheduling Problem Qianjun Xu Oct. 30, 2001.
CONSTRAINT PROGRAMMING Computer Science Seminar April 9 th, 2004 Kerem Kacel.
ANTs PI Meeting, Nov. 29, 2000W. Zhang, Washington University1 Flexible Methods for Multi-agent distributed resource Allocation by Exploiting Phase Transitions.
Constraint Satisfaction Problems (CSPs) CPSC 322 – CSP 1 Poole & Mackworth textbook: Sections § Lecturer: Alan Mackworth September 28, 2012.
© J. Christopher Beck Lecture 26: Nurse Scheduling.
Chapter 5 Section 1 – 3 1.  Constraint Satisfaction Problems (CSP)  Backtracking search for CSPs  Local search for CSPs 2.
Constraint Propagation as the Core of Local Search Nikolaos Pothitos, George Kastrinis, Panagiotis Stamatopoulos Department of Informatics and Telecommunications.
FINAL EXAM SCHEDULER (FES) Department of Computer Engineering Faculty of Engineering & Architecture Yeditepe University By Ersan ERSOY (Engineering Project)
Decision Diagrams for Sequencing and Scheduling Andre Augusto Cire Joint work with David Bergman, Willem-Jan van Hoeve, and John Hooker Tepper School of.
Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems by Carla P. Gomes, Bart Selman, Nuno Crato and henry Kautz Presented by Yunho.
Hande ÇAKIN IES 503 TERM PROJECT CONSTRAINT SATISFACTION PROBLEMS.
Artificial Intelligence CS482, CS682, MW 1 – 2:15, SEM 201, MS 227 Prerequisites: 302, 365 Instructor: Sushil Louis,
Introduction to Problem Solving. Steps in Programming A Very Simplified Picture –Problem Definition & Analysis – High Level Strategy for a solution –Arriving.
CP Summer School Modelling for Constraint Programming Barbara Smith 4. Combining Viewpoints, Modelling Advice.
Problem Modeling (2) Presented by: Amira Gamaleldin Marlien Edward Mounir Stino Thursday, 20 July 2006.
CSC 423 ARTIFICIAL INTELLIGENCE Constraint Satisfaction Problems.
1 Chapter 5 Constraint Satisfaction Problems. 2 Outlines  Constraint Satisfaction Problems  Backtracking Search for CSPs  Local Search for CSP  The.
Constraint Systems Laboratory 11/26/2015Zhang: MS Project Defense1 OPRAM: An Online System for Assigning Capstone Course Students to Sponsored Projects.
Solving Problems by searching Well defined problems A probem is well defined if it is easy to automatically asses the validity (utility) of any proposed.
Roman Barták Visopt B.V. (NL) / Charles University (CZ) IP&S in complex and dynamic areas Visopt Experience.
System Demonstration of Interactive Course Timetabling Tomᡠs M uller¨ · Keith Murray · Hana Rudová * 1 Introduction This system demonstration presents.
Constraints and Search Toby Walsh Cork Constraint Computation Centre (4C) Logic & AR Summer School, 2002.
CONSTRAINT-BASED SCHEDULING AND PLANNING Speaker: Olufikayo Adetunji CSCE 921 4/08/2013Olufikayo Adetunji 1 Authors: Philippe Baptiste, Philippe Laborie,
CHAPTER 5 SECTION 1 – 3 4 Feb 2004 CS Constraint Satisfaction 1 Constraint Satisfaction Problems.
1. 2 Outline of Ch 4 Best-first search Greedy best-first search A * search Heuristics Functions Local search algorithms Hill-climbing search Simulated.
Production Scheduling Lorena Kawas lk2551 Raul Galindo rg2802.
Chapter 5 Team Teaching AI (created by Dewi Liliana) PTIIK Constraint Satisfaction Problems.
Constraint Satisfaction CSE 473 University of Washington.
Paper Presentation Classroom Assignment using Constraint Logic Programming [Slim Abdennadher, Matthias Saft, Sebastian Will] University of Munich Presented.
Operators A binary operator combines two values to get one result: x OP y where OP is any binary operators such as +, -, *, /, ==, !=, >, &&, or even =.
Tommy Messelis * Stefaan Haspeslagh Burak Bilgin Patrick De Causmaecker Greet Vanden Berghe *
Roman Barták (Charles University in Prague, Czech Republic) ACAT 2010.
1 Constraint Satisfaction Problems (CSP). Announcements Second Test Wednesday, April 27.
Alternative Search Formulations and Applications
& Urban Planning Civil Engineering Department
Scheduling with Constraint Programming
Constraint Satisfaction Problems Lecture # 14, 15 & 16
Constraint-based heuristics for amphibious embarkation planning
Robert Glaubius and Berthe Y. Choueiry
Biointelligence Lab School of Computer Sci. & Eng.
Artificial Intelligence
Database Systems Instructor Name: Lecture-9.
Class #20 – Wednesday, November 5
Biointelligence Lab School of Computer Sci. & Eng.
Constraint satisfaction problems
Presented By: Darlene Banta
COURSE CATCHER Business Proposition
Presented by: Amira Gamaleldin Marlien Edward Mounir Stino
Constraint Satisfaction Problems
Constraint satisfaction problems
Constraint Satisfaction Problems (CSP)
Presentation transcript:

University Course Timetabling with Soft Constraints Hana Rudova, Keith Murray Presented by: Marlien Edward

Introducing the Authors Hana Rudova : Faculty of Informatics, Masaryk University Czech Republic Keith Murray: Space Management and Academic Scheduling, Purdue University, USA

Introduction  Using CLP to construct a huge automated timetabling system at Purdue university  Declarative nature of problem description  Constraint propagation technique for reducing search space  Features of the problem  Demand driven  Different variables have different preferences  Over constrained

Problem Description  Class combination meeting student’s needs  Classroom allocation respecting both instructional requirements and faculty preferences (e.g. time requirements or class preference)  Students sectioning to be easy to measure the desirability and undesirability of classes overlap

Managing Soft Constraints Preference constraint solver Handles preference values for preference variables  Zero preference: complete satisfaction  Higher preferences: expresses the degree of violation  Values not present in the preference variable domain: infinite preference **The preference solver maintains a cost variable for each preference variable having the best preference variable as its lower bound

Managing Soft Constraints (contd) Types of Soft Constraints: 1.Unary on time variables  faculty time preference 2.Unary on classroom variables  faculty preferences on the classroom selection 3.Binary for joint enrollment between two classes

Searching Aim: is to search for a complete assignment of preference variables to achieve the best satisfaction of all constraints Technique: initial partial assignment of the variables then repair it such that most of the variables are assigned values

Managing Hard Constraints Some useful constraints:  disjoint2 (+Rectangles) To ensure that each class is assigned to just one suitable classroom  cumulative (+Starts, +Durations, +Resources, ?Limit) To ensure that a resource can run several tasks in parallel

Conclusion Solution included:  New solver for soft constraints  Repair search for finding a solution  Some constraints for stronger constraint propagation Future work:  Extension of problem solution  Improving the preference solver  New approach for initial student sectioning