AI Planner Applications Practical Applications of AI Planners.

Slides:



Advertisements
Similar presentations
Planning in Context Planning in the Context of Domain Modelling, Task Assignment and Execution
Advertisements

Shared Models of Activity To Underpin Small Unit Operations Austin Tate, Jeff Dalton, John Levine & Peter Jarvis Artificial Intelligence Applications Institute.
1 Intention of slide set Inform WSMOLX of what is planned for Choreography & Orhestration in DIP CONTENTS Terminology Clarification / what will be described.
JSIMS 28-Jan-99 1 JOINT SIMULATION SYSTEM Modeling Command and Control (C2) with Collaborative Planning Agents Randall Hill and Jonathan Gratch University.
MBD in real-world system… Self-Configuring Systems Meir Kalech Partially based on slides of Brian Williams.
WPI CS534 Showcase Jeff Martin. * Computer Software on Deep Space 1 * Used to execute plans/mission objectives * Model based * Constraint based * Fault.
Bastien DURAND Karen GODARY-DEJEAN – Lionel LAPIERRE Robin PASSAMA – Didier CRESTANI 27 Janvier 2011 ConecsSdf Architecture de contrôle adaptative : une.
Objektorienteret Middleware Presentation 2: Distributed Systems – A brush up, and relations to Middleware, Heterogeneity & Transparency.
Chapter 19: Network Management Business Data Communications, 4e.
1 ITC242 – Introduction to Data Communications Week 12 Topic 18 Chapter 19 Network Management.
“Modeling the MER Mission” Chin Seah NASA Ames Research Center.
Lecture 13 Revision IMS Systems Analysis and Design.
Improving Robustness in Distributed Systems Jeremy Russell Software Engineering Honours Project.
Architecture and Real Time Systems Lab University of Massachusetts, Amherst An Application Driven Reliability Measures and Evaluation Tool for Fault Tolerant.
Dynamically Reconfiguring Hierarchies Walter Hsueh CS446 Software Engineering with.
Marakas: Decision Support Systems, 2nd Edition © 2003, Prentice-Hall Chapter Chapter 7: Expert Systems and Artificial Intelligence Decision Support.
Simulating A Satellite CSGC Mission Operations Team Cameron HatcherJames Burkert Brandon BobianAleks Jarosz.
Chapter 7 design rules.
The Need of Unmanned Systems
Testing - an Overview September 10, What is it, Why do it? Testing is a set of activities aimed at validating that an attribute or capability.
1 CMPT 275 Software Engineering Requirements Analysis Process Janice Regan,
Katanosh Morovat.   This concept is a formal approach for identifying the rules that encapsulate the structure, constraint, and control of the operation.
G E R A C CONSORTIUM T H E logica EUCLID RTP 6.1 The GRACE Consortium Objective: To accelerate the application of AI techniques and advanced HCI and software.
September1 Managing robot Development using Agent based Technologies Dr. Reuven Granot Former Scientific Deputy Research & Technology Unit Directorate.
European Network of Excellence in AI Planning Intelligent Planning & Scheduling An Innovative Software Technology Susanne Biundo.
The Role of Optimization and Deduction in Reactive Systems P. Pandurang Nayak NASA Ames Research Center Brian.
Distributed Network Scheduling Bradley J. Clement, Steven R. Schaffer Jet Propulsion Laboratory, California Institute of Technology Contact:
At A Glance VOLT is a freeware, platform independent tool set that coordinates cross-mission observation planning and scheduling among one or more space.
© 2007 Tom Beckman Features:  Are autonomous software entities that act as a user’s assistant to perform discrete tasks, simplifying or completely automating.
AI Planning in Context AI Planning in the Context of Domain Modelling, Task Assignment and Execution.
Agent Model for Interaction with Semantic Web Services Ivo Mihailovic.
Space-Based Network Centric Operations Research. Secure Autonomous Integrated Controller for Distributed Sensor Webs Objective Develop architectures and.
CHA2555 Week2: Knowledge Representation, Logic and Planning Lee McCluskey First term:
.1 RESEARCH & TECHNOLOGY DEVELOPMENT CENTER SYSTEM AND INFORMATION SCIENCES JHU/MIT Proprietary Titan MESSENGER Autonomy Experiment.
Probabilistic Reasoning for Robust Plan Execution Steve Schaffer, Brad Clement, Steve Chien Artificial Intelligence.
Task Achieving Agents on the World Wide Web An Introduction Sharif Univ. of Tech. Computer Eng. Dep. Semantic Web Course Mohsen Lesani 13 Ord 1374.
Architecture for Autonomous Assembly 1 Reid Simmons Robotics Institute Carnegie Mellon University.
Advanced Computer Networks Topic 2: Characterization of Distributed Systems.
Verifying AI Plan Models Even the best laid plans need to be verified Margaret Smith – PI Gordon Cucullu Gerard Holzmann Benjamin Smith Prepared for the.
An Ontological Framework for Web Service Processes By Claus Pahl and Ronan Barrett.
The System and Software Development Process Instructor: Dr. Hany H. Ammar Dept. of Computer Science and Electrical Engineering, WVU.
March 2004 At A Glance NASA’s GSFC GMSEC architecture provides a scalable, extensible ground and flight system approach for future missions. Benefits Simplifies.
1 Structure of Aalborg University Welcome to Aalborg University.
NASA/Air Force Cost Model presented by Keith Smith Science Applications International Corporation 2002 SCEA National Conference June
March 2004 At A Glance autoProducts is an automated flight dynamics product generation system. It provides a mission flight operations team with the capability.
31 March 2009 MMI OntDev 1 Autonomous Mission Operations for Sensor Webs Al Underbrink, Sentar, Inc.
Intelligent Systems Software Assurance Symposium 2004 Bojan Cukic & Yan Liu, Robyn Lutz & Stacy Nelson, Chris Rouff, Johann Schumann, Margaret Smith July.
Computer supported cooperative work -Basic concepts
Mike Graves Summer 2005 University of Texas at Dallas Implicit Invocation: The Task Control Architecture Mike Graves CS6362 Term Paper Dr. Lawrence Chung.
Discovery and Systems Health Technical Area NASA Ames Research Center - Computational Sciences Division Automated Diagnosis Sriram Narasimhan University.
Robotic Space Explorers: To Boldly Go Where No AI System Has Gone Before A Story of Survival J/6.834J September 19, 2001.
1 An Introduction to AIAI Dr. Jessica Chen-Burger Artificial Intelligence Applications Institute School of Informatics University of Edinburgh.
Space Systems Laboratory Massachusetts Institute of Technology AUTONOMY MIT Graduate Student Open House March 24, 2000.
ESA Harwell Robotics & Autonomy Facility Study Workshop Autonomous Software Verification Presented By: Rick Blake.
1 Artificial Intelligence Applications Institute Centre for Intelligent Systems and their Applications A Shared Model for Mixed-initiative Synthesis Tasks.
SAS_05_Contingency_Lutz_Tal1 Contingency Software in Autonomous Systems Robyn Lutz, JPL/Caltech & ISU Doron Tal, USRA at NASA Ames Ann Patterson-Hine,
T Project Review Muuntaja I1 Iteration
March 2004 At A Glance The AutoFDS provides a web- based interface to acquire, generate, and distribute products, using the GMSEC Reference Architecture.
Control-Theoretic Approaches for Dynamic Information Assurance George Vachtsevanos Georgia Tech Working Meeting U. C. Berkeley February 5, 2003.
E-USOC operations in Increments José Miguel Ezquerro Navarro E-USOC/UPM Jul 2010POIWG#28 - Huntsville, AL.
Autonomy: Executive and Instruments Life in the Atacama 2004 Science & Technology Workshop Nicola Muscettola NASA Ames Reid Simmons Carnegie Mellon.
Embedded System Design and Development Introduction to Embedded System.
Ocean Observatories Initiative OOI CI Kick-Off Meeting Devils Thumb Ranch, Colorado September 9-11, 2009 Observation Planning and Autonomous Mission Execution.
Towards Standards for Goal-Based Operations
Reading B. Williams and P. Nayak, “A Reactive Planner for a Model-based Executive,” International Joint Conference on Artificial Intelligence, 1997.
NASA Ames Research Center
Intelligent Systems Software Assurance Symposium 2004
Complexity in Space Systems
AI in Space – Lessons From NASA’s Deep Space 1 Mission
Autonomous Operations in Space
Presentation transcript:

AI Planner Applications Practical Applications of AI Planners

AI Planner Applications 2 Overview Deep Space 1 Other Practical Applications of AI Planners Common Themes

AI Planner Applications 3 Literature Deep Space 1 Papers Ghallab, M., Nau, D. and Traverso, P., Automated Planning – Theory and Practice, chapter 19,. Elsevier/Morgan Kaufmann, Bernard, D.E., Dorais, G.A., Fry, C., Gamble Jr., E.B., Kanfesky, B., Kurien, J., Millar, W., Muscettola, N., Nayak, P.P., Pell, B., Rajan, K., Rouquette, N., Smith, B., and Williams, B.C. Design of the Remote Agent experiment for spacecraft autonomy. Procs. of the IEEEAerospace Conf., Snowmass, CO, Other Practical Planners Ghallab, M., Nau, D. and Traverso, P., Automated Planning – Theory and Practice, chapter 22 and 23. Elsevier/Morgan Kaufmann, 2004 Tate, A. and Dalton, J. (2003) O-Plan: a Common Lisp Planning Web Service, invited paper, in Proceedings of the International Lisp Conference 2003, October 12-25, 2003, New York, NY, USA, October 12-15,

AI Planner Applications 4 Deep Space 1 –

AI Planner Applications 5 DS 1 – Comet Borrelly

AI Planner Applications 6 Achieve diverse goals on real spacecraft High Reliability single point failures multiple sequential failures Tight resource constraints resource contention conflicting goals Hard-time deadlines Limited Observability Concurrent Activity DS1 Domain Requirements

AI Planner Applications 7 Constraint-based planning and scheduling supports goal achievement, resource constraints, deadlines, concurrency Robust multi-threaded execution supports reliability, concurrency, deadlines Model-based fault diagnosis and reconfiguration supports limited observability, reliability, concurrency Real-time control and monitoring DS1 Remote Agent Approach

AI Planner Applications 8 Listed from least to most autonomous mode: 1. single low-level real-time command execution 2. time-stamped command sequence execution 3. single goal achievement with auto-recovery 4. model-based state estimation & error detection 5. scripted plan with dynamic task decomposition 6. on-board back-to-back plan generation, execution, & plan recovery DS1 Levels of Autonomy

DS 1 Systems Planning Execution Monitoring

AI Planner Applications 11 PS/MM generate plans on-board the spacecraft reject low-priority unachievable goals replan following a simulated failure enable modification of mission goals from ground EXEC provide a low-level commanding interface initiate on-board planning execute plans generated both on-board and on the ground recognize and respond to plan failure maintain required properties in the face of failures MIR confirm executive command execution demonstrate model-based failure detection, isolation, and recovery demonstrate ability to update on-board state via ground commands DS1 RAX Functionality

DS1 Remote Agent (RA) Architecture

DS1 Planner Architecture

AI Planner Applications 14 Final state goals “Turn off the camera once you are done using it” Scheduled goals “Communicate to Earth at pre-specified times” Periodic goals “Take asteroid pictures for navigation every 2 days for 2 hours” Information-seeking goals “Ask the on-board navigation system for the thrusting profile” Continuous accumulation goals “Accumulate thrust with a 90% duty cycle” Default goals “When you have nothing else to do, point HGA to Earth” DS1 Diversity of Goals

AI Planner Applications 15 State/action constraints “To take a picture, the camera must be on.” Finite resources power True parallelism the ACS loops must work in parallel with the IPS controller Functional dependencies “The duration of a turn depends on its source and destination.” Continuously varying parameters amount of accumulated thrust Other software modules as specialized planners on-board navigator DS1 Diversity of Constraints

DS1 Domain Description Language Temporal Constraints in DDL Command to EXEC in ESL

DS1 Plan Fragment

DS1 RA Exec Status Tool

DS1 RA Ground Tools

AI Planner Applications 20 RAX was activated and controlled the spacecraft autonomously. Some issues and alarms did arise: Divergence of model predicted values of state of Ion Propulsion System (IPS) and observed values – due to infrequency of real monitor updates. EXEC deadlocked in use. Problem diagnosed and fix designed by not uploaded to DS1 for fears of safety of flight systems. Condition had not appeared in thousands of ground tests indicating needs for formal verification methods for this type of safety/mission critical software. Following other experiments, RAX was deemed to have achieved its aims and objectives. DS1 – Flight Experiments 17 th – 21 st 1999

DS 1 Experiment 2 Day Scenario

DS 1 Summary Objectives and Capabilities

AI Planner Applications 23 Earlier Spacecraft Planning Applications Deviser NASA Jet Propulsion Lab Steven Vere, JPL First NASA AI Planner Based on Tate’s Nonlin Added Time Windows Voyager Mission Plans Not used live

AI Planner Applications 24 Earlier Spacecraft Planning Applications T-SCHED Brian Drabble, AIAI BNSC T-SAT Project 1989 Ground-based plan generation 24 hour plan uploaded and executed on UoSAT-II

AI Planner Applications 25 Nonlin electricity generation turbine overhaul Deviser Voyager mission planning demonstration SIPE – a planner that can organise a …. brewery Optimum-AIV Integrating technologies Integrating with other IT systems O-Plan various uses – see next slides Bridge Baron Deep Space 1 – to boldly go… Some Other Practical Applications of AI Planning

AI Planner Applications 26 O-Plan has been used in a variety of realistic applications: Noncombatant Evacuation Operations (Tate, et al., 2000b) Search & Rescue Coordination (Kingston et al., 1996) US Army Hostage Rescue (Tate et al., 2000a) Spacecraft Mission Planning (Drabble et al., 1997) Construction Planning (Currie and Tate, 1991 and others) Engineering Tasks (Tate, 1997) Biological Pathway Discovery (Khan et al., 2003) Unmanned Autonomous Vehicle Command and Control O-Plan’s design was also used as the basis for Optimum-AIV (Arup et al., 1994), a deployed system used for assembly, integration and verification in preparation of the payload bay for flights of the European Space Agency Ariane IV launcher. Practical Applications of AI Planning – O-Plan Applications

AI Planner Applications 27 A wide variety of AI planning features are included in O-Plan: Domain knowledge elicitation Rich plan representation and use Hierarchical Task Network Planning Detailed constraint management Goal structure-based plan monitoring Dynamic issue handling Plan repair in low and high tempo situations Interfaces for users with different roles Management of planning and execution workflow Practical Applications of AI Planning – O-Plan Features

AI Planner Applications 28 Outer HTN “human-relatable” approach Underlying rich time and resource constraint handling Integration with plan execution Model-based simulation and monitoring Rich knowledge modelling languages and interfaces Common Themes in Practical Applications of AI Planning

AI Planner Applications 29 Summary Deep Space 1 and Remote Agent Experiment Other Practical Applications of AI Planners Common Themes

AI Planner Applications 30 Literature Deep Space 1 Papers Ghallab, M., Nau, D. and Traverso, P., Automated Planning – Theory and Practice, chapter 19,. Elsevier/Morgan Kaufmann, Bernard, D.E., Dorais, G.A., Fry, C., Gamble Jr., E.B., Kanfesky, B., Kurien, J., Millar, W., Muscettola, N., Nayak, P.P., Pell, B., Rajan, K., Rouquette, N., Smith, B., and Williams, B.C. Design of the Remote Agent experiment for spacecraft autonomy. Procs. of the IEEEAerospace Conf., Snowmass, CO, Other Practical Planners Ghallab, M., Nau, D. and Traverso, P., Automated Planning – Theory and Practice, chapter 22 and 23. Elsevier/Morgan Kaufmann, 2004 Tate, A. and Dalton, J. (2003) O-Plan: a Common Lisp Planning Web Service, invited paper, in Proceedings of the International Lisp Conference 2003, October 12-25, 2003, New York, NY, USA, October 12-15,