Planning as Satisfiability in Nondeterministic Domains

We focus on planning as satisfiability in simple nondeterministic domains. By “simple” we mean specified in a simple extension to the STRIPS formalism allowing for specifying actions with nondeterministic effects. This allows us to simplify and extend the theory presented in (Giunchiglia 2000). The result is a planning system which, in simple nondeterministic domains, is competitive with other state-of-the-art planners.

Authors

• Paolo Ferraris and Enrico Giunchiglia DIST -- Universit&eagrave; di Genova

Keywords

No keywords are indexed for this paper.