BNAIC, 17-18 Oct, 2005 1 Temporal Plans and Resource Management Pieter Buzing & Cees Witteveen TU Delft.

Slides:



Advertisements
Similar presentations
Constraint Satisfaction Patrick Prosser. An Example, Exam Timetabling Someone timetables the exams We have a number of courses to examine how many? Dept.
Advertisements

Computational Intelligence Winter Term 2011/12 Prof. Dr. Günter Rudolph Lehrstuhl für Algorithm Engineering (LS 11) Fakultät für Informatik TU Dortmund.
Airline Schedule Optimization (Fleet Assignment I)
Nationaal Lucht- en Ruimtevaartlaboratorium National Aerospace Laboratory NLR DXXX-1A AI Planning at airports:Departure Management PLANET Industry Day.
Nationaal Lucht- en Ruimtevaartlaboratorium National Aerospace Laboratory NLR AI Planning, Waiting for the Results? H.H. Hesselink R.R.
Problems and Their Classes
Adopt Algorithm for Distributed Constraint Optimization
1 Finite Constraint Domains. 2 u Constraint satisfaction problems (CSP) u A backtracking solver u Node and arc consistency u Bounds consistency u Generalized.
Methods of Proof Chapter 7, second half.. Proof methods Proof methods divide into (roughly) two kinds: Application of inference rules: Legitimate (sound)
Optimal Rectangle Packing: A Meta-CSP Approach Chris Reeson Advanced Constraint Processing Fall 2009 By Michael D. Moffitt and Martha E. Pollack, AAAI.
Planning with Resources at Multiple Levels of Abstraction Brad Clement, Tony Barrett, Gregg Rabideau Artificial Intelligence Group Jet Propulsion Laboratory.
Lecture 10: Integer Programming & Branch-and-Bound
Planning and Scheduling. 2 USC INFORMATION SCIENCES INSTITUTE Some background Many planning problems have a time-dependent component –  actions happen.
Happy Spring Break!. Integrating Planning & Scheduling Subbarao Kambhampati Scheduling: The State of the Art.
1 Stochastic Event Capture Using Mobile Sensors Subject to a Quality Metric Nabhendra Bisnik, Alhussein A. Abouzeid, and Volkan Isler Rensselaer Polytechnic.
PlanSIG, Dec, Temporal Plans and Resource Management Pieter Buzing & Cees Witteveen Delft University of Technology.
Analyzing the tradeoffs between breakup and cloning in the context of organizational self-design By Sachin Kamboj.
Multi-agent Oriented Constraint Satisfaction Authors: Jiming Liu, Han Jing and Y.Y. Tang Speaker: Lin Xu CSCE 976, May 1st 2002.
An Approximation of Generalized Arc-Consistency for Temporal CSPs Lin Xu and Berthe Y. Choueiry Constraint Systems Laboratory Department of Computer Science.
1 Multi-Agent Planning. 2 Tasks as Agents negotiating for resources Self-interested Selfish Agents Complexity of Negotiation Tasks Abstraction & Analysis.
Supply Chain Design Problem Tuukka Puranen Postgraduate Seminar in Information Technology Wednesday, March 26, 2009.
Jean-Charles REGIN Michel RUEHER ILOG Sophia Antipolis Université de Nice – Sophia Antipolis A global constraint combining.
Linear Programming (LP)
Multirobot Coordination in USAR Katia Sycara The Robotics Institute
Distributed Scheduling. What is Distributed Scheduling? Scheduling: –A resource allocation problem –Often very complex set of constraints –Tied directly.
Automated Transport Planning using Agents Leon Aronson, Roman van der Krogt, Cees Witteveen, Jonne Zutt.
Linear programming. Linear programming… …is a quantitative management tool to obtain optimal solutions to problems that involve restrictions and limitations.
Katanosh Morovat.   This concept is a formal approach for identifying the rules that encapsulate the structure, constraint, and control of the operation.
Topic 2: Multi-Agent Systems a practical example categories of MAS examples definitions: agents and MAS conclusion.
Homework 1 ( Written Portion )  Max : 75  Min : 38  Avg : 57.6  Median : 58 (77%)
Using Abstraction in Multi-Rover Scheduling Bradley J. Clement and Anthony C. Barrett Artificial Intelligence Group Jet Propulsion Laboratory {bclement,
October 21 – BNAIC 2004 Jonne Zutt and Cees Witteveen Multi-Agent Transport Planning Delft University of Technology.
ANTs PI Meeting, Nov. 29, 2000W. Zhang, Washington University1 Flexible Methods for Multi-agent distributed resource Allocation by Exploiting Phase Transitions.
CoFM: An Environment for Collaborative Feature Modeling Li Yi Institute of Software, School of EECS, Peking University Key Laboratory of High Confidence.
Improved Human-Robot Team performance using Chaski Proceeding: HRI '11HRI '11 Proceedings of the 6th international conference on Human-robot interaction.
© J. Christopher Beck Lecture 26: Nurse Scheduling.
NAVEEN AGENT BASED SOFTWARE DEVELOPMENT. WHAT IS AN AGENT? A computer system capable of flexible, autonomous (problem-solving) action, situated in dynamic,
Workforce scheduling – Days off scheduling 1. n is the max weekend demand n = max(n 1,n 7 ) Surplus number of employees in day j is u j = W – n j for.
Constraint Satisfaction CPSC 386 Artificial Intelligence Ellen Walker Hiram College.
1 Lagrangean Relaxation --- Bounding through penalty adjustment.
Riga Technical University Department of System Theory and Design Usage of Multi-Agent Paradigm in Multi-Robot Systems Integration Assistant professor Egons.
Algorithmic, Game-theoretic and Logical Foundations
STP: An Aerial Spray Treatment Planning System W.D. Potter, Ramyaa, J. Li Artificial Intelligence Center, GSRC 111 University of Georgia, Athens, GA
Distributed Models for Decision Support Jose Cuena & Sascha Ossowski Pesented by: Gal Moshitch & Rica Gonen.
ANTs PI meeting, Dec. 17, 2001Washington University / DCMP1 Flexible Methods for Multi-agent Distributed Resource Allocation by Exploiting Phase Transitions.
Vehicle breakdown Change in transportation requests Arrival of new transportation requests Disruption on infrastructure impact of incident duration of.
Arc Consistency CPSC 322 – CSP 3 Textbook § 4.5 February 2, 2011.
Lagrangean Relaxation
Solving Systems of Linear Equations by Substitution; Applications Solve systems of linear equations using substitution. 2.Solve applications involving.
Topic 6.5. Solve Systems by Substitution Objectives: Solve Systems of Equations using Substitution Standards: Functions, Algebra, Patterns. Connections.
TU/e Algorithms (2IL15) – Lecture 12 1 Linear Programming.
1 Chapter 3, Section 2 Solving Systems of Equations Algebraically.
Mrs. Manley Systems of Equations How do you find solutions to systems of two linear equations in 2 variables?
Solving Systems of Equation Using Elimination. Another method for solving systems of equations Eliminate one of the variables by adding the two equations.
Linear Programming Many problems take the form of maximizing or minimizing an objective, given limited resources and competing constraints. specify the.
TÆMS-based Execution Architectures
Aaron Gember-Jacobson
3-2: Solving Systems of Equations using Substitution
Linear Programming.
Integer Programming (정수계획법)
3-2: Solving Systems of Equations using Substitution
CASE − Cognitive Agents for Social Environments
3-2: Solving Systems of Equations using Substitution
Integer Programming (정수계획법)
3-2: Solving Systems of Equations using Substitution
Agreement Planning Eva Onaindía 27 de Julio de 2011.
3-2: Solving Systems of Equations using Substitution
3-2: Solving Systems of Equations using Substitution
3-2: Solving Systems of Equations using Substitution
3-2: Solving Systems of Equations using Substitution
Presentation transcript:

BNAIC, Oct, Temporal Plans and Resource Management Pieter Buzing & Cees Witteveen TU Delft

BNAIC, Oct, What about? Temporal planning in multi-agent systems or: distributed issues in planning systems Plan repair (during tactical phase) Introduce resource-based view Use scheduling heuristic Integrate it with multi agent temporal planning

BNAIC, Oct, The Problem Many complex environments need planning and coordination of actions Example: airport, harbor, factory, … Multiple (autonomous) parties involved Issues: conflicting goals, communication, coordination Execution phase is error-prone: Environment is unpredictable, partial information

BNAIC, Oct, Example: Airport

BNAIC, Oct, Relationship MAS and Planning Multi agent view on planning: First understand organizational structure, then think about system performance Isn’t planning already solved? (old AI anyway) The planning thing is a minor (technical) problem; communication, negotiation: those are real challenges! Planning view on multi agent: “Why would you want distributed planners? Centralized solutions are always faster and better” “Why focus on plan repair? The worst-case complexity of re- planning is equal to the original planning problem” How to verify optimality?

BNAIC, Oct, Solution Requirements Respect individual planning tools: Abstract temporal plan model Expect aberrations during plan executions: Flexibility encoded in plan Respect and use agents’ intelligence: Smart coordination (negotiation), no swarm intelligence

BNAIC, Oct, Simple Temporal Problem (STP) Planning as CSP - Dechter, et.al. (1991) Temporal constraints between time point variables Path consistency = arc consistency = polynomial time: O(n^3) Extract schedule is simple (read all lower bounds) Flexibility is maintained

BNAIC, Oct, STP + Preferences Duration action A is [10, 40]: hard constraint In practice: “A takes about 25 minutes, perhaps bit more/less” “25 would be ideal, but [15-30] is okay” Soft constraint expressed as preference function Repair (B&W, 2004a)

BNAIC, Oct, Choices in STPs “either action A before B or action B before A” Disjunctive Temporal Problem MA voting protocol for decision making (B&W, 2004b) Reordering actions as a means of plan repair

BNAIC, Oct, STPs and Resources Planning = action ordering Scheduling = resource assignment Practical planning problems are mix of both… Airport: gates, runways, taxiways Example: 4 flights scheduled on 2 gates

BNAIC, Oct, Scheduling Heuristic for STPs Known scheduling heuristic: flexibility Amount of slack Planning phase: assign action a to resource s.t. flex(a) is max Plan repair: Choose action a s.t. flex(a) is min Move a to resource s.t. flex(a)’ becomes max

BNAIC, Oct, Example (Gate Scheduling) Aircraft has delay: can dock not before t=50 Inconsistency since flex value is negative Find gate with highest flex: g2 Move aircraft to that gate

BNAIC, Oct, Conclusion Trying to bring together: Multi agent system (temporal) Planning Scheduling aspects Application: Collaborating with NLR (National Aerospace Laboratory) Extending airport simulator with MA tools