Iterative Depth-First Search for Fully Observable Non-Deterministic Planning

04/08/2022
by   Ramon Fraga Pereira, et al.
9

Fully Observable Non-Deterministic (FOND) planning models uncertainty through actions with non-deterministic effects. Existing FOND planning algorithms are effective and employ a wide range of techniques. However, most of the existing algorithms are not robust for dealing with both non-determinism and task size. In this paper, we develop a novel iterative depth-first search algorithm that solves FOND planning tasks and produces strong cyclic policies. Our algorithm is explicitly designed for FOND planning, addressing more directly the non-deterministic aspect of FOND planning, and it also exploits the benefits of heuristic functions to make the algorithm more effective during the iterative searching process. We compare our proposed algorithm to well-known FOND planners, and show that it has robust performance over several distinct types of FOND domains considering different metrics.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/25/2018

Compact Policies for Fully-Observable Non-Deterministic Planning as SAT

Fully observable non-deterministic (FOND) planning is becoming increasin...
research
06/01/2011

OBDD-based Universal Planning for Synchronized Agents in Non-Deterministic Domains

Recently model checking representation and search techniques were shown ...
research
09/27/2011

The Fast Downward Planning System

Fast Downward is a classical planning system based on heuristic search. ...
research
02/27/2013

Integrating Planning and Execution in Stochastic Domains

We investigate planning in time-critical domains represented as Markov D...
research
04/15/2020

FOND Planning for LTLf and PLTLf Goals

In this report, we will define a new approach to the problem of non dete...
research
12/10/2019

Qualitative Numeric Planning: Reductions and Complexity

Qualitative numerical planning is classical planning extended with non-n...
research
09/23/2021

Safe-Planner: A Single-Outcome Replanner for Computing Strong Cyclic Policies in Fully Observable Non-Deterministic Domains

Replanners are efficient methods for solving non-deterministic planning ...

Please sign up or login with your details

Forgot password? Click here to reset