An Interactive System for Hiring & Managing Graduate Teaching Assistants Ryan Lim Venkata Praveen Guddeti Berthe Y. Choueiry Constraint Systems Laboratory.

Slides:



Advertisements
Similar presentations
Work-based learning Click on the speaker on each slide to learn more!
Advertisements

ARCHITECTURES FOR ARTIFICIAL INTELLIGENCE SYSTEMS
Leena Suhl University of Paderborn, Germany
MBD and CSP Meir Kalech Partially based on slides of Jia You and Brian Williams.
IBM Labs in Haifa © 2005 IBM Corporation Adaptive Application of SAT Solving Techniques Ohad Shacham and Karen Yorav Presented by Sharon Barner.
1 Restart search techniques for Employee Timetabling Problems Amnon Meisels And Eliezer Kaplansky Ben-Gurion University.
Scenario Trees and Metaheuristics for Stochastic Inventory Routing Problems DOMinant Workshop, Molde, Norway, September , 2009 Lars Magnus Hvattum.
CPSC 322, Lecture 15Slide 1 Stochastic Local Search Computer Science cpsc322, Lecture 15 (Textbook Chpt 4.8) February, 6, 2009.
Constraint Systems Laboratory Oct 21, 2004Guddeti: MS thesis defense1 An Improved Restart Strategy for Randomized Backtrack Search Venkata P. Guddeti Constraint.
Statistical Regimes Across Constrainedness Regions Carla P. Gomes, Cesar Fernandez Bart Selman, and Christian Bessiere Cornell University Universitat de.
CP Formal Models of Heavy-Tailed Behavior in Combinatorial Search Hubie Chen, Carla P. Gomes, and Bart Selman
Multi-agent Oriented Constraint Satisfaction Authors: Jiming Liu, Han Jing and Y.Y. Tang Speaker: Lin Xu CSCE 976, May 1st 2002.
Iterative Improvement Techniques for Solving Tight Constraint Satisfaction Problems Hui Zou Constraint Systems Laboratory Department of Computer Science.
1 Optimisation Although Constraint Logic Programming is somehow focussed in constraint satisfaction (closer to a “logical” view), constraint optimisation.
A Constraint Satisfaction Problem (CSP) is a combinatorial decision problem defined by a set of variables, a set of domain values for these variables,
Multi-Agent Based Search vs. Local Search and Backtrack Search for Solving Tight CSPs: A Practical Case Study Hui Zou and Berthe Y. Choueiry Constraint.
Ryan Kinworthy 2/26/20031 Chapter 7- Local Search part 1 Ryan Kinworthy CSCE Advanced Constraint Processing.
An Interactive, Constraint-Based System for Task Allocation in an Academic Environment Ryan Lim, Praveen Guddeti, and Berthe Y. Choueiry Constraint Systems.
Solvable problem Deviation from best known solution [%] Percentage of test runs ERA RDGR RGR LS Over-constrained.
Constraint Satisfaction Problems
Foundations of Constraint Processing, Fall 2005 November 2, 2005Local Search for CSPs1 Foundations of Constraint Processing CSCE421/821, Fall 2005:
Support: UCARE grant awarded to Chris Reeson & CAREER Award # from the National Science Foundation. To the public: –Illustrate the power of CP For.
Constraint Systems Laboratory March 26, 2007Reeson–Undergraduate Thesis1 Using Constraint Processing to Model, Solve, and Support Interactive Solving of.
A game of logic where the player must assign the numbers 1..9 to cells on a 9x9 grid. The placement of the numbers must be such that every number must.
1 Bandwidth Allocation Planning in Communication Networks Christian Frei & Boi Faltings Globecom 1999 Ashok Janardhanan.
Chapter 5 Outline Formal definition of CSP CSP Examples
Distributed Scheduling. What is Distributed Scheduling? Scheduling: –A resource allocation problem –Often very complex set of constraints –Tied directly.
Foundations of Constraint Processing, Fall 2004 November 18, 2004More on BT search1 Foundations of Constraint Processing CSCE421/821, Fall 2004:
Distributions of Randomized Backtrack Search Key Properties: I Erratic behavior of mean II Distributions have “heavy tails”.
Group Construction for Cabin Crew Comparing Constraint Programming with Branch&Price Presentation at SweConsNet 2005 Jesper Hansen Carmen Systems AB
IBM Labs in Haifa © Copyright IBM SVRH: Non-local stochastic CSP solver with learning of high-level topography characteristics Yehuda Naveh Simulation.
SDQ for data set 5 (500 runs, 5 mins each) PDF for relative solution size for data set 5 (500 runs, 5 mins each) Statistics of solution size (500 runs,
Local Search CPSC 322 – CSP 5 Textbook §4.8 February 7, 2011.
University Course Timetabling with Soft Constraints Hana Rudova, Keith Murray Presented by: Marlien Edward.
1 N -Queens via Relaxation Labeling Ilana Koreh ( ) Luba Rashkovsky ( )
CP Summer School Modelling for Constraint Programming Barbara Smith 2. Implied Constraints, Optimization, Dominance Rules.
Searching by Constraint CMSC Artificial Intelligence January 24, 2008.
Constraint Systems Laboratory 11/26/2015Zhang: MS Project Defense1 OPRAM: An Online System for Assigning Capstone Course Students to Sponsored Projects.
Lecture 1 – Operations Research
Human Computer Interaction
I T & S A e r o s p a c eD e f e n c e Integration of a Multicriteria Decision Model in Constraint Programming F. Le Huédé M. Grabisch C. Labreuche P.
Constraints and Search Toby Walsh Cork Constraint Computation Centre (4C) Logic & AR Summer School, 2002.
Quality of LP-based Approximations for Highly Combinatorial Problems Lucian Leahu and Carla Gomes Computer Science Department Cornell University.
Distributed Models for Decision Support Jose Cuena & Sascha Ossowski Pesented by: Gal Moshitch & Rica Gonen.
Chapter 2) CSP solving-An overview Overview of CSP solving techniques: problem reduction, search and solution synthesis Analyses of the characteristics.
At the beginning of each semester, CSE hires a number of Graduate Teaching Assistants (GTAs) as graders, lab supervisors, and instructors. The department.
Banaras Hindu University. A Course on Software Reuse by Design Patterns and Frameworks.
Maintaining Consistency in Resource Allocation Trevor Janke & Berthe Y. Choueiry Goals  Study & refine the constraint model of the existing Graduate TAs.
ERA on an over-constrained problem A Constraint-Based System for Hiring & Managing Graduate Teaching Assistants Ryan Lim, Praveen Venkata Guddeti, and.
Shortcomings of Traditional Backtrack Search on Large, Tight CSPs: A Real-world Example Venkata Praveen Guddeti and Berthe Y. Choueiry The combination.
Foundations of Constraint Processing Local Search for CSPs1 Foundations of Constraint Processing CSCE421/821, Spring
Biointelligence Lab School of Computer Sci. & Eng. Seoul National University Artificial Intelligence Chapter 8 Uninformed Search.
Problem Solving with Constraints Local Search for CSPs1 Foundations of Constraint Processing CSCE496/896, Fall2011
Tabu Search for Solving Personnel Scheduling Problem
Foundations of Constraint Processing
Title: Suggestion Strategies for Constraint- Based Matchmaker Agents
Robert Glaubius and Berthe Y. Choueiry
Computer Science cpsc322, Lecture 14
Extensions to BT Search Foundations of Constraint Processing
Extensions to BT Search Foundations of Constraint Processing
Constraint Programming and Backtracking Search Algorithms
Extensions to BT Search Foundations of Constraint Processing
Extensions to BT Search Foundations of Constraint Processing
Constraints and Search
Searching by Constraint & Searching by Evolution
Foundations of Constraint Processing
Extensions to BT Search Foundations of Constraint Processing
Solving Sudoku with Consistency: A Visual and Interactive Approach
A Qualitative Analysis of Search Behavior: A Visual Approach
A Reactive Strategy for High-Level Consistency During Search
Presentation transcript:

An Interactive System for Hiring & Managing Graduate Teaching Assistants Ryan Lim Venkata Praveen Guddeti Berthe Y. Choueiry Constraint Systems Laboratory University of Nebraska-Lincoln

Outline Task & Motivation System Architecture & Interfaces Scientific aspects  Problem Modeling  Problem Solving  Comparing & Characterizing Solvers Motivation revisited & Conclusions

Task Hiring & managing GTAs as instructors + graders  Given A set of courses A set of graduate teaching assistants A set of constraints that specify allowable assignments  Find a consistent & satisfactory assignment Consistent: assignment breaks no (hard) constraints Satisfactory: assignment maximizes 1.number of courses covered 2.happiness of the GTAs Often, number of hired GTAs is insufficient

Motivation Context  “Most difficult duty of a department chair” [Reichenbach, 2000]  Assignments done manually, countless reviews, persistent inconsistencies  Unhappy instructors, unhappy GTAs, unhappy students Observation  Computers are good at maintaining consistency  Humans are good at balancing tradeoffs Our solution  An online, constraint-based system  With interactive & automated search mechanisms

Outline Task & Motivation System Architecture & Interfaces Scientific aspects  Problem Modeling  Problem Solving  Comparing & Characterizing Solvers Motivation revisited & Conclusions

System Architecture 1.Web-interface for applicants Password Protected Access for GTAs Cooperative, hybrid Search Strategies Other structured, semi-structured, or unstructured DBs In progress Visualization widgets Password Protected Access for Manager 2.Web-interface for manager  View / edit GTA records  Setup classes  Specify constraints  Enforce pre-assignments Local DB 3.A local relational database  Graphical selective queries Interactive Search Automated Search Heuristic BT Stochastic LS Multi-agent Search Randomized BT 4.Drivers for  Interactive assignments  Automated search algorithms

GTA interface: Preference Specification

Manager interface: TA Hiring & Load

Outline Task & Motivation System Architecture & Interfaces Scientific aspects  Problem Modeling  Problem Solving  Comparing & Characterizing Solvers Motivation revisited & Conclusions

Constraint-based Model Variables  Grading, conducting lectures, labs & recitations Values  Hired GTAs (+ preference for each value in domain) Constraints  Unary: ITA certification, enrollment, time conflict, non-zero preferences, etc.  Binary (Mutex): overlapping courses  Non-binary: same-TA, capacity, confinement Objective  longest partial and consistent solution (primary criterion)  while maximizing GTAs’ preferences (secondary criterion)

Outline Task & Motivation System Architecture & Interfaces Scientific aspects  Problem Modeling  Problem Solving  Comparing & Characterizing Solvers Motivation revisited & Conclusions

Problem Solving Interactive decision making  Seamlessly switching between perspectives  Propagates decisions (MAC) Automated search algorithms  Heuristic backtrack search (BT)  Stochastic local search (LS)  Multi-agent search (ERA)  Randomized backtrack search (RDGR)  Future: Auction-based, GA, MIP, LD-search, etc. On-going: Cooperative/hybrid strategies

Manager interface: Interactive Selection

Dual perspective Task-centered viewResource-centered view

Heuristic BT Search Since we don’t know, a priori, whether instance is solvable, tight, or over-constrained  Modified basic backtrack mechanism to deal with this situation We designed & tested various ordering heuristics:  Dynamic LD was consistently best Branching factor relatively huge (30)  Causes thrashing, backtrack never reaches early variables 24 hr: 51 (26%) 1 min: 55 (20%) Max depth: 57 Shallowest level reached by BT after … Number of variables: 69 Depth of the tree: 69

Stochastic Local Search Hill-climbing with min-conflict heuristic Constraint propagation:  To handle non-binary constraints (e.g., high- arity capacity constraints) Greedy:  Consistent assignments are not undone Random walk to avoid local maxima Random restarts to recover from local maxima

Multi-Agent Search (ERA) [Liu et al. 02] “Extremely” decentralized local search  Agents (variables) seek to occupy best positions (values)  Environment records constraint violation in each position of an agent given positions of other agents  Agents move, egoistically, between positions according to reactive Rules Decisions are local  An agent can always kick other agents from a favorite position even when value of ‘global objective function’ is not improved ERA appears immune to local optima Lack of centralized control  Agents continue to kick each other  Deadlock appears in over-constrained problems

Randomized BT Search Random variable/value selection allows BT to visit a wider area of the search space [Gomes et al. 98] Restarts to overcome thrashing Walsh proposed RGR [Walsh 99] Our strategy, RDGR, improves RGR with dynamic choice of cutoff values for the restart strategy [Guddeti & Choueiry 04]

Optimizing solutions Primary criterion: solution length  BT, LS, ERA, RGR, RDGR Secondary criterion: preference values  BT, LS, RGR, RDGR  Criterion: Average preference Geometric mean Maximum minimal preference

More Solvers… Interactive decision making Automated search algorithms  BT, LS, ERA, RGR, RDGR.  Future: Auction-based, GA, MIP, LD- search, etc. On-going: Cooperative / hybrid strategies

Outline Task & Motivation System Architecture & Interfaces Scientific aspects  Problem Modeling  Problem Solving  Comparing & Characterizing Solvers Motivation revisited & Conclusions

Comparing Solvers Using the same CSP encoding, students implements solvers separately and competed for best results Experience lead to the identification of behavioral criteria and regimes that characterize the performance of the various solvers in the context of GTAP

Characterizing Solvers General criteria  Stability, solution length, vulnerability to local optima, deadlock, thrashing, etc. Tight but solvable instances  ERA  RDGR  RGR  BT  LS Over-constrained instances  RDGR  RGR  BT  ERA  LS

Outline Task & Motivation System Architecture & Interfaces Scientific aspects  Problem Modeling  Problem Solving  Comparing & Characterization Solvers Motivation revisited & Conclusions

Motivation (revisited) “Most difficult duty of a department chair”  Keeps the manager in the decision loop while removing the need for tedious and error-prone manual assignments  Helps producing quick (3 weeks down to 2 days) and satisfactory (stable) assignments Initially, assignments were manually done on paper  Now, on-line data acquisition process  Enabled department to streamline & standardize GTA selection, hiring, and assignment Overworked staff, unhappy GTAs  Overjoyed staff (relieved from handling application forms and massive paperwork)  Enthusiastic anonymous online reviews from applicants

History & Evaluation System entirely built by students Modeling started in January 2001 Prototype system used since August 2001  Features improved and added as needs arised No formal longitudinal study Since August 2003: 109 GTA users, 23 feedback responses Since April 2004, CSE implemented on-line GTA evaluation by faculty on top of GTAAP

GTA Online Feedback 23 responses Navigation Data entry

Conclusions Integrated interactive & automated problem- solving strategies  Reduced the burden of the manager  Lead to quick development of ‘stable’ solutions Our efforts  Helped the department  Trained students in CP techniques  Paved new avenues for research Cooperative, hybrid search Visualization of solution space

<<< end of presentation I welcome your questions Please contact me for a live demo

Manager interface: Course Load Specification

Manager interface: Preassignment

Manager interface: Constraint Specification