CS 4630: Intelligent Robotics and Perception Planning (Chapter 2) Instructor: Tucker Balch.

Slides:



Advertisements
Similar presentations
Chapter 4: Control Structures I (Selection)
Advertisements

Semantics Static semantics Dynamic semantics attribute grammars
Planning Module THREE: Planning, Production Systems,Expert Systems, Uncertainty Dr M M Awais.
ECE 103 Engineering Programming Chapter 54 Recursion Herbert G. Mayer, PSU CS Status 6/4/2014 Initial content copied verbatim from ECE 103 material developed.
Causal-link Planning II José Luis Ambite. 2 CS 541 Causal Link Planning II Planning as Search State SpacePlan Space AlgorithmProgression, Regression POP.
CS 221 Chapter 2 Excel. In Excel: A1 = 95 A2 = 95 A3 = 80 A4 = 0 =IF(A1
Planning Module THREE: Planning, Production Systems,Expert Systems, Uncertainty Dr M M Awais.
AI planning approaches to robotics Jeremy Wyatt School of Computer Science University of Birmingham.
Artificial Intelligence and Lisp #3 Characterization of Actions [Chapter 5] Representation Language [Chapter 2] Lab Assignment 2.
Chapter 13 Pointers and Linked Lists. Nodes and Linked Lists Linked list: A sequence of nodes in which each node is linked or connected to the node preceding.
Artificial Intelligence University Politehnica of Bucharest Adina Magda Florea
Copyright © 2006 Addison-Wesley. All rights reserved.1-1 ICS 410: Programming Languages Chapter 3 : Describing Syntax and Semantics Axiomatic Semantics.
CS 355 – Programming Languages
2 Introduction to AI Robotics (MIT Press)Chapter 2: The Hierarchical Paradigm1 The Hierarchical Paradigm Describe the Hierarchical Paradigm in terms of.
Artificial Intelligence 2005/06
Artificial Intelligence Chapter 11: Planning
Computer Simulation (1). 8 A (8) Initial State 44 Goal State B (5) C (3) A (8) B (5) C (3) Step 1 Step 2 Step 3 Step 4 Step 5 Step 6 Step 7.
Axiomatic Semantics Dr. M Al-Mulhem ICS
Artificial Intelligence 2005/06 Planning: STRIPS.
Copyright © 2006 The McGraw-Hill Companies, Inc. Programming Languages 2nd edition Tucker and Noonan Chapter 18 Program Correctness To treat programming.
1 Chapter 15 Introduction to Planning. 2 Chapter 15 Contents l Planning as Search l Situation Calculus l The Frame Problem l Means-Ends Analysis l The.
Introduction to Data Structure, Fall 2006 Slide- 1 California State University, Fresno Introduction to Data Structure Chapter 7 Ming Li Department of.
CHAPTER 6 Stacks. 2 A stack is a linear collection whose elements are added and removed from one end The last element to be put on the stack is the first.
Recursion A recursive function is a function that calls itself either directly or indirectly through another function. The problems that can be solved.
View from 30,000 feet and Introduction to Graph Problems Lecture 19 CS 312.
Intelligent Agents: an Overview. 2 Definitions Rational behavior: to achieve a goal minimizing the cost and maximizing the satisfaction. Rational agent:
Information Storage and Retrieval CS French Chapter 3.
Instructor: Alexander Stoytchev CprE 185: Intro to Problem Solving (using C)
Artificial Intelligence: Definition “... the branch of computer science that is concerned with the automation of intelligent behavior.” (Luger, 2009) “The.
Computer Science Lego Robotics Lab 07 Page 51. CS Lego Robotics Lab 07 (Updated ) Objectives: 1.Extend the Lego robot with three sensors. 2.Program.
Introduction to AI Robotics Chapter 2. The Hierarchical Paradigm Hyeokjae Kwon.
Artificial Intelligence Chapter 25 Agent Architectures Biointelligence Lab School of Computer Sci. & Eng. Seoul National University.
CS.462 Artificial Intelligence SOMCHAI THANGSATHITYANGKUL Lecture 07 : Planning.
1 Chapter 13 Recursion. 2 Chapter 13 Topics l Meaning of Recursion l Base Case and General Case in Recursive Function Definitions l Writing Recursive.
Recursion Textbook chapter Recursive Function Call a recursive call is a function call in which the called function is the same as the one making.
Computer Science Department Data Structure & Algorithms Lecture 8 Recursion.
Validation of Visualizations CS 4390/5390 Data Visualization Shirley Moore, Instructor September 24,
CS 4630: Intelligent Robotics and Perception Case Study: Motor Schema-based Design Chapter 5 Tucker Balch.
1 Chapter 15 Introduction to Planning. 2 Chapter 15 Contents l Planning as Search l Situation Calculus l The Frame Problem l Means-Ends Analysis l The.
For Friday No reading Homework: –Chapter 11, exercise 4.
Kansas State University Department of Computing and Information Sciences CIS 730: Introduction to Artificial Intelligence Lecture 17 Wednesday, 01 October.
CS 4630: Intelligent Robotics and Perception History of Intelligent Robotics (Chapter 1) Instructor: Tucker Balch.
Automated Reasoning Early AI explored how to automated several reasoning tasks – these were solved by what we might call weak problem solving methods as.
Functions Overview Functions are sequence of statements with its own local variables supports modularity, reduces code duplication Data transfer between.
CS 8803L: Autonomous Multirobot Systems Tucker Balch The BORG Lab
Introduction to Artificial Intelligence Class 1 Planning & Search Henry Kautz Winter 2007.
2 The Hierarchical Paradigm Describe the Hierarchical Paradigm in terms of the 3 robot primitives and its organization of sensing Name and evaluate one.
Instructor: Alexander Stoytchev CprE 185: Intro to Problem Solving (using C)
Chapter 5 Ranking with Indexes. Indexes and Ranking n Indexes are designed to support search  Faster response time, supports updates n Text search engines.
Function Parameters and Overloading Version 1.0. Topics Call-by-value Call-by-reference Call-by-address Constant parameters Function overloading Default.
Simplifying Dynamic Programming Jamil Saquer & Lloyd Smith Computer Science Department Missouri State University Springfield, MO USA.
Artificial Intelligence and Lisp #3
DDC 2423 DATA STRUCTURE Main text:
Recursive stack-based version of Back-chaining using Propositional Logic
Bill Tucker Austin Community College COSC 1315
CS 153: Concepts of Compiler Design October 5 Class Meeting
CS 4630: Intelligent Robotics and Perception
CS344 : Introduction to Artificial Intelligence
Computers & Programming Languages
Programming Languages 2nd edition Tucker and Noonan
Test Next Week Summer 3, 2016 Midterm Exam
Artificial Intelligence Chapter 10 Planning, Acting, and Learning
TARGET CODE -Next Usage
Life is Full of Alternatives
CS 4630: Intelligent Robotics and Perception
Chapter 18 Recursion.
Artificial Intelligence Chapter 10 Planning, Acting, and Learning
CS 416 Artificial Intelligence
PROFESSIONAL ETHICS LECTURE#04 Academic Ethics Code Violations 1.
Programming Languages 2nd edition Tucker and Noonan
Presentation transcript:

CS 4630: Intelligent Robotics and Perception Planning (Chapter 2) Instructor: Tucker Balch

CS 4630 Tucker Balch BORG Lab The Planning View Sense/Think/Act In the planning view “thinking” means to build a model of the world, and deliberate over the model before acting.

CS 4630 Tucker Balch BORG Lab General Approach to Planning Define –Possible states (e.g. situations) –Operators (actions) that move the robot from one state to another –Operator costs Problem –Find some sequence of operators that move robot from start state to goal state Optimize?

CS 4630 Tucker Balch BORG Lab Strips Used to control Shakey Related to GPS “means-ends analysis” –Reduce differences between current and goal states Example task: get from Tampa to SAIL

CS 4630 Tucker Balch BORG Lab Differences, Preconditions & Post- conditions DifferenceOperatorPre- conditions Add-listDelete- list d<=200fly(X,Y)At Y At airport At X 100<d<200ride_train(X,Y)At Y At station At X d<=100drive_rental(X,Y) drive_personal(X,Y) At airport At home At Y At X d<1walk(X,Y)At YAt X

CS 4630 Tucker Balch BORG Lab Strips Given –World model representation –Difference table, operators, preconditions, postconditions –Difference evaluator

CS 4630 Tucker Balch BORG Lab Strips 1.Compute diff between goal and initial state. If no difference, terminate 2.If there is a difference reduce the difference by selecting the first operator whose add-list negates the difference 3.Examine the preconditions to see if a set of bindings can be obtained that are all true. If not, make the first false precondition, make it the new goal. Store original goal on the stack. 4.When all preconditions for an operator match, push the operator on the plan stack and update a copy of the world model. Return to the operator with the failed precondition so it can apply its operator or recurse on another failed precondition.

CS 4630 Tucker Balch BORG Lab Assignments Finish Chapter 2 Start Chapter 3 (complete by Friday)