The Model Based Planner (MBP) is a system for planning in non-deterministic domains. It can generate plans automatically to solve various planning problems, like conformant planning, planning under partial observability, and planning for temporally extended goals. MBP is based on Symbolic Model Checking techniques, and Binary Decision Diagrams (BDDs), that provide a practical solution to the problem of dealing with the large size of realistic planning problems, and especially of problems in non-deterministic domains
MBP: a Model Based Planner / Bertoli, Piergiorgio; Cimatti, Alessandro; Pistore, Marco; Roveri, Marco; Traverso, Paolo. - (2001). (Intervento presentato al convegno IJCAI-2001 Workshop on Planning under Uncertainty and Incomplete Information (PRO-2) tenutosi a Seattle, Washington, USA nel 2001).
MBP: a Model Based Planner
Cimatti, Alessandro;Roveri, Marco;
2001-01-01
Abstract
The Model Based Planner (MBP) is a system for planning in non-deterministic domains. It can generate plans automatically to solve various planning problems, like conformant planning, planning under partial observability, and planning for temporally extended goals. MBP is based on Symbolic Model Checking techniques, and Binary Decision Diagrams (BDDs), that provide a practical solution to the problem of dealing with the large size of realistic planning problems, and especially of problems in non-deterministic domainsI documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione
