Automated Planning Introduction and Overview. Automated Planning: Introduction and Overview 2 Literature Malik Ghallab, Dana Nau, and Paolo Traverso.

Slides:



Advertisements
Similar presentations
Computer Science CPSC 322 Lecture 3 AI Applications.
Advertisements

Semantics Static semantics Dynamic semantics attribute grammars
Dana Nau: Lecture slides for Automated Planning Licensed under the Creative Commons Attribution-NonCommercial-ShareAlike License:
Automatic Verification Book: Chapter 6. What is verification? Traditionally, verification means proof of correctness automatic: model checking deductive:
Dana Nau: Lecture slides for Automated Planning Licensed under the Creative Commons Attribution-NonCommercial-ShareAlike License:
PLANNING Ivan Bratko Acknowledgement: Some of these slides were adapted from D. Nau’s course on planning.
Solutions for Scheduling Assays. Why do we use laboratory automation? Improve quality control (QC) Free resources Reduce sa fety risks Automatic data.
Dana Nau: Lecture slides for Automated Planning Licensed under the Creative Commons Attribution-NonCommercial-ShareAlike License:
The Situation Calculus and the Frame Problem Using Theorem Proving to Generate Plans.
CS 380: Artificial Intelligence Lecture #3 William Regli.
Automated Planning Introduction and Overview. Automated Planning: Introduction and Overview 2 Literature Malik Ghallab, Dana Nau, and Paolo Traverso.
CPSC 322, Lecture 19Slide 1 Propositional Logic Intro, Syntax Computer Science cpsc322, Lecture 19 (Textbook Chpt ) February, 23, 2009.
FIN 685: Risk Management Topic 5: Simulation Larry Schrenk, Instructor.
Problem Solving What is AI way of solving problem?
Introduction To System Analysis and Design
Towards An Algebraic Formulation of Domain Definitions using Parameterised Machines T. L. McCluskey and R. M.Simpson School of Computing and Engineering.
Scheduling for Embedded Real-Time Systems Amit Mahajan and Haibo.
Validating Streaming XML Documents Luc Segoufin & Victor Vianu Presented by Harel Paz.
Uninformed Search Reading: Chapter 3 by today, Chapter by Wednesday, 9/12 Homework #2 will be given out on Wednesday DID YOU TURN IN YOUR SURVEY?
Programming Language Semantics Mooly SagivEran Yahav Schrirber 317Open space html://
Semantics with Applications Mooly Sagiv Schrirber html:// Textbooks:Winskel The.
Amirkabir University of Technology, Computer Engineering Faculty, Intelligent Systems Laboratory,Requirements Engineering Course, Dr. Abdollahzadeh 1 Goal.
State-Space Search and the STRIPS Planner Searching for a Path through a Graph of Nodes Representing World States.
Leroy Garcia 1.  Artificial Intelligence is the branch of computer science that is concerned with the automation of intelligent behavior (Luger, 2008).
Basic Concepts The Unified Modeling Language (UML) SYSC System Analysis and Design.
Intelligent Agents. Software agents O Monday: O Overview video (Introduction to software agents) O Agents and environments O Rationality O Wednesday:
Teaching Teaching Discrete Mathematics and Algorithms & Data Structures Online G.MirkowskaPJIIT.
Overview of the Database Development Process
Chapter 2 The process Process, Methods, and Tools
1 Intelligent Systems ISCRAM 2013 Validating Procedural Knowledge in the Open Virtual Collaboration Environment Gerhard Wickler AIAI, University.
Dana Nau: Lecture slides for Automated Planning Licensed under the Creative Commons Attribution-NonCommercial-ShareAlike License:
Complexity of Classical Planning Megan Smith Lehigh University CSE 497, Spring 2007.
Dana Nau: Lecture slides for Automated Planning Licensed under the Creative Commons Attribution-NonCommercial-ShareAlike License:
Benjamin Gamble. What is Time?  Can mean many different things to a computer Dynamic Equation Variable System State 2.
State-Space Search and the STRIPS Planner Searching for a Path through a Graph of Nodes Representing World States.
Major objective of this course is: Design and analysis of modern algorithms Different variants Accuracy Efficiency Comparing efficiencies Motivation thinking.
M ACHINE P LANNING, I NTRODUCTION AND O VERVIEW.  Motivations.  Definitions.  Forms of planning.  Domain Specific Planning  Planning conceptual model.
Linear Programming Erasmus Mobility Program (24Apr2012) Pollack Mihály Engineering Faculty (PMMK) University of Pécs João Miranda
Dana Nau: Lecture slides for Automated Planning Licensed under the Creative Commons Attribution-NonCommercial-ShareAlike License:
Temporal Planning Planning with Temporal and Concurrent Actions.
Chapter 2 Processes and Threads Introduction 2.2 Processes A Process is the execution of a Program More specifically… – A process is a program.
Dana Nau: Lecture slides for Automated Planning Licensed under the Creative Commons Attribution-NonCommercial-ShareAlike License:
Automated Planning Dr. Héctor Muñoz-Avila. What is Planning? Classical Definition Domain Independent: symbolic descriptions of the problems and the domain.
Dana Nau: Lecture slides for Automated Planning Licensed under the Creative Commons Attribution-NonCommercial-ShareAlike License:
A General Introduction to Artificial Intelligence.
MDPs (cont) & Reinforcement Learning
OMT Modeling 1. Object Model : presented by the object model and the data dictionary. 2. Dynamic Model: presented by the state diagrams and event flow.
CPSC 322, Lecture 19Slide 1 (finish Planning) Propositional Logic Intro, Syntax Computer Science cpsc322, Lecture 19 (Textbook Chpt – 5.2) Oct,
Dana Nau: Lecture slides for Automated Planning Licensed under the Creative Commons Attribution-NonCommercial-ShareAlike License:
Introduction to State Space Search
Alternative Representations Propositions and State-Variables.
Dana Nau: Lecture slides for Automated Planning Licensed under the Creative Commons Attribution-NonCommercial-ShareAlike License:
___________________________________________________ Informatics MSc Course PLAN – Automated Planning The aim of this course is to provide: a solid grounding.
Intelligent Agents Chapter 2. How do you design an intelligent agent? Definition: An intelligent agent perceives its environment via sensors and acts.
© 2010 Pearson Addison-Wesley. All rights reserved. Addison Wesley is an imprint of CHAPTER 1: Introduction Java Software Structures: Designing and Using.
Simulation Examples And General Principles Part 2
1 Dana Nau: Lecture slides for Automated Planning Licensed under the Creative Commons Attribution-NonCommercial-ShareAlike License:
Network Management Lecture 13. MACHINE LEARNING TECHNIQUES 2 Dr. Atiq Ahmed Université de Balouchistan.
Decision Support Systems
OPERATING SYSTEMS CS 3502 Fall 2017
Complexity Time: 2 Hours.
Graph Coverage for Specifications CS 4501 / 6501 Software Testing
Intelligent Agents Chapter 2.
Review for the Midterm Exam
Objective of This Course
Warning I estimate 3 weeks of intensive reading for you to understand your assigned topic These are not self contained and you will need to understand.
Graph Coverage for Specifications CS 4501 / 6501 Software Testing
Graphplan/ SATPlan Chapter
Chapter 2 Representations for Classical Planning
Graphplan/ SATPlan Chapter
Presentation transcript:

Automated Planning Introduction and Overview

Automated Planning: Introduction and Overview 2 Literature Malik Ghallab, Dana Nau, and Paolo Traverso. Automated Planning–Theory and Practice, chapter 1. Elsevier/Morgan Kaufmann, John E. Hopcroft and Jeffrey D. Ullman. Introduction to Automata Theory, Languages, and Computation, chapter 2. Addison Wesley, Qiang Yang. Intelligent Planning–A Decomposition and Abstraction Based Approach. Springer, James Allen, James Hendler, Austin Tate (eds). Readings in Planning. Morgan Kaufmann, 1990.

Automated Planning: Introduction and Overview 3 Overview What is AI Planning? A Conceptual Model for Planning Restricting Assumptions A Running Example: Dock-Worker Robots

Automated Planning: Introduction and Overview 4 Human Planning and Acting acting without (explicit) planning: when purpose is immediate when performing well-trained behaviours when course of action can be freely adapted acting after planning: when addressing a new situation when tasks are complex when the environment imposes high risk/cost when collaborating with others people plan only when strictly necessary

Automated Planning: Introduction and Overview 5 Defining AI Planning planning: explicit deliberation process that chooses and organizes actions by anticipating their outcomes aims at achieving some pre-stated objectives AI planning: computational study of this deliberation process

Automated Planning: Introduction and Overview 6 Why Study Planning in AI? scientific goal of AI: understand intelligence planning is an important component of rational (intelligent) behaviour engineering goal of AI: build intelligent entities build planning software for choosing and organizing actions for autonomous intelligent machines

Automated Planning: Introduction and Overview 7 Domain-Specific vs. Domain-Independent Planning domain-specific planning: use specific representations and techniques adapted to each problem important domains: path and motion planning, perception planning, manipulation planning, communication planning domain-independent planning: use generic representations and techniques exploit commonalities to all forms of planning leads to general understanding of planning domain-independent planning complements domain-specific planning

Automated Planning: Introduction and Overview 8 Overview What is AI Planning? A Conceptual Model for Planning Restricting Assumptions A Running Example: Dock-Worker Robots

Automated Planning: Introduction and Overview 9 Why a Conceptual Model? conceptual model: theoretical device for describing the elements of a problem good for: explaining basic concepts clarifying assumptions analyzing requirements proving semantic properties not good for: efficient algorithms and computational concerns

Automated Planning: Introduction and Overview 10 Conceptual Model for Planning: State-Transition Systems A state-transition system is a 4-tuple Σ = (S,A,E,γ), where: S = {s 1,s 2,…} is a finite or recursively enumerable set of states; A = {a 1,a 2,…} is a finite or recursively enumerable set of actions; E = {e 1,e 2,…} is a finite or recursively enumerable set of events; and γ: S×(A  E)→2 S is a state transition function. if a  A and γ(s,a)   then a is applicable in s applying a in s will take the system to s  γ(s,a)

Automated Planning: Introduction and Overview 11 State-Transition Systems as Graphs A state-transition system Σ = (S,A,E,γ) can be represented by a directed labelled graph G = (N G,E G ) where: the nodes correspond to the states in S, i.e. N G =S ; and there is an arc from s  N G to s  N G, i.e. s→s  E G, with label u  (A  E) if and only if s  γ(s,a).

Automated Planning: Introduction and Overview 12 State-Transition Graph Example: Missionaries and Cannibals 1c 1m 1c 2c 1c 2c 1c 2m 1m 1c 1c 2c 1m 2m 1c 2c 1c 1m

Automated Planning: Introduction and Overview 13 Objectives and Plans state-transition system: describes all ways in which a system may evolve plan : a structure that gives appropriate actions to apply in order to achieve some objective when starting from a given state types of objective: goal state s g or set of goal states S g satisfy some conditions over the sequence of states optimize utility function attached to states task to be performed

Automated Planning: Introduction and Overview 14 Planning and Plan Execution planner: given: description of Σ, initial state, objective generate: plan that achieves objective controller: given: plan, current state (observation function: η:S → O ) generate: action state-transition system: evolves as actions are executed and events occur Planner Controller System Σ Initial State Objectives Description of Σ Events Plan ActionsObservations

Automated Planning: Introduction and Overview 15 Dynamic Planning problem: real world differs from model described by Σ more realistic model: interleaved planning and execution plan supervision plan revision re-planning dynamic planning: closed loop between planner and controller execution status Planner Controller System Σ Initial State Objectives Description of Σ Events Plans ActionsObservations Execution Status

Automated Planning: Introduction and Overview 16 State-Transition Systems: Abbreviations the neutral event (written ε ) for transitions that are due only to actions the neutral action (written no-op ) for transitions that are due only to events for a state-transition system Σ = (S,A,E,γ) we write: γ(s,a) for s  S, a  A, as shorthand for γ(s,a, ε ) γ(s,e) for s  S, e  E, as shorthand for γ(s, no-op,e) in the graph the arc labels can be abbreviated to a for (a,ε) and e for ( no-op,e)

Automated Planning: Introduction and Overview 17 Actions vs. Events actions: transitions that are controlled by the plan executor if a  A and γ(s,a, ε )   then a is applicable to state s applying a in s will take the system to some state s  γ(s,a) events: transitions that are contingent (correspond to the internal dynamics of the system) if e  E and γ(s, no-op,e)   then e may possibly occur in state s the occurrence of e in s will take the system to some state s  γ(s,e)

Automated Planning: Introduction and Overview 18 Overview What is AI Planning? A Conceptual Model for Planning Restricting Assumptions A Running Example: Dock-Worker Robots

Automated Planning: Introduction and Overview 19 A0: Finite Σ Assumption A0 system Σ has a finite set of states Relaxing A0 why? to describe actions that construct or bring new objects into the world to handle numerical state variables issues: decidability and termination of planners

Automated Planning: Introduction and Overview 20 A1: Fully Observable Σ Assumption A1 system Σ is fully observable, i.e. η is the identity function Relaxing A1 why? to handle states in which not every aspect is or can be known issues: if η(s)=o, η -1 (o) usually more than one state (ambiguity) determining the successor state

Automated Planning: Introduction and Overview 21 A2: Deterministic Σ Assumption A2 system Σ is deterministic, i.e. for all s  S, u  A  E: | γ (s,u)|  1 short form: γ (s,u)=s for γ (s,u)={s} Relaxing A2 why? to plan with actions that may have multiple alternative outcomes issues: controller has to observe actual outcomes of actions solution plan may include conditional and iterative constructs

Automated Planning: Introduction and Overview 22 A3: Static Σ Assumption A3 system Σ is static, i.e. E=  short form: Σ = (S,A,γ) for Σ = (S,A, ,γ) Relaxing A3 why? to model a world in which events can occur issues: world becomes nondeterministic from the point of view of the planner (same issues)

Automated Planning: Introduction and Overview 23 A4: Restricted Goals Assumption A4 the planner handles only restricted goals that are given as an explicit goal state s g or set of goal states S g Relaxing A4 why? to handle constraints on states and plans, utility functions, or tasks issues: representation and reasoning over constraints, utility, and tasks

Automated Planning: Introduction and Overview 24 A5: Sequential Plans Assumption A5 a solution plan is a linearly ordered finite sequence of actions Relaxing A5 why? to handle dynamic systems (see A3: static Σ ) to create different types of plans issues: must not shift problem to the controller reasoning about (more complex) data structures

Automated Planning: Introduction and Overview 25 A6: Implicit Time Assumption A6 actions and events have no duration in state transition systems Relaxing A6 why? to handle action duration, concurrency, and deadlines issues: representation of and reasoning about time controller must wait for effects of actions to occur

Automated Planning: Introduction and Overview 26 A7: Offline Planning Assumption A7 planner is not concerned with changes of Σ while it is planning Relaxing A7 why? to drive a system towards some objectives issues: check whether the current plan remains valid if needed, revise current plan or re-plan

Automated Planning: Introduction and Overview 27 The Restricted Model restricted model: make assumptions A0-A7 Given a planning problem P =( Σ,s i,S g ) where Σ = (S,A,γ) is a state transition system, s i  S is the initial state, and S g  S is a set of goal states, find a sequence of actions 〈 a 1,a 2,…,a k 〉 corresponding to a sequence of state transitions 〈 s i,s 1,…,s k 〉 such that s 1 = γ(s i,a 1 ), s 2 = γ(s 1,a 2 ),…, s k = γ(s k-1,a k ), and s k  S g.

Automated Planning: Introduction and Overview 28 Restrictedness? non-deterministic state-transition system: equivalent deterministic state- transition system: sisi s1s1 s3s3 s2s2 s4s4 sgsg a1a1 a1a1 a1a1 a1a1 a2a2 a2a2 a2a2 sisi s1s1 s2s2 s3s3 s4s4 sgsg s5s5 s5s5 sgsg a2a2 a2a2 a1a1 a1a1 a2a2 a2a2 a2a2

Automated Planning: Introduction and Overview 29 Overview What is AI Planning? A Conceptual Model for Planning Restricting Assumptions A Running Example: Dock-Worker Robots

Automated Planning: Introduction and Overview 30 The Dock-Worker Robots (DWR) Domain aim: have one example to illustrate planning procedures and techniques informal description: harbour with several locations (docks), docked ships, storage areas for containers, and parking areas for trucks and trains cranes to load and unload ships etc., and robot carts to move containers around

Automated Planning: Introduction and Overview 31 Objects in the DWR Domain locations { loc1, loc2, …}: storage area, dock, docked ship, or parking or passing area robots { robot1, robot2, …}: container carrier carts for one container can move between adjacent locations cranes { crane1, crane2, …}: belongs to a single location can move containers between robots and piles at same location piles { pile1, pile2, …}: attached to a single location pallet at the bottom, possibly with containers stacked on top of it containers { cont1, cont2, …}: stacked in some pile on some pallet, loaded onto robot, or held by crane pallet : at the bottom of a pile

Automated Planning: Introduction and Overview 32 l1l2 DWR Example State k1 ca k2 cb cc cd ce cf robot crane location pile (p1 and q1) container pile (p2 and q2, both empty) container pallet r1

Automated Planning: Introduction and Overview 33 Topology in the DWR Domain adjacent(l,l) : location l is adjacent to location l attached(p,l) : pile p is attached to location l belong(k,l) : crane k belongs to location l topology does not change over time!

Automated Planning: Introduction and Overview 34 Relations in the DWR Domain (1) occupied(l) : location l is currently occupied by a robot at(r,l) : robot r is currently at location l loaded(r,c) : robot r is currently loaded with container c unloaded(r) : robot r is currently not loaded with a container

Automated Planning: Introduction and Overview 35 Relations in the DWR Domain (2) holding(k,c) : crane k is currently holding container c empty(k) : crane k is currently not holding a container in(c,p) : container c is currently in pile p on(c,c) : container c is currently on container/pallet c top(c,p) : container/pallet c is currently at the top of pile p

Automated Planning: Introduction and Overview 36 Actions in the DWR Domain move robot r from location l to some adjacent and unoccupied location l’ take container c with empty crane k from the top of pile p, all located at the same location l put down container c held by crane k on top of pile p, all located at location l load container c held by crane k onto unloaded robot r, all located at location l unload container c with empty crane k from loaded robot r, all located at location l

Automated Planning: Introduction and Overview 37 s0s0 State-Transition Systems: Graph Example location1location2 pallet cont. crane s2s2 location1location2 pallet cont. crane s1s1 location1location2 pallet cont. crane s3s3 location1location2 pallet cont. crane s4s4 location1location2 pallet crane robot cont. s5s5 location1location2 pallet crane robot cont. takeput move1 move2 move1 takeput load unload move2move1

Automated Planning: Introduction and Overview 38 Overview What is AI Planning? A Conceptual Model for Planning Restricting Assumptions A Running Example: Dock-Worker Robots