Solving Clustered Oversubscription Problems for Planning e-courses

Similar documents
Airline Boarding Schemes for Airbus A-380. Graduate Student Mathematical Modeling Camp RPI June 8, 2007

Efficiency and Automation

Applying Integer Linear Programming to the Fleet Assignment Problem

Two Major Problems Problems Crew Pairing Problem (CPP) Find a set of legal pairin Find gs (each pairing

Price-Setting Auctions for Airport Slot Allocation: a Multi-Airport Case Study

A Study of Tradeoffs in Airport Coordinated Surface Operations

A RECURSION EVENT-DRIVEN MODEL TO SOLVE THE SINGLE AIRPORT GROUND-HOLDING PROBLEM

Planning aircraft movements on airports with constraint satisfaction

Real-Time Control Strategies for Rail Transit

A Review of Airport Runway Scheduling

International Conference on Integrated Modular Avionics Moscow

Time Benefits of Free-Flight for a Commercial Aircraft

DUAL COLOR, LOW-PROFILE

Network Revenue Management

Genetic Algorithm in Python. Data mining lab 6

Maximization of an Airline s Profit

Activity Template. Drexel-SDP GK-12 ACTIVITY. Subject Area(s): Sound Associated Unit: Associated Lesson: None

An Analytical Approach to the BFS vs. DFS Algorithm Selection Problem 1

Estimating Avoidable Delay in the NAS

(Presented by the United States)

A DYNAMICAL MODEL FOR THE AIR TRANSPORTATION NETWORK

Natural Language Processing. Dependency Parsing

Airspace Complexity Measurement: An Air Traffic Control Simulation Analysis

An Appointment Overbooking Model To Improve Client Access and Provider Productivity

Optimal Inference of Velocity Fields

Optimization Model Integrated Flight Schedule and Maintenance Plans

Anomaly Detection in airlines schedules. Asmaa Fillatre Data Scientist, Amadeus

Predicting Flight Delays Using Data Mining Techniques

TWELFTH AIR NAVIGATION CONFERENCE

= Coordination with Direct Communication

The Network Manager User Forum 2017

Airport Gate Assignment A Hybrid Model and Implementation

Scalable Runtime Support for Data-Intensive Applications on the Single-Chip Cloud Computer

Impact of a new type of aircraft on ATM

Integrated Optimization of Arrival, Departure, and Surface Operations

Heuristic technique for tour package models

Airline Scheduling: An Overview

ATM Seminar 2015 OPTIMIZING INTEGRATED ARRIVAL, DEPARTURE AND SURFACE OPERATIONS UNDER UNCERTAINTY. Wednesday, June 24 nd 2015

Aircraft Arrival Sequencing: Creating order from disorder

Automatic Aircraft Cargo Load Planning with Pick-up and Delivery

Clustering radar tracks to evaluate efficiency indicators Roland Winkler Annette Temme, Christoph Bösel, Rudolf Kruse

UC Berkeley Working Papers

Decision aid methodologies in transportation

MARKET SHARE ANALYSIS

Transportation Timetabling

ATC Simulators. The manufacturer of

The effective management of group

Autonomic Thread Scaling Library for QoS Management

Genetic Algorithms Applied to Airport Ground Traffic Optimization

A GRASP for Aircraft Routing in Response to Groundings and Delays

Fleet Assignment Problem Study Based on Branch-and-bound Algorithm

Research Article Study on Fleet Assignment Problem Model and Algorithm

An Analysis of Dynamic Actions on the Big Long River

Atlantic Interoperability Initiative to Reduce Emissions AIRE

Quiet Climb. 26 AERO First-Quarter 2003 January

Introduction Runways delay analysis Runways scheduling integration Results Conclusion. Raphaël Deau, Jean-Baptiste Gotteland, Nicolas Durand

An optimization model for assigning 4Dtrajectories to flights under the TBO concept

Executive Summary. MASTER PLAN UPDATE Fort Collins-Loveland Municipal Airport

TAXIWAY AIRCRAFT TRAFFIC SCHEDULING: A MODEL AND SOLUTION ALGORITHMS. A Thesis CHUNYU TIAN

Preparatory Course in Business (RMIT) SIM Global Education. Bachelor of Applied Science (Aviation) (Top-Up) RMIT University, Australia

Available online at ScienceDirect. Procedia Computer Science 36 (2014 )

B0 FRTO, B0-NOPS, B0-ASUR and B0-ACAS Implementation in the AFI and MID Regions

Research on Pilots Development Planning

A review of applied operations research projects at the Instituto de Cálculo ( )

MAXIMIZING INVESTMENT AND UTILIZATION

Including Linear Holding in Air Traffic Flow Management for Flexible Delay Handling

SOLVING GATE ALLOCATION PROBLEM (AGAP) USING DISTANCE-EVALUATED PARTICLE SWARM OPTIMIZATION (DEPSO)

Seen through an IATA lens A-CDM Globally

Bioinformatics of Protein Domains: New Computational Approach for the Detection of Protein Domains

Modeling Crew Itineraries and Delays in the National Air Transportation System

Disruptions in the airline industry: math-heuristics for re-assigning aircraft and passengers simultaneously

Identification of Waves in IGC files

An Econometric Study of Flight Delay Causes at O Hare International Airport Nathan Daniel Boettcher, Dr. Don Thompson*

DMAN-SMAN-AMAN Optimisation at Milano Linate Airport

ONLINE DELAY MANAGEMENT IN RAILWAYS - SIMULATION OF A TRAIN TIMETABLE

Passenger-Centric Ground Holding: Including Connections in Ground Delay Program Decisions. Mallory Jo Soldner

Fuel Benefit from Optimal Trajectory Assignment on the North Atlantic Tracks. Henry H. Tran and R. John Hansman

Establishing a Risk-Based Separation Standard for Unmanned Aircraft Self Separation

Bachelor of Science in Aviation Option in Aviation Management

Traffic Forecasts. CHAOUKI MUSTAPHA, Economist, International Civil Aviation Organization

SERVICE NETWORK DESIGN: APPLICATIONS IN TRANSPORTATION AND LOGISTICS

Overview of Boeing Planning Tools Alex Heiter

NOISE ABATEMENT PROCEDURES

Optimized Profile Descents A.K.A. CDA A New Concept RTCA Airspace Working Group

Configuration of Airport Passenger Buildings. Outline

Implementing an Air Taxi System

Plagued by high labor costs, low profitability margins, airspace and airport congestion, high capital and

NOTES ON COST AND COST ESTIMATION by D. Gillen

Analysis of Gaming Issues in Collaborative Trajectory Options Program (CTOP)

Available online at ScienceDirect. Transportation Research Procedia 5 (2015 ) SIDT Scientific Seminar 2013

A Statistical Method for Eliminating False Counts Due to Debris, Using Automated Visual Inspection for Probe Marks

Air Transportation System Architecting

Curriculum vitae. Dr Tibor Lukić Associate Professor (updated )

An analysis of landscape connectivity of the Grassland Biome in Mpumalanga using graph theory. MSc Project Louise Fourie Supervisor: Prof. M.

Method to create proposals for PSS business models

Airport Master Planning Process & Update

Research in Coastal Infrastructure Reliability: Rerouting Intercity Flows in the Wake of a Port Outage

A Multi-objective Evolutionary Method for Dynamic Airspace Re-sectorization using Sectors Clipping and Similarities

SAT: Propositional Satisfiability and Beyond

Optimal assignment of incoming flights to baggage carousels at airports

Transcription:

Solving Clustered Oversubscription Problems for Planning e-courses Susana Fernández and Daniel Borrajo Universidad Carlos III de Madrid. SPAIN Solving Clustered Oversubscription Problems for Planning e-courses 1

Index 1 Introduction 2 Translation 3 Pre-processing 4 Planning 5 Experiments 6 Conclusions and Future Work Solving Clustered Oversubscription Problems for Planning e-courses 2

Index 1 Introduction 2 Translation 3 Pre-processing 4 Planning 5 Experiments 6 Conclusions and Future Work Solving Clustered Oversubscription Problems for Planning e-courses 3

Index 1 Introduction 2 Translation 3 Pre-processing 4 Planning 5 Experiments 6 Conclusions and Future Work Solving Clustered Oversubscription Problems for Planning e-courses 4

Index 1 Introduction 2 Translation 3 Pre-processing 4 Planning 5 Experiments 6 Conclusions and Future Work Solving Clustered Oversubscription Problems for Planning e-courses 5

Index 1 Introduction 2 Translation 3 Pre-processing 4 Planning 5 Experiments 6 Conclusions and Future Work Solving Clustered Oversubscription Problems for Planning e-courses 6

Index 1 Introduction 2 Translation 3 Pre-processing 4 Planning 5 Experiments 6 Conclusions and Future Work Solving Clustered Oversubscription Problems for Planning e-courses 7

Index 1 Introduction 2 Translation 3 Pre-processing 4 Planning 5 Experiments 6 Conclusions and Future Work Solving Clustered Oversubscription Problems for Planning e-courses 8

Motivation Current planning: Planning competition drives planning advancement Very powerful domain-independent techniques, but focus on specific aspects of the planning task (tracks) Difficult to address real world applications: requires the use of many features of PDDL,... requires to compute metrics that use state-dependent fluents The application of planning techniques to real problems, sometimes, requires solving interesting associated problems that can be useful in more general contexts Solving Clustered Oversubscription Problems for Planning e-courses 9

Description Application area: the generation of learning designs adapted to students profiles Associated problem: a variation of OSP 1 that we have called clustered oversubscription 1 Oversubscription Problem: Given a set of goals, each one with a utility, obtain a plan that achieves some (or all) the goals, maximizing the utility, as well as minimizing the cost of achieving those goals. Solving Clustered Oversubscription Problems for Planning e-courses 10

E-learning LO IsBasedOn Disjuction <relations> Requires Conjunction <time> <learningsourcetype> LO1 LO2 IMS MD... Course definition LON PEDAGOGICAL THEORY THAT RELATES: <learningsourcetype> + Felder s learning styles = Activities Reward GOAL GENERATION OF LEARNING DESIGNS ADAPTATED TO STUDENTS PROFILES Task1 a11 time a12 time a1n time reward reward reward IsBasedOn Task2... Solving Clustered Oversubscription Problems for Planning e-courses 11 Taskn

Clustered Oversubscription Problem C1 C2 CM a11=<cost, utility> a12=<cost, utility>... a1n=<cost, utility> a21=<cost, utility>... a2k=<cost, utility>... am1=<cost, utility> am2=<cost, utility>... amn=<cost, utility> Causal relationships among activities Cost threshold, T Solution: a1, a2,..., ax Plan / Learning Design Total cost < T Maximize the total utility At least one action of each cluster/ Pontentially more GOAL Solving Clustered Oversubscription Problems for Planning e-courses 12

Approach IMS MD Course TRANSLATION PDDL Domain PDDL Problem PRE PROCESSING O={a1, a2,...,ai} Maximize reward Total time <= Threshold PLANNING Learning design PRE PROCESSING (Optimization Component) 1. Linear Programing 2. Heuristic Search PLANNING (Causal Component) 1. PDDL3 Preference goals 2. Plan metric Solving Clustered Oversubscription Problems for Planning e-courses 13

Index 1 Introduction 2 Translation 3 Pre-processing 4 Planning 5 Experiments 6 Conclusions and Future Work Solving Clustered Oversubscription Problems for Planning e-courses 14

Learning Activities Actions Solving Clustered Oversubscription Problems for Planning e-courses 15

Modelling Actions Solving Clustered Oversubscription Problems for Planning e-courses 16

Index 1 Introduction 2 Translation 3 Pre-processing 4 Planning 5 Experiments 6 Conclusions and Future Work Solving Clustered Oversubscription Problems for Planning e-courses 17

Activities selection Formalization: - a A, a =< t, r >, the goal O = {a 1,..., a n }, a i A, given a i =<t i,r i > O t i T, maximizing r i - Activities are grouped into a set of clusters, C = {c 1,..., c m }, c i = {a 1,..., a ci } that can perform the same learning task. c i C at least one a j c i should be in O - Similar to the well-known knapsack problem in combinatorial optimization, but with the addition of clusters Solution: - Using Linear Programming: optimal - Using hill-climbing algorithm with backtracking Solving Clustered Oversubscription Problems for Planning e-courses 18

Linear Programming set A; /* list of activities*/ set T; /*list of tasks*/ param t{a in A}; /* time of each activity in A */ param r{a in A}; /* reward of each activity in A */ param c{a in A, j in T}, binary; /* activity i belows to task j */ param tt; /* bound time */ var x{a in A}, binary; maximize treward: sum{a in A} x[a]*r[a]; s.t. time: sum{a in A} x[a]*t[a] <= tt; s.t. cluster{j in T}: sum{a in A} c[a,j]*x[a] >= 1; /* there is at least one action per task*/ Solving Clustered Oversubscription Problems for Planning e-courses 19

Index 1 Introduction 2 Translation 3 Pre-processing 4 Planning 5 Experiments 6 Conclusions and Future Work Solving Clustered Oversubscription Problems for Planning e-courses 20

Modelling 1 Including the actions in O as PDDL3 preference-goals: (:goal (and (preference p0 (<action-name1> st1)) (preference p1 (<action-name2> st1))... (task course done student1 st1))) 2 Using selection as plan metric: Domain: add conditional effects to the actions (when (not (action-in-plan?s <action-name>)) (increase (penalty?s) 1)) Add precondition in end of course action: (>= (reward student?s) (reward threshold student?s)) Problem: Initial state: including actions in O as action-in-plan predicates Metric: (:metric (minimize (penalty student1))) Solving Clustered Oversubscription Problems for Planning e-courses 21

Index 1 Introduction 2 Translation 3 Pre-processing 4 Planning 5 Experiments 6 Conclusions and Future Work Solving Clustered Oversubscription Problems for Planning e-courses 22

(LP always found the solution in less that 0.1s while the search-algorithm execution time steady increased from 0.1 up to 8s) Solving Clustered Oversubscription Problems for Planning e-courses 23 Computing Set O Reward when time limit is the sum of the time of the highest-time activity in each cluster 2500 2000 Linear Programming Hill Climbing Sum of the highest reward action Reward 1500 1000 500 0 0 10 20 30 40 50 60 Clusters

Computing Set O. All clusters Reward of 52 clusters when time limit varies from -20 % up to 20 % 2800 2700 Linear Programming Hill Climbing 52 clusters Reward 2600 2500 2400 2300 2200 2100 2000 3000 3200 3400 3600 3800 4000 4200 4400 4600 20% 15% 10% 5% 0% 5% 10% 15% 20% Time threshold (The execution time was never higher than 18s) Solving Clustered Oversubscription Problems for Planning e-courses 24

Planning Results. Configurations 1 EHC: original Enforced Hill-climbing algorithm in Metric-FF 2 CBP-BFS: CBP planner with BFSearch+Lookahead algorithm Time: minimizing the (total time student) LP: minimizing (penalty student). LP selection Hill: minimizing (penalty student). Hill-climbing selection 3 SGPlan6: SGPlan6 planner Without preference goals LP: preferences. LP selection (unfeasible plans) Hill: preferences. Hil-climbing selection (unfeasible plans) Solving Clustered Oversubscription Problems for Planning e-courses 25

Planning Results. Reward 2800 2600 2400 Reward 2200 2000 1800 1600 1400 20 15 10 5 0 5 10 15 20 Time increments (%) EHC CBP BFS TIME CBP BFS HILL CBP BFS LP Solving Clustered Oversubscription Problems for Planning e-courses 26

Planning Results. Time 4500 4000 Time 3500 3000 2500 2000 20 15 10 5 0 5 10 15 20 Time increments (%) EHC CBP BFS TIME CBP BFS HILL CBP BFS LP Solving Clustered Oversubscription Problems for Planning e-courses 27

Planning Results. Both 150 Reward Increment*Time Decrement 100 50 0 50 100 20 15 10 5 0 5 10 15 20 Time increments (%) EHC CBP BFS TIME CBP BFS HILL CBP BFS LP Solving Clustered Oversubscription Problems for Planning e-courses 28

Index 1 Introduction 2 Translation 3 Pre-processing 4 Planning 5 Experiments 6 Conclusions and Future Work Solving Clustered Oversubscription Problems for Planning e-courses 29

Conclusions E-learning planning application for generating learning designs adapted to different students profiles Modelled as a clustered-oversubscription problem Hybrid approach: LP/Heuristic search solves the optimization component Planning solves the causal component: Integration: PDDL3 preference-goals (SGplan6 unfeasible plans) As plan metric: cbp (penalty, action-in-plan, reward threshold student) Solving Clustered Oversubscription Problems for Planning e-courses 30

Future Work Test the approach in other domains Include causal relations in the LP model (without OR relations) Solving Clustered Oversubscription Problems for Planning e-courses 31