Robot localization 3 canonical problems Position Tracking Global Localization Kidnapped robot problem onot the mapping problem. We always assume we have a map To start without a map or model is the Simultaneous Localization and Mapping problem, or SLAM. also known as concurrent Mapping and Localization

WORLD observations Plant actions P(S sense act Diagnostic Agent Monitors diagnoses AGENT Repairs avoids Probes and tests

Roadmap path planning Brian C. williams 16410-13 October 27th. 2003 Assignment · Reading: Path Planning: AIMA Ch 25.4 Homework Online problem set #7 due Monday, November 3rd

Assignment Reading Model-based Diagnosis-Lecture notes Propositional Logic AIMA Chapter 6 Problem set Model-based Diagnosis implementation Propositional Logic 16.413: Hello World implementation Due Monday, November 17th

How do we maneuver ImagestakenfromNasa'Swebsitehttp://www.nasa.gov/ Roadmaps are an effective state space abstraction Brian Williams, Spring 0 Courtesy of U.S. Geological survey

Histol · Kautz and selman.1992 Inspired by improvements in satisfiabity algorithms Big Idea Encode planning problem as a(very large) logical formula Initial-state all-possible-actions goal Find a satisfying assignment to action-time propositions, and we have a plan

Achieving Arc Consistency via Constraint Propagation Arc consistency eliminates values of each variable domain that can never satisfy a particular constraint (an arc Directed arc (Vi, v) is arc consistent if VXED, 3yED, such that(x, y) is allowed by constraint C

Solving CsPs Solving CSPs involves some combination of 1. Constraint propagation eliminates values that cant be part of any solution 2. Search explores valid assignments Arc Consistency Arc consistency eliminates values of each variable domain that

autonomous gents Self-commanding Self-diagnosing IoHc-IO Self-repairing RECOVERY Commanded at Mission level Engineering level Monitors

Out line Propositional Satisfiability Propositional Clauses Backtrack search Unit Propagation DPLL: Unit Propagation Backtrack Search Characteristics of dPLl local search using GSAT Propositional Clauses