© 2010 by Elbit Systems | Elbit Systems Proprietary ADAPT: Abstraction Hierarchies to Succinctly Model Teamwork Meirav Hadad 1, Avi Rosenfeld 2 2 Department.

Slides:



Advertisements
Similar presentations
Learning Procedural Planning Knowledge in Complex Environments Douglas Pearson March 2004.
Advertisements

Modelling with expert systems. Expert systems Modelling with expert systems Coaching modelling with expert systems Advantages and limitations of modelling.
Classical Planning via Plan-space search COMP3431 Malcolm Ryan.
Agent-based sensor-mission assignment for tasks sharing assets Thao Le Timothy J Norman WambertoVasconcelos
Submission Process. Overview Preparing for submission The submission process The review process.
Expert System for Natural Gas Transportation Network Jonny Carlos da Silva, D. Eng. Gilson Simões Porciúncula, M. Eng. SCGÁS TBG Partners Rio Pipeline.
Introduction to SOAR Based on “a gentle introduction to soar: an Architecture for Human Cognition” by Jill Fain Lehman, John Laird, Paul Rosenbloom. Presented.
CPSC 322, Lecture 9Slide 1 Search: Advanced Topics Computer Science cpsc322, Lecture 9 (Textbook Chpt 3.6) January, 23, 2009.
Improving Market-Based Task Allocation with Optimal Seed Schedules IAS-11, Ottawa. September 1, 2010 G. Ayorkor Korsah 1 Balajee Kannan 1, Imran Fanaswala.
CPSC 322, Lecture 9Slide 1 Search: Advanced Topics Computer Science cpsc322, Lecture 9 (Textbook Chpt 3.6) January, 22, 2010.
CSCE101 –Chapter 8 (continued) Tuesday, December 5, 2006.
On-The-Fly Resolve Trace Minimization Ohad Shacham and Karen Yorav IBM Haifa Research Laboratory.
Knowledge Acquisitioning. Definition The transfer and transformation of potential problem solving expertise from some knowledge source to a program.
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?
Adaptation of Practice Guidelines for Clinical Decision Support: A Case Study of Diabetic Foot Care Mor Peleg 1, Dongwen Wang 2, Adriana Fodor 3, Sagi.
Modeling and Validation Victor R. Basili University of Maryland 27 September 1999.
Marakas: Decision Support Systems, 2nd Edition © 2003, Prentice-Hall Chapter Chapter 7: Expert Systems and Artificial Intelligence Decision Support.
Chapter 12: Intelligent Systems in Business
Aeronautics & Astronautics Autonomous Flight Systems Laboratory All slides and material copyright of University of Washington Autonomous Flight Systems.
Semantic Web Technologies Lecture # 2 Faculty of Computer Science, IBA.
A Billiards Point of Sale Application Christopher Ulmer CS 470 Final Presentation.
Partial Sums An Addition Algorithm.
Dana Nau: Lecture slides for Automated Planning Licensed under the Creative Commons Attribution-NonCommercial-ShareAlike License:
Multi-Agent Model to Multi-Process Transformation A Housing Market Case Study Gerhard Zimmermann Informatik University of Kaiserslautern.
 Optimal Packing of High- Precision Rectangles By Eric Huang & Richard E. Korf 25 th AAAI Conference, 2011 Florida Institute of Technology CSE 5694 Robotics.
1 Intelligent Systems ISCRAM 2013 Validating Procedural Knowledge in the Open Virtual Collaboration Environment Gerhard Wickler AIAI, University.
Load Balancing in Distributed Computing Systems Using Fuzzy Expert Systems Author Dept. Comput. Eng., Alexandria Inst. of Technol. Content Type Conferences.
European Network of Excellence in AI Planning Intelligent Planning & Scheduling An Innovative Software Technology Susanne Biundo.
Project Tracking. Questions... Why should we track a project that is underway? What aspects of a project need tracking?
© 2007 Tom Beckman Features:  Are autonomous software entities that act as a user’s assistant to perform discrete tasks, simplifying or completely automating.
1 CO Games Development 1 Week 6 Introduction To Pathfinding + Crash and Turn + Breadth-first Search Gareth Bellaby.
Plan-Directed Architectural Change for Autonomous Systems Daniel Sykes, William Heaven, Jeff Magee, Jeff Kramer Imperial College London.
Access Control Via Face Recognition Progress Review.
Slide 1 Mixed Model Production lines  2000 C.S.Kanagaraj Mixed Model Production Lines C.S.Kanagaraj ( Kana + Garage ) IEM 5303.
Introduction to search Chapter 3. Why study search? §Search is a basis for all AI l search proposed as the basis of intelligence l inference l all learning.
Introduction to search Chapter 3. Why study search? §Search is a basis for all AI l search proposed as the basis of intelligence l all learning algorithms,
Learning Agents Center George Mason University Computer Science Department Partners Day Symposium May 4, 2004 Gheorghe Tecuci, Mihai Boicu, Dorin Marcu,
Case study of Several Case Based Reasoners Sandesh.
Overview of MOT Knowledge representation system : Basic Modeling Editor LexiconGrammarSemantics Pragmatics MOT Editor.
Chapter 8 Object Design Reuse and Patterns. Object Design Object design is the process of adding details to the requirements analysis and making implementation.
Intro to Computation and AI Dr. Jill Fain Lehman School of Computer Science Lecture 6: December 4, 1997.
OOAD Unit – I OBJECT-ORIENTED ANALYSIS AND DESIGN With applications
ANALOGY “A Program for the Solution of a Class of Geometric-Analogy Intelligence-Test Questions” Thomas G. Evans 1968.
Intelligent Systems Software Assurance Symposium 2004 Bojan Cukic & Yan Liu, Robyn Lutz & Stacy Nelson, Chris Rouff, Johann Schumann, Margaret Smith July.
Scalable Keyword Search on Large RDF Data. Abstract Keyword search is a useful tool for exploring large RDF datasets. Existing techniques either rely.
1 Analysing system-user cooperation in KADS H. P. de Greef and J. A. Breuker, Department of Social Science Informatics, University of Amsterdam Knowledge.
A Roadmap towards Machine Intelligence
(Classical) AI Planning. General-Purpose Planning: State & Goals Initial state: (on A Table) (on C A) (on B Table) (clear B) (clear C) Goals: (on C Table)
PnP Networks Self-Aware Networks Self-Aware Networks Self-Healing and Self-Defense via Aware and Vigilant Networks PnP Networks, Inc. August, 2002.
The Hebrew University of Jerusalem School of Engineering and Computer Science Academic Year: 2011/2012 Instructor: Jeff Rosenschein.
On the Relation Between Simulation-based and SAT-based Diagnosis CMPE 58Q Giray Kömürcü Boğaziçi University.
An informal, team oriented, OO design system
An Efficient Algorithm for Incremental Update of Concept space
Chapter 2 Memory and process management
SNS College of Engineering Department of Computer Science and Engineering AI Planning Presented By S.Yamuna AP/CSE 5/23/2018 AI.
Search: Advanced Topics Computer Science cpsc322, Lecture 9
Artificial Intelligence, P.I
Action Editor Storyboard
OPM/S: Semantic Engineering of Web Services
Intelligent Systems Software Assurance Symposium 2004
CSCE 990: Advanced Distributed Systems
Search: Advanced Topics Computer Science cpsc322, Lecture 9
Announcements Homework 3 due today (grace period through Friday)
Search: Advanced Topics Computer Science cpsc322, Lecture 9
Algorithms and Problem Solving
Co-OPR – Compendium and I-X
Lecture 6: Knowledge Application Systems
Brad Clement and Ed Durfee University of Michigan
Search.
Search.
Presentation transcript:

© 2010 by Elbit Systems | Elbit Systems Proprietary ADAPT: Abstraction Hierarchies to Succinctly Model Teamwork Meirav Hadad 1, Avi Rosenfeld 2 2 Department of Industrial Engineering, Jerusalem College of Technology, Jerusalem, Israel 1 Research Division, Elbit Systems Ltd, Rosh Ha'Ayin 48091, Israel

© 2010 by Elbit Systems | Elbit Systems Proprietary Modeling the Simulator’s Teamwork How to Model Teamwork? SharedPlans Steam Taems Teamcore Bite Limitations of Previous Approaches: Often unclear how to create formal rules How can we encode the expert’s knowledge In previous approaches all rules needed to be defined in advance Very limiting, especially when dynamics must be considered

© 2010 by Elbit Systems | Elbit Systems Proprietary Issues Specific to Simulation Simulator often has relatively limited resources What is the size of the model? What is the memory amount needed per agent? How fast is the processing time? Real time required! Our goal is to simulate hundreds of agents

© 2010 by Elbit Systems | Elbit Systems Proprietary Teamwork Example 4

© 2010 by Elbit Systems | Elbit Systems Proprietary Autonomous Dynamic Agent Planning for Teamwork Creates two Hierarchical Planners – a group and task planner Uses abstract search techniques to generally define hierarchies Only during run time are the exact constraints addressed (elaboration ) 5 Our Solution: ADAPT

© 2010 by Elbit Systems | Elbit Systems Proprietary

ADAPT: What is Novel? ADAPT is an A.I. Teamwork Engine Uses 3 steps Branching Step (very big number of states) Refinement Step (add the constraints) Pruning Step (very small model) 7

© 2010 by Elbit Systems | Elbit Systems Proprietary Branching Step Identifies possible methods for expanding partial plan Get all the possible methods from library of task methods and group methods Example of possible task methods for air attack Option 1 Option 2

© 2010 by Elbit Systems | Elbit Systems Proprietary Refinement Step Adding information based on constraints (DCOP) 1. Receive the set of the all possible task methods 2. Receive the set of the all possible group methods 3. Match the group methods to the task methods: 1. make intersection between the constraints of task and group methods 2. match the sub-tasks’ constraints of to sub-groups, create sub- constraint vector c 1, c 2, …, c n for each matching 4. Each group member checks its matching level for each sub- constraint vector and put its matching grade at each method

© 2010 by Elbit Systems | Elbit Systems Proprietary Refinement Step

© 2010 by Elbit Systems | Elbit Systems Proprietary Pruning Step Remove Unpromising Candidates 1. Assignment and Matching Tables are built for each method and each method is graded according to the Task Assignment algorithm 2. The method with the greatest assignment grade is selected to be elaborated 3. If successful, association is done

© 2010 by Elbit Systems | Elbit Systems Proprietary Pruning Step

© 2010 by Elbit Systems | Elbit Systems Proprietary A High Level Overview of the Simulator 13 Group KB Editor Task KB Editor Real Time Control Group DB Task DB

© 2010 by Elbit Systems | Elbit Systems Proprietary World State AI Engine Cooperation Level Decision Maker Association Task Planner Group Planner Constraints Task Plan Constraints Group plan Group KB Task KB Real Time Control Failures Handler Perception Action Re-planning\ Reassignment recommendation General Description of an ADAPT Agent

© 2010 by Elbit Systems | Elbit Systems Proprietary Teamwork State Results BITEADAPT MaxADAPT Average # of AgentsTaskGroupTaskGroupTaskGroup

© 2010 by Elbit Systems | Elbit Systems Proprietary Actual Run Times

© 2010 by Elbit Systems | Elbit Systems Proprietary ADAPT = teamwork into group and task planners Uses abstract search to build model incrementally Large savings in teamwork model size Example how ADAPT used in a realistic simulation domain How can ADAPT be used in other domains? Are the savings dependent on domain specifics? 17 Conclusion and Future Work