Today’s Outline
Model-Based Autonomous Systems
- Motivation & Overview
- Model-based configuration management
- Viewed as Optimizing CSP Search
- MI/MR as combinatorial optimization
- Cost Model
- Best-First Search
- LTMS: Incremental Propositional Solver
- Truth Maintenance System
- Incremental SAT