Using Abstraction to Coordinate Multiple Robotic Spacecraft Brad Clement, Tony Barrett, Gregg Rabideau Artificial Intelligence Group Jet Propulsion Laboratory.

Slides:



Advertisements
Similar presentations
Forward-Chaining Partial-Order Planning Amanda Coles, Andrew Coles, Maria Fox and Derek Long (to appear, ICAPS 2010)
Advertisements

Adopt Algorithm for Distributed Constraint Optimization
EDA (CS286.5b) Day 10 Scheduling (Intro Branch-and-Bound)
Problem Solving by Searching Copyright, 1996 © Dale Carnegie & Associates, Inc. Chapter 3 Spring 2007.
Planning with Resources at Multiple Levels of Abstraction Brad Clement, Tony Barrett, Gregg Rabideau Artificial Intelligence Group Jet Propulsion Laboratory.
Best-First Search: Agendas
Performance of Coordinating Concurrent Hierarchical Planning Agents Using Summary Information Brad Clement and Ed Durfee University of Michigan Artificial.
Research Related to Real-Time Strategy Games Robert Holte November 8, 2002.
MAE 552 – Heuristic Optimization Lecture 26 April 1, 2002 Topic:Branch and Bound.
1 Abstract Reasoning for Multiagent Coordination and Planning Bradley J. Clement.
Non-Conservative Cost Bound Increases in IDA* Doug Demyen.
Distributed Constraint Optimization * some slides courtesy of P. Modi
Dana Nau: Lecture slides for Automated Planning Licensed under the Creative Commons Attribution-NonCommercial-ShareAlike License:
Copyright R. Weber Search in Problem Solving Search in Problem Solving INFO 629 Dr. R. Weber.
Stochastic Algorithms Some of the fastest known algorithms for certain tasks rely on chance Stochastic/Randomized Algorithms Two common variations – Monte.
Dana Nau: Lecture slides for Automated Planning Licensed under the Creative Commons Attribution-NonCommercial-ShareAlike License:
Using Abstraction in Multi-Rover Scheduling Bradley J. Clement and Anthony C. Barrett Artificial Intelligence Group Jet Propulsion Laboratory {bclement,
The Deep Space Network Scheduling Problem Brad Clement, Mark Johnston Artificial Intelligence Group Jet Propulsion Laboratory California Institute of Technology.
Probabilistic Reasoning for Robust Plan Execution Steve Schaffer, Brad Clement, Steve Chien Artificial Intelligence.
CS 484 – Artificial Intelligence1 Announcements Homework 2 due today Lab 1 due Thursday, 9/20 Homework 3 has been posted Autumn – Current Event Tuesday.
Games. Adversaries Consider the process of reasoning when an adversary is trying to defeat our efforts In game playing situations one searches down the.
Constraint Satisfaction CPSC 386 Artificial Intelligence Ellen Walker Hiram College.
Basic Problem Solving Search strategy  Problem can be solved by searching for a solution. An attempt is to transform initial state of a problem into some.
Finding Optimal Solutions to Cooperative Pathfinding Problems Trevor Standley Computer Science Department University of California, Los Angeles
Biointelligence Lab School of Computer Sci. & Eng. Seoul National University Artificial Intelligence Chapter 8 Uninformed Search.
Dana Nau: Lecture slides for Automated Planning Licensed under the Creative Commons Attribution-NonCommercial-ShareAlike License:
Artificial Intelligence Solving problems by searching.
Adversarial Search and Game-Playing
School of Computer Science & Engineering
Knowledge Representation
CSPs: Search and Arc Consistency Computer Science cpsc322, Lecture 12
Major Design Strategies
Consistency Methods for Temporal Reasoning
CSPs: Search and Arc Consistency Computer Science cpsc322, Lecture 12
Introduction to Artificial Intelligence
Problem Solving by Searching
Brad Clement and Ed Durfee Artificial Intelligence Laboratory
Artificial Intelligence Problem solving by searching CSC 361
CSPs: Search and Arc Consistency Computer Science cpsc322, Lecture 12
Finding Heuristics Using Abstraction
Brad Clement and Ed Durfee Artificial Intelligence Laboratory
Alpha-Beta Search.
EA C461 – Artificial Intelligence
CIS 488/588 Bruce R. Maxim UM-Dearborn
Alpha-Beta Search.
Class #20 – Wednesday, November 5
SAMANVITHA RAMAYANAM 18TH FEBRUARY 2010 CPE 691
Alpha-Beta Search.
A General Backtracking Algorithm
CS 584 Lecture7 Assignment -- Due Now! Paper Review is due next week.
Authors: Barry Smyth, Mark T. Keane, Padraig Cunningham
Minimax strategies, alpha beta pruning
Lecture 3: Environs and Algorithms
Knowledge Representation
Alpha-Beta Search.
Brad Clement and Ed Durfee University of Michigan
ECE457 Applied Artificial Intelligence Fall 2007 Lecture #2
Search.
The Rich/Knight Implementation
Major Design Strategies
CS 416 Artificial Intelligence
Search.
Alpha-Beta Search.
Minimax strategies, alpha beta pruning
Heuristic Search Viewed as path Finding in a Graph
Major Design Strategies
Class #17 – Tuesday, October 30
The Rich/Knight Implementation
Unit II Game Playing.
CS137: Electronic Design Automation
Presentation transcript:

Using Abstraction to Coordinate Multiple Robotic Spacecraft Brad Clement, Tony Barrett, Gregg Rabideau Artificial Intelligence Group Jet Propulsion Laboratory California Institute of Technology {clement, barrett, Ed Durfee Artificial Intelligence Lab University of Michigan

Automated Planning/Scheduling Choose and order actions that take robot(s) from current state to goal state Decompose abstract tasks/goals into detailed actions Current StateGoal State goal subgoal goal

Planning at Abstract Levels Resolve conflicts at high level to minimize search time and preserve decomposition choices Better solutions may exist at lower levels planning levels crispersolutions lower planning cost flexibility

Motivation Hierarchical refinement search can reduce the search space exponentially when there is no need to backtrack up the hierarchy. (Korf ’87, Knoblock ’91) Planning problems often have interacting goals such that backtracking is necessary. By summarizing the state constraints of an abstract task’s refinement, an HTN style planner can reduce the search space exponentially. (Clement & Durfee 2000) Show that any planner or scheduler can reap the benefits of abstraction.  Apply this work to metric resources in an iterative repair planner (ASPEN).

Motivation Hierarchical plans also exploited by robust execution systems (PRS, RAPS, etc.) Reasoning about plans at multiple levels of abstraction is natural for situated planning systems –human interaction –continual planning –coordination across planners

Contributions Algorithm summarizing metric resource usage for abstract activities based on their decompositions Complexity analyses showing that scheduling is exponentially cheaper at higher levels of abstraction using summary information Experiments in a multi-rover domain that support the analyses Search techniques for directing the refinement of activities in an iterative repair planner that further improve performance

Resource Usage Depletable resource –usage carries over after end of task –gas = gas - 5 Non-depletable –usage is only local –zero after end of task –machines = machines - 2 Replenishing a resource –negative usage –gas = gas + 10 –can be depletable or non-depletable interval of task

Mars Rover morning activities move(A, B) sunbathe soak rays use –4W 20 min soak rays use –5W 20 min soak rays use –6W 20 min low path go(A,1) use 6W 10 min go(1,2) use 6W 10 min go(2,B) use 12W 20 min go(A,B) use 8W 50 min go(A,3) use 8W 15 min go(3,B) use 12W 25 min middle path high path A B C D E F 12 3

Summarizing Resource Usage soak rays low Battery power usage for three possible decompositions morning activities move(A, B) sunbathe soak rays use –4W 20 min soak rays use –5W 20 min soak rays use –6W 20 min low path go(A,1) use 6W 10 min go(1,2) use 6W 10 min go(2,B) use 12W 20 min go(A,B) use 8W 50 min go(A,3) use 8W 15 min go(3,B) use 12W 25 min middle path high path soak rays medium soak rays high

summarized resource usage  Captures uncertainty of decomposition choices and temporal uncertainty of partially ordered actions Can be used to determine if a resource usage may, must, or must not cause a conflict Summarizing Resource Usage

Resource Summarization Algorithm Can be run offline for a domain model Run separately for each resource Recursive from leaves up hierarchy Summarizes parent from summarizations of immediate children Considers all legal orderings of children Considers all subintervals where upper and lower bounds of children’s resource usage may be reached Exponential with number of immediate children, so summarization is really constant for one resource and O(r) for r resources

Resource Summarization Algorithm OR

Resource Summarization Algorithm Serial AND

Resource Summarization Algorithm Parallel AND

Resource Summarization Algorithm for each consistent ordering of endpoints –for each subtask/subinterval summary usage assignment use Parallel-AND to combine subtask/subinterval usages by subinterval use Serial-AND over the chain of subintervals use OR computation to combine profiles Each iteration generates a profile

Complexity Analyses Iterative repair planners (such as ASPEN) heuristically pick conflicts and resolve them by moving activities and choosing alternative decompositions of abstract activities. Moving an activity hierarchy to resolve a conflict is O(vnc 2 ) for v state or resource variables, n hierarchies in the schedule, and c constraints in hierarchy per variable. Summarization can collapse the constraints per variable making c smaller. In the worst case, where no constraints are collapsed because they are over different variables, the complexity of moving activity hierarchies at different levels of expansion is the same.... level 0 1 d 12n branching factor b c constraints per hierarchy v variables

Complexity Analyses In the other extreme, where constraints are always collapsed when made for the same variable, the number of constraints c is the same as the number of activities and grows b i for b children per activity and depth level i. Thus, the complexity of scheduling operations grows O(vnb 2i ). Along another dimension, the number of temporal constraints that can cause conflicts during scheduling grows exponentially (O(b i )) with the number of activities as hierarchies are expanded. In addition, by using summary information to prune decomposition choices with greater numbers of conflicts, exponential computation is avoided. Thus, reasoning at abstract levels can resolve conflicts exponentially faster.... level 0 1 d 12n branching factor b c constraints per hierarchy v variables

Decomposition Strategies Level expansion –repair conflicts at current level of abstraction until conflicts cannot be further resolved –then decompose all activities to next level and begin repairing again Expand most threats first (EMTF) –instead of moving activity to resolve conflict, decompose with some probability (decomposition rate) –expands activities involved in greater numbers of conflicts (threats) Relative performance of two techniques depends decomposition rate selected for EMTF

Decomposition Strategies FTF (fewest-threats-first) heuristic tests each decomposition choice and picks those with fewer conflicts with greater probability. rover_move path1path2path3 10 conflicts 20 conflicts15 conflicts

Multi-Rover Domain 2 to 5 rovers Triangulated field of 9 to 105 waypoints 6 to 30 science locations assigned according to a multiple travelling salesman algorithm Rovers’ plans contain 3 shortest path choices to reach next science location Paths between waypoints have capacities for a certain number of rovers Rovers cannot be at same location at the same time Rovers cannot cannot cross a path in opposite directions at the same time Rovers communicate with the lander over a shared channel for telemetry--different paths require more bandwidth than others

Experiments using ASPEN for a Multi-Rover Domain Performance improves greatly when activities share a common resource. Rarely shared resources (only path variables)Mix of rarely shared (paths) and often shared (channel) resources Often shared (channel) resource only

Experiments using ASPEN for a Multi-Rover Domain CPU time required increases dramatically for solutions found at increasing depth levels.

Picking branches that result in fewer conflicts (FTF) greatly improves performance. Expanding activities involved in greater numbers of conflicts is better than level-by-level expansion when choosing a proper rate of decomposition Experiments in ASPEN for a Multi-Rover Domain

Summary Algorithm summarizing metric resource usage for abstract activities based on their decompositions Complexity analyses showing that scheduling operations are exponentially cheaper at higher levels of abstraction when summarizing activities collapses state/resource constraints and temporal constraints Experiments in multi-rover domain support analyses Reasoning at abstract levels is wasteful when hierarchies must be fully expanded and OR branch selection is not important Search techniques for directing the refinement of activities further improve performance

Future Work How does abstract reasoning affect plan quality when using iterative repair? How should complex resources be abstracted? –resource usage functions –window variables –geometrical constraints –volatile objects (file system) What is the effect of abstracting over resource classes? What are efficient protocols for coordinating a group of agents’ plans continually?