English
Related papers

Related papers: Symbolic Search for Optimal Planning with Expressi…

200 papers

Among classical search algorithms with the same heuristic information, with sufficient memory A* is essentially as fast as possible in finding a proven optimal solution. However, in many situations optimal solutions are simply infeasible,…

Artificial Intelligence · Computer Science 2015-11-30 Dimitri Klimenko , Hanna Kurniawati , Marcus Gallagher

In this paper we look into the problem of planning over hybrid domains, where change can be both discrete and instantaneous, or continuous over time. In addition, it is required that each state on the trajectory induced by the execution of…

Artificial Intelligence · Computer Science 2022-09-30 Miquel Ramirez , Enrico Scala , Patrik Haslum , Sylvie Thiebaux

Solving complex planning problems has been a long-standing challenge in computer science. Learning-based subgoal search methods have shown promise in tackling these problems, but they often suffer from a lack of completeness guarantees,…

Artificial Intelligence · Computer Science 2023-11-30 Kalle Kujanpää , Joni Pajarinen , Alexander Ilin

Fast Downward is a classical planning system based on heuristic search. It can deal with general deterministic planning problems encoded in the propositional fragment of PDDL2.2, including advanced features like ADL conditions and effects…

Artificial Intelligence · Computer Science 2011-09-29 M. Helmert

Planning in robotics is often split into task and motion planning. The high-level, symbolic task planner decides what needs to be done, while the motion planner checks feasibility and fills up geometric detail. It is known however that such…

Robotics · Computer Science 2017-06-22 Jonathan Ferrer-Mestres , Guillem Francès , Hector Geffner

We consider two active binary-classification problems with atypical objectives. In the first, active search, our goal is to actively uncover as many members of a given class as possible. In the second, active surveying, our goal is to…

Machine Learning · Computer Science 2016-11-11 Roman Garnett , Yamuna Krishnamurthy , Xuehan Xiong , Jeff Schneider , Richard Mann

Motivated by programmatic advertising optimization, we consider the task of sequentially allocating budget across a set of resources. At every time step, a feasible allocation is chosen and only a corresponding random return is observed.…

Artificial Intelligence · Computer Science 2024-10-02 Juliette Achddou , Olivier Cappe , Aurélien Garivier

We present a method to apply heuristic search algorithms to solve rearrangement planning by pushing problems. In these problems, a robot must push an object through clutter to achieve a goal. To do this, we exploit the fact that contact…

Robotics · Computer Science 2016-03-30 Jennifer E. King , Siddhartha S. Srinivasa

Current domain-independent, classical planners require symbolic models of the problem domain and instance as input, resulting in a knowledge acquisition bottleneck. Meanwhile, although deep learning has achieved significant success in many…

Artificial Intelligence · Computer Science 2022-06-17 Masataro Asai , Hiroshi Kajino , Alex Fukunaga , Christian Muise

This survey (re)introduces reinforcement learning methods to economists. The curse of dimensionality limits how far exact dynamic programming can be effectively applied, forcing us to rely on suitably "small" problems or our ability to…

General Economics · Economics 2026-03-25 Pranjal Rawat

Automated temporal planning is the technology of choice when controlling systems that can execute more actions in parallel and when temporal constraints, such as deadlines, are needed in the model. One limitation of several action-based…

Artificial Intelligence · Computer Science 2019-09-26 Alessandro Valentini , Andrea Micheli , Alessandro Cimatti

We present a new algorithm for probabilistic planning with no observability. Our algorithm, called Probabilistic-FF, extends the heuristic forward-search machinery of Conformant-FF to problems with probabilistic uncertainty about both the…

Artificial Intelligence · Computer Science 2011-11-02 C. Domshlak , J. Hoffmann

Autonomous systems must solve motion planning problems subject to increasingly complex, time-sensitive, and uncertain missions. These problems often involve high-level task specifications, such as temporal logic or chance constraints, which…

Systems and Control · Electrical Eng. & Systems 2026-04-28 Junyang Cai , Weimin Huang , Brendan Long , Matthew Cleaveland , Jyotirmoy V. Deshmukh , Lars Lindemann , Bistra Dilkina

Recent years have seen the development of methods for multiagent planning under uncertainty that scale to tens or even hundreds of agents. However, most of these methods either make restrictive assumptions on the problem domain, or provide…

Artificial Intelligence · Computer Science 2015-07-21 Frans A. Oliehoek , Matthijs T. J. Spaan , Stefan Witwicki

In task and motion planning (TAMP), the ambiguity and underdetermination of abstract descriptions used by task planning methods make it difficult to characterize physical constraints needed to successfully execute a task. The usual approach…

Robotics · Computer Science 2026-02-03 Alejandro Agostini , Justus Piater

In this work we focus on efficient heuristics for solving a class of stochastic planning problems that arise in a variety of business, investment, and industrial applications. The problem is best described in terms of future buy and sell…

Artificial Intelligence · Computer Science 2013-01-14 Milos Hauskrecht , Eli Upfal

Heuristic search is often used for motion planning and pathfinding problems, for finding the shortest path in a graph while also promising completeness and optimal efficiency. The drawback is it's space complexity, specifically storing all…

Artificial Intelligence · Computer Science 2024-06-10 Davor Bokan , Zlatan Ajanovic , Bakir Lacevic

Nurse scheduling is a difficult optimization problem with multiple constraints. There is extensive research in the literature solving the problem using meta-heuristics approaches. In this paper, we will investigate an intelligent search…

Artificial Intelligence · Computer Science 2012-10-08 Murphy Choy , Michelle Cheong

Reinforcement learning and symbolic planning have both been used to build intelligent autonomous agents. Reinforcement learning relies on learning from interactions with real world, which often requires an unfeasibly large amount of…

Machine Learning · Computer Science 2018-06-07 Fangkai Yang , Daoming Lyu , Bo Liu , Steven Gustafson

Robotic motion planning problems are typically solved by constructing a search tree of valid maneuvers from a start to a goal configuration. Limited onboard computation and real-time planning constraints impose a limit on how large this…

Robotics · Computer Science 2017-07-12 Mohak Bhardwaj , Sanjiban Choudhury , Sebastian Scherer