4/22: Scheduling (contd) Planning with incomplete info (start) Earth which has many heights, and slopes and the unconfined plain that bind men together,

Slides:



Advertisements
Similar presentations
Decision Theory: Sequential Decisions Computer Science cpsc322, Lecture 34 (Textbook Chpt 9.3) Nov, 28, 2012.
Advertisements

Planning with Non-Deterministic Uncertainty (Where failure is not an option) R&N: Chap. 12, Sect (+ Chap. 10, Sect 10.7)
Representing Boolean Functions for Symbolic Model Checking Supratik Chakraborty IIT Bombay.
Planning Module THREE: Planning, Production Systems,Expert Systems, Uncertainty Dr M M Awais.
Fragment-Based Conformant Planning James Kurien Palo Alto Research Center Pandu NayakStratify, Inc. David E. SmithNASA Ames Research Center.
CLASSICAL PLANNING What is planning ?  Planning is an AI approach to control  It is deliberation about actions  Key ideas  We have a model of the.
Planning based on Model Checking Dept. of Information Systems and Applied CS Bamberg University Seminar Paper Svetlana Balinova.
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.
Friday: 2-3:15pm BY 510 make-up class Today: 1. Online search 2. Planning in Belief-space.
Situation Calculus for Action Descriptions We talked about STRIPS representations for actions. Another common representation is called the Situation Calculus.
Plan Generation & Causal-Link Planning 1 José Luis Ambite.
Planning CSE 473 Chapters 10.3 and 11. © D. Weld, D. Fox 2 Planning Given a logical description of the initial situation, a logical description of the.
1 Classical STRIPS Planning Alan Fern * * Based in part on slides by Daniel Weld.
1 Solving problems by searching Chapter 3. 2 Why Search? To achieve goals or to maximize our utility we need to predict what the result of our actions.
Planning under Uncertainty
CPSC 322, Lecture 37Slide 1 Finish Markov Decision Processes Last Class Computer Science cpsc322, Lecture 37 (Textbook Chpt 9.5) April, 8, 2009.
Two Models of Evaluating Probabilistic Planning IPPC (Probabilistic Planning Competition) – How often did you reach the goal under the given time constraints.
Beyond Classical Search Non-Deterministic Actions  Transition model – Result(s,a) is no longer a singleton  Plans have to be “contingent”  Suck; if.
9/14: Belief Search Heuristics Today: Planning graph heuristics for belief search Wed: MDPs.
Planning Copyright, 1996 © Dale Carnegie & Associates, Inc. Chapter 11.
Problem Solving What is AI way of solving problem?
SA-1 1 Probabilistic Robotics Planning and Control: Markov Decision Processes.
3/25  Monday 3/31 st 11:30AM BYENG 210 Talk by Dana Nau Planning for Interactions among Autonomous Agents.
Models of Planning ClassicalContingent (FO)MDP ???Contingent POMDP ???Conformant (NO)MDP Complete Observation Partial None Uncertainty Deterministic Disjunctive.
3/27 Next big topic: Decision Theoretic Planning..
Nov 14 th  Homework 4 due  Project 4 due 11/26.
Handling non-determinism and incompleteness. Problems, Solutions, Success Measures: 3 orthogonal dimensions  Incompleteness in the initial state  Un.
Handling non-determinism and incompleteness
5/6: Summary and Decision Theoretic Planning  Last homework socket opened (two more problems to be added—Scheduling, MDPs)  Project 3 due today  Sapa.
Markov Decision Processes
4/29: Conditional Planning  No Final. Instead we will have a last homework  Midterm to be returned Thursday; Homework reached Hanoi  Extra class on.
CS121 Heuristic Search Planning CSPs Adversarial Search Probabilistic Reasoning Probabilistic Belief Learning.
Department of Computer Science Undergraduate Events More
Department of Computer Science Undergraduate Events More
Dynamic Bayesian Networks CSE 473. © Daniel S. Weld Topics Agency Problem Spaces Search Knowledge Representation Reinforcement Learning InferencePlanningLearning.
9/23. Announcements Homework 1 returned today (Avg 27.8; highest 37) –Homework 2 due Thursday Homework 3 socket to open today Project 1 due Tuesday –A.
Planning Where states are transparent and actions have preconditions and effects Notes at
1 Solving problems by searching Chapter 3. 2 Why Search? To achieve goals or to maximize our utility we need to predict what the result of our actions.
Digitaalsüsteemide verifitseerimise kursus1 Formal verification: BDD BDDs applied in equivalence checking.
Dana Nau: Lecture slides for Automated Planning Licensed under the Creative Commons Attribution-NonCommercial-ShareAlike License:
TKK | Automation Technology Laboratory Partially Observable Markov Decision Process (Chapter 15 & 16) José Luis Peralta.
Computer Science CPSC 502 Lecture 14 Markov Decision Processes (Ch. 9, up to 9.5.3)
Utilities and MDP: A Lesson in Multiagent System Based on Jose Vidal’s book Fundamentals of Multiagent Systems Henry Hexmoor SIUC.
Heuristics in Search-Space CSE 574 April 11, 2003 Dan Weld.
Department of Computer Science Undergraduate Events More
Conformant Probabilistic Planning via CSPs ICAPS-2003 Nathanael Hyafil & Fahiem Bacchus University of Toronto.
Dana Nau: Lecture slides for Automated Planning Licensed under the Creative Commons Attribution-NonCommercial-ShareAlike License:
Lecture 3: 18/4/1435 Searching for solutions. Lecturer/ Kawther Abas 363CS – Artificial Intelligence.
Probabilistic Graphical Models seminar 15/16 ( ) Haim Kaplan Tel Aviv University.
Decision Theoretic Planning. Decisions Under Uncertainty  Some areas of AI (e.g., planning) focus on decision making in domains where the environment.
OPERATING SYSTEMS CS 3530 Summer 2014 Systems and Models Chapter 03.
Dana Nau: Lecture slides for Automated Planning Licensed under the Creative Commons Attribution-NonCommercial-ShareAlike License:
Heuristic Search for problems with uncertainty CSE 574 April 22, 2003 Mausam.
Department of Computer Science Undergraduate Events More
CPSC 7373: Artificial Intelligence Lecture 9: Planning Jiang Bian, Fall 2012 University of Arkansas at Little Rock.
Graphplan CSE 574 April 4, 2003 Dan Weld. Schedule BASICS Intro Graphplan SATplan State-space Refinement SPEEDUP EBL & DDB Heuristic Gen TEMPORAL Partial-O.
Dana Nau: Lecture slides for Automated Planning Licensed under the Creative Commons Attribution-NonCommercial-ShareAlike License:
1 Solving problems by searching Chapter 3. 2 Outline Problem types Example problems Assumptions in Basic Search State Implementation Tree search Example.
Artificial Intelligence AIMA §5: Adversarial Search
CS b659: Intelligent Robotics
Review for the Midterm Exam
Markov Decision Processes
Using the Slope Formula
Markov Decision Processes
Planning José Luis Ambite.
Planning CSE 573 A handful of GENERAL SEARCH TECHNIQUES lie at the heart of practically all work in AI We will encounter the SAME PRINCIPLES again and.
Slope  4 Ways: Graph Formula Ordered Pairs Table.
CS 416 Artificial Intelligence
Reinforcement Learning Dealing with Partial Observability
Intelligent Systems (AI-2) Computer Science cpsc422, Lecture 3
Presentation transcript:

4/22: Scheduling (contd) Planning with incomplete info (start) Earth which has many heights, and slopes and the unconfined plain that bind men together, Earth that bears plants of various healing powers, may she spread wide for us and thrive -Bhoomi Sooktam Atharva Veda XII.I (~1500 B.C.)

Earth which has many heights, and slopes and the unconfined plain that bind men together, Earth that bears plants of various healing powers, may she spread wide for us and thrive -Bhoomi Sooktam Atharva Veda XII.I (~1500 B.C.) 4/22: Scheduling (contd) Planning with incomplete info (start)

Problems, Solutions, Success Measures: 3 orthogonal dimensions  Incompleteness in the initial state  Un (partial) observability of states  Non-deterministic actions  Uncertainty in state or effects  Complex reward functions (allowing degrees of satisfaction)  Conformant Plans: Don’t look— just do  Sequences  Contingent/Conditional Plans: Look, and based on what you see, Do; look again  Directed acyclic graphs  Policies: If in (belief) state S, do action a  (belief) state  action tables  Deterministic Success: Must reach goal-state with probability 1  Probabilistic Success: Must succeed with probability >= k (0<=k<=1)  Maximal Expected Reward: Maximize the expected reward (an optimization problem)

Some specific cases  1.0 success conformant planning for domains with incomplete initial states  1.0 success conformant planning for domains with non-deterministic actions  1.0 success conditional plans for fully observable domains with incompletely specified init states, and deterministic actions  1.0 success conditional plans for fully observable domains with non- deterministic actions  1.0 success conditional plans for parially observable domains with non- deterministic actions  Probabilistic variants of all the ones on the left (where we want success probability to be >= k).

Paths to Perdition Complexity of finding probability 1.0 success plans

 Slides I missed:  cgp slide  Fragplan slides  Dan bryce one slide  Kacmbp slide  The multiple init states vs. no sensing multiple init states  the various approaches for Conformant planning  the uncertainty reduction—why it may not always lead to goal state  the point about belief states being propositional formulas  The main slide about coulter..  Condeff vs. non-condeff  Progression vs. regression  get rid off geffner slides. Not all that useful anyway

Conformant Planning: Efficiency Issues  Belief states can get harder to manage  The IRST group developed several techniques for representing and manipulating belief states efficiently as BDDs (a canonical and compact representation for propositional formulae)  Significant speedup  Graphplan (CGP) and SAT-compilation approaches have also been tried for conformant planning  Idea is to make plan in one world, and try to extend it as needed to make it work in other worlds  Planning graph based heuristics for conformant planning have been investigated.  Interesting issues involving multiple planning graphs  Deriving Heuristics? – relaxed plans that work in multiple graphs  Compact representation? – Label graphs

KACMBP and Uncertainty reducing actions