Fast Solutions to CSp's Based on PROSSER, P. Hybrid algorithms for the constraint satisfaction problem. Computational Intelligence

Massachusetts Institute of Technology 16.412/6.834 Cognitive Robotics Distributed: Monday, 3/31/04 Objective The purpose of the following handout is to walk you step by step through the execution of the FF planning algorithm, on a simple example. The FF algorithm is presented in the paper:

Cognitive Robotics Outline Temporal Action Graph Walksat: Stochastic Local Search Better Neighbor Relaxed Plan A. Gerevini, A. Saetti, I. Serina \Planning through Stochastic Local Search and Temporal Action Graphs\, to appear in Journal of Artificial Intelligence

Fast Solutions to CSPs Presented by: Robert Effinger Dan Lovell Presented To: 16.412J Cognitive Robotics MIT References: \Dynamic Backtracking\ Matthew L. Ginsberg, CIRL, University of Oregon Journal of Artificial Intelligence Research 1(1993)

Readings in Planning as Forward Heuristic Search \The FF Planning System: Fast Plan Generation Through Heuristic Search,\ by Jorg Hoffmann and Bernhard Nebel, Journal of Artificial Intelligence Research, 2001. “Planning as Heuristic Search,\ by Blai Bonet and Hector Geffner, Artificial

Model-based Diagnosis a failure is a discrepancy between the model and observations of an artifact a diagnosis restores consistency 1. Enumerate candidates in order of likelihood

Brian C Williams, copyright 2000 Mode estimation Mode reconfiguration Select a most likely set of Select a least cost set of component modes that are commandable component consistent with the model and modes that entail the current observations

Mapping Topics: Topological Maps SLAM HMMs Revisited Additional reading: B. J. Kuipers Y.-T. Byun. 1991. \A robot exploration and mapping strategy based on a semantic hierarchy of spatial rep rstations. jour. s and

Conflicts and Kernel Diagnoses Generating Kernels from Conflicts Finding Consistent Modes Estimating Likely Modes Conflict-directed

Fault Aware Systems: Model-based Programming and Diagnosis Brian C. Williams 16.412J/6.834J March 8th, 2004 courtesy of JPL Four launches in 7 months MERS CSAIL