MBP: Model Based Planner

The Model Based Planner (MBP) is a system designed to perform plan synthesis, plan validation and plan/domain simulation in non-deterministic domains. It provides:

• A general framework for modeling nondeterministic domains with various degrees of observability, and a language to support it.
• A general plan model, and a language supporting it with powerful primitives.
• Plan validation capabilities, expressing plan validation as a model checking problem.
• A set of efficient algorithms that perform plan synthesis for a variety of classes of planning problems
• A means for simulation of domains, in isolation or driven by plans.

MBP assumes a simple but general model of non-determinism, which encompasses uncertainty on the initial situation, on the action effects, and on the state in which the actions will be executed.