Minh Do - PARC Planning with Goal Utility Dependencies J. Benton Department of Computer Science Arizona State University Tempe, AZ Subbarao.

Slides:



Advertisements
Similar presentations
L3S Research Center University of Hanover Germany
Advertisements

Impact of Interference on Multi-hop Wireless Network Performance Kamal Jain, Jitu Padhye, Venkat Padmanabhan and Lili Qiu Microsoft Research Redmond.
Cognitive Science Integrating a Closed World Planner with an Open World Robot: A Case Study 1 Kartik Talamadupula J. Benton Subbarao Kambhampati Dept.
OCV-Aware Top-Level Clock Tree Optimization
Fragment-Based Conformant Planning James Kurien Palo Alto Research Center Pandu NayakStratify, Inc. David E. SmithNASA Ames Research Center.
An LP-Based Heuristic for Optimal Planning Menkes van den Briel Department of Industrial Engineering Arizona State University
Top 5 Worst Times For A Conference Talk 1.Last Day 2.Last Session of Last Day 3.Last Talk of Last Session of Last Day 4.Last Talk of Last Session of Last.
Sungwook Yoon – Probabilistic Planning via Determinization Probabilistic Planning via Determinization in Hindsight FF-Hindsight Sungwook Yoon Joint work.
U NIVERSITY OF M ASSACHUSETTS, A MHERST Department of Computer Science Solving POMDPs Using Quadratically Constrained Linear Programs Christopher Amato.
Constraint Optimization Presentation by Nathan Stender Chapter 13 of Constraint Processing by Rina Dechter 3/25/20131Constraint Optimization.
Structured SVM Chen-Tse Tsai and Siddharth Gupta.
Effective Approaches for Partial Satisfaction (Over-subscription) Planning Romeo Sanchez * Menkes van den Briel ** Subbarao Kambhampati * * Department.
Onur G. Guleryuz & Ulas C.Kozat DoCoMo USA Labs, San Jose, CA 95110
F.F. Dragan (Kent State) A.B. Kahng (UCSD) I. Mandoiu (UCLA) S. Muddu (Sanera Systems) A. Zelikovsky (Georgia State) Provably Good Global Buffering by.
Dynamic State-Space Partitioning in External-Memory Graph Search Rong Zhou † and Eric A. Hansen ‡ † Palo Alto Research Center ‡ Mississippi State University.
Fluent Merging: A General Technique to Improve Reachability Heuristics and Factored Planning Menkes van den Briel Department of Industrial Engineering.
When is Temporal Planning Really Temporal? William Cushing Subbarao Kambhampati Special thanks to: J. Benton, Menkes van den Briel Mausam Daniel Weld.
Utilizing Problem Structure in Local Search: The Planning Benchmarks as a Case Study Jőrg Hoffmann Alberts-Ludwigs-University Freiburg.
INFORMS Annual Meeting, San Diego, Oct 11 – 14, 2009 A New, Intuitive and Industrial Scale Approach towards Uncertainty in Supply Chains G.N. Srinivasa.
Planning under Uncertainty
Making Choices using Structure at the Instance Level within a Case Based Reasoning Framework Cormac Gebruers*, Alessio Guerri †, Brahim Hnich* & Michela.
Improving Market-Based Task Allocation with Optimal Seed Schedules IAS-11, Ottawa. September 1, 2010 G. Ayorkor Korsah 1 Balajee Kannan 1, Imran Fanaswala.
1 Integer Programming Approaches for Automated Planning Menkes van den Briel Department of Industrial Engineering Arizona State University
Relational Data Mining in Finance Haonan Zhang CFWin /04/2003.
1 University of Southern California Towards A Formalization Of Teamwork With Resource Constraints Praveen Paruchuri, Milind Tambe, Fernando Ordonez University.
Over-subscription Planning with Numeric Goals J. Benton Computer Sci. & Eng. Dept. Arizona State University Tempe, AZ Minh Do Palo Alto Research Center.
Searching for Autarkies to Trim Unsatisfiable Clause Sets Mark H. Liffiton and Karem A. Sakallah University of Michigan {liffiton,
Feature Selection for Regression Problems
Extending Graphplan to handle Resources Presenter: Pham Van Cuong Department of Computer Science New Mexico State University.
TADA Transition Aligned Domain Analysis T J. Benton and Kartik Talamadupula and Subbarao Kambhampati.
Finding Admissible Bounds for Over- subscribed Planning Problems J. Benton Menkes van den BrielSubbarao Kambhampati Arizona State University.
Computational Methods for Management and Economics Carla Gomes
State Agnostic Planning Graphs William Cushing Daniel Bryce Arizona State University {william.cushing, Special thanks to: Subbarao Kambhampati,
1. 2 Problem Description & Assumption Metric model in Sapa planner:  f(p) = w * time(p) + (1-w) * cost(p).  Assuming that the trade-off value w is given.
Planning Graph-based Heuristics for Cost-sensitive Temporal Planning Minh B. Do & Subbarao Kambhampati CSE Department, Arizona State University
ICAPS workshop on the Competition Subbarao Kambhampati Are we comparing Dana & Fahiem or SHOP and TLPlan? (A Critique of Knowledge-based Planning Track.
A Hybrid Linear Programming and Relaxed Plan Heuristic for Partial Satisfaction Planning Problems J. Benton Menkes van den BrielSubbarao Kambhampati Arizona.
Solving the Protein Threading Problem in Parallel Nocola Yanev, Rumen Andonov Indrajit Bhattacharya CMSC 838T Presentation.
Recovering Articulated Object Models from 3D Range Data Dragomir Anguelov Daphne Koller Hoi-Cheung Pang Praveen Srinivasan Sebastian Thrun Computer Science.
Expressive and Efficient Frameworks for Partial Satisfaction Planning Subbarao Kambhampati Arizona State University (Proposal submitted for consideration.
The UNIVERSITY of NORTH CAROLINA at CHAPEL HILL Constraint-Based Motion Planning using Voronoi Diagrams Maxim Garber and Ming C. Lin Department of Computer.
Reviving Integer Programming Approaches for AI Planning: A Branch-and-Cut Framework Thomas Vossen Leeds School of Business University of Colorado at Boulder.
Impact of Problem Centralization on Distributed Constraint Optimization Algorithms John P. Davin and Pragnesh Jay Modi Carnegie Mellon University School.
Threshold Voltage Assignment to Supply Voltage Islands in Core- based System-on-a-Chip Designs Project Proposal: Gall Gotfried Steven Beigelmacher 02/09/05.
1 Combinatorial Problems in Cooperative Control: Complexity and Scalability Carla Gomes and Bart Selman Cornell University Muri Meeting March 2002.
Distributed Constraint Optimization * some slides courtesy of P. Modi
Airline Schedule Optimization (Fleet Assignment II) Saba Neyshabouri.
Distributed Constraint Optimization Michal Jakob Agent Technology Center, Dept. of Computer Science and Engineering, FEE, Czech Technical University A4M33MAS.
Confidentiality Preserving Integer Programming for Global Routing Hamid Shojaei, Azadeh Davoodi, Parmesh Ramanathan Department of Electrical and Computer.
Mining Discriminative Components With Low-Rank and Sparsity Constraints for Face Recognition Qiang Zhang, Baoxin Li Computer Science and Engineering Arizona.
1 Outline:  Outline of the algorithm  MILP formulation  Experimental Results  Conclusions and Remarks Advances in solving scheduling problems with.
An Algorithm for the Coalitional Manipulation Problem under Maximin Michael Zuckerman, Omer Lev and Jeffrey S. Rosenschein (Simulations by Amitai Levy)
Introduction to Job Shop Scheduling Problem Qianjun Xu Oct. 30, 2001.
Solving Compound inequalities with OR. Equation 2k-5>7 OR -3k-1>8.
On Graphs Supporting Greedy Forwarding for Directional Wireless Networks W. Si, B. Scholz, G. Mao, R. Boreli, et al. University of Western Sydney National.
Resource Mapping and Scheduling for Heterogeneous Network Processor Systems Liang Yang, Tushar Gohad, Pavel Ghosh, Devesh Sinha, Arunabha Sen and Andrea.
15.053Tuesday, April 9 Branch and Bound Handouts: Lecture Notes.
Synthesizing Robust Plans under Incomplete Domain Models Tuan Nguyen and Subbarao Kambhampati Department of CSE, Arizona State University Minh Do Palo.
Automated Planning Dr. Héctor Muñoz-Avila. What is Planning? Classical Definition Domain Independent: symbolic descriptions of the problems and the domain.
Robust Planning using Constraint Satisfaction Techniques Daniel Buettner and Berthe Y. Choueiry Constraint Systems Laboratory Department of Computer Science.
Hub Location–Allocation in Intermodal Logistic Networks Hüseyin Utku KIYMAZ.
WCET-Aware Dynamic Code Management on Scratchpads for Software-Managed Multicores Yooseong Kim 1,2, David Broman 2,3, Jian Cai 1, Aviral Shrivastava 1,2.
Search Control.. Planning is really really hard –Theoretically, practically But people seem ok at it What to do…. –Abstraction –Find “easy” classes of.
By J. Hoffmann and B. Nebel
1 A Methodology for automatic retrieval of similarly shaped machinable components Mark Ascher - Dept of ECE.
Heuristic Search Planners. 2 USC INFORMATION SCIENCES INSTITUTE Planning as heuristic search Use standard search techniques, e.g. A*, best-first, hill-climbing.
Data Driven Resource Allocation for Distributed Learning
Chapter 7 Linear Programming
CIS 700 Advanced Machine Learning for NLP Inference Applications
Minh Do, Terry Zimmerman, and Subbarao Kambhampati
Presentation transcript:

Minh Do - PARC Planning with Goal Utility Dependencies J. Benton Department of Computer Science Arizona State University Tempe, AZ Subbarao Kambhampati Department of Computer Science Arizona State University Tempe, AZ Minh Do Embedded Reasoning Area Palo Alto Research Center Palo Alto, CA Menkes van den Briel Department of Computer Science Arizona State University Tempe, AZ

Minh Do - PARC Planning with Goal Utility Dependencies Classical vs. Over-Subscription Planning Classical Planning Initial state Set of goals Actions Find a plan that achieves all goals (prefer plans with fewer actions) Over-Subscription Planning Initial state Goals with differing utilities Actions with differing costs Find a plan with highest net benefit (cumulative utility – cumulative cost) (best plan may not achieve all the goals) 1/19

Minh Do - PARC Planning with Goal Utility Dependencies Goal Dependencies cost dependencies Actions achieving different goals interact positively or negatively Goals may complement or substitute each other utility dependencies goal interactions exist as two distinct types Handled by previous planners AltWlt, Optiplan, Sapa PS Investigated in this paper a 2/19

Minh Do - PARC Planning with Goal Utility Dependencies Complementary Goals Cost: 10 Util: 20 Cost: 100 Util: 50 Cost: 110 Util: 300 3/19

Minh Do - PARC Planning with Goal Utility Dependencies Substitute Goals Cost: Util: Cost: Util: /19

Minh Do - PARC Planning with Goal Utility Dependencies Conditional Dependency Cost: 500 Util: 1000 Cost: 500 Util: 0

Minh Do - PARC Planning with Goal Utility Dependencies Challenges 1.Modeling goal utility dependencies 2.Doing planning in the presence of utility (and cost) dependencies 5/19

Minh Do - PARC Planning with Goal Utility Dependencies Modeling Goal Dependencies General Additive Independence (GAI) Model (Bacchus & Grove, 1995) Utility over sets of dependent goals Util: 20Util: 50Util: 300 6/19

Minh Do - PARC Planning with Goal Utility Dependencies Planning Approaches Bounded-horizon Optimal using Integer Linear Programming (ILP): Supports action cost and goal utility naturally Handles the objective function of maximizing utility-cost tradeoffs easily Concern: scaling up with complex problems Heuristic Search: Scale up well Challenge: Developing good heuristics Pursue two different approaches 7/19

Minh Do - PARC Planning with Goal Utility Dependencies I I G AT_STORE AT_HOME IN_CAR AT_OFFICE AT_HOME t = 1t = 2t = 3 Shoes Car G1SC IP Encoding IP Constraints: Capture the flow of each variable from I to G Interaction between different flows IPPlan (van den Briel et. al., 2005) 8/19

Minh Do - PARC Planning with Goal Utility Dependencies iPUD : Extended G1SC Encoding Remove hard constraints on goal achievement. Introduce a new binary variable for each related goal set S. Add constraints to ensure that S is achieved when achieved (and vice versa). New objective function capturing goal utility dependencies. 9/19

Minh Do - PARC Planning with Goal Utility Dependencies SPUDS : Heuristic Search Approach I Forward State-space Planning Search using A* Node evaluation: g = U(G S ) – Cost(P S ) | h(S): expected additional benefit Output better quality solutions given more time (anytime) S1S1 S2S2 S3S3 S4S4 S5S5 Extending Sapa PS (2004) 10/19

Minh Do - PARC Planning with Goal Utility Dependencies Heuristic: Relaxed Plan Step 1: Estimate the lowest cost relaxed plan P + achieving all remaining goals I S all remaining goals A3A3 A1A1 A4A4 A2A2 relaxed plan Going backward, greedily select lowest cost action achieving all remaining goals Introduced in FF (Hoffman & Nebel, 2001) 11/19

Minh Do - PARC Planning with Goal Utility Dependencies Heuristic S A3A3 A1A1 A4A4 A2A2 Step 2: Build Cost-dependencies between actions in P + Build the supported goal set: GS(A 1 ) = {G 3 }, GS(A 2 ) = {G 1,G 2,G 3 } G1G1 G2G2 G3G3 12/19

Minh Do - PARC Planning with Goal Utility Dependencies Heuristic Step 3: Extract the optimal relaxed plan within P + S A3 A2 G1 G2 G3 Removing costly goals and actions (solely) supporting them Set up and solve an IP encoding using GS(A) and goal utility dependencies functions f(S) A1 A4 13/19

Minh Do - PARC Planning with Goal Utility Dependencies Heuristic: Summary Step 1: Estimate the lowest cost relaxed plan P + achieving all remaining goals Step 2: Build cost-dependencies between goals in P + Step 3: Find the optimal relaxed plan within P + 14/19 Approximate the relaxed plan with the best utility-cost tradeoff

Minh Do - PARC Planning with Goal Utility Dependencies Experimental Setup IPC problems in 4 benchmark domains: Satellite, ZenoTravel, TPP, Rovers Goals randomly selected as “hard” or “soft” Goal utilities and action costs randomly generated within upper/lower bounds. Goal dependencies randomly generated Compared iPud, SPUDS (three heuristics) and Sapa PS. 15/19

Minh Do - PARC Planning with Goal Utility Dependencies Time-bounded Solution Quality Problems for each domain: Total of 40 hardest problems 16/19

Minh Do - PARC Planning with Goal Utility Dependencies Quality & Time Comparison 20 problems for each domain (harder going from left to right) Planning time limit: 600 secs 17/19

Minh Do - PARC Planning with Goal Utility Dependencies Summary Goal utility dependency in GAI framework iPud: Bounded-horizon optimal plans SPUDS: Heuristic forward search cost dependencies + utility dependencies IP encoding for heuristic improvement 18/19

Minh Do - PARC Planning with Goal Utility Dependencies Future Work Quantitative + Qualitative preference (PrefPlan by Brafman & Chernyavsky) PDDL3 preference model Residual cost as in AltWlt (Sanchez & Kambhampati) 19/19

Minh Do - PARC Planning with Goal Utility Dependencies Thank You !