English
Related papers

Related papers: Information-Theoretic Abstractions for Planning in…

200 papers

The problem of planning a set of paths for the coalition of robots (agents) with different capabilities is considered in the paper. Some agents can modify the environment by destructing the obstacles thus allowing the other ones to shorten…

Artificial Intelligence · Computer Science 2018-07-03 Anton Andreychuk , Konstantin Yakovlev

By starting with the assumption that motion is fundamentally a decision making problem, we use the world-line concept from Special Relativity as the inspiration for a novel multi-agent path planning method. We have identified a particular…

Robotics · Computer Science 2022-04-04 Vismay Modi , Yixin Chen , Abhishek Madan , Shinjiro Sueda , David I. W. Levin

Automatic service composition in mobile and pervasive computing faces many challenges due to the complex nature of the environment. Common approaches address service composition from optimization perspectives which are not feasible in…

Software Engineering · Computer Science 2019-08-07 Oscar J. Romero

State-space search with explicit abstraction heuristics is at the state of the art of cost-optimal planning. These heuristics are inherently limited, nonetheless, because the size of the abstract space must be bounded by some, even if a…

Artificial Intelligence · Computer Science 2014-01-17 Michael Katz , Carmel Domshlak

We describe a framework for building abstraction hierarchies whereby an agent alternates skill- and representation-acquisition phases to construct a sequence of increasingly abstract Markov decision processes. Our formulation builds on…

Artificial Intelligence · Computer Science 2015-09-28 George Konidaris

Reasoning requires going beyond pattern matching or memorization of solutions to identify and implement "algorithmic procedures" that can be used to deduce answers to hard problems. Doing so requires realizing the most relevant primitives,…

Artificial Intelligence · Computer Science 2025-10-03 Yuxiao Qu , Anikait Singh , Yoonho Lee , Amrith Setlur , Ruslan Salakhutdinov , Chelsea Finn , Aviral Kumar

We propose a practical integration of logical state abstraction with AIXI, a Bayesian optimality notion for reinforcement learning agents, to significantly expand the model class that AIXI agents can be approximated over to complex…

Artificial Intelligence · Computer Science 2022-10-14 Samuel Yang-Zhao , Tianyu Wang , Kee Siong Ng

The study of causal abstractions bridges two integral components of human intelligence: the ability to determine cause and effect, and the ability to interpret complex patterns into abstract concepts. Formally, causal abstraction frameworks…

Machine Learning · Computer Science 2025-09-29 Kevin Xia , Elias Bareinboim

Probability models have been proposed in the literature to account for "intelligent" behavior in many contexts. In this paper, probability propagation is applied to model agent's motion in potentially complex scenarios that include goals…

Decision-making in complex, continuous multi-task environments is often hindered by the difficulty of obtaining accurate models for planning and the inefficiency of learning purely from trial and error. While precise environment dynamics…

Machine Learning · Computer Science 2025-03-20 Jeff Jewett , Sandhya Saisubramanian

A desirable property of an intelligent agent is its ability to understand its environment to quickly generalize to novel tasks and compose simpler tasks into more complex ones. If the environment has geometric or arithmetic structure, the…

Artificial Intelligence · Computer Science 2018-09-07 David Folqué , Sainbayar Sukhbaatar , Arthur Szlam , Joan Bruna

Complex scheduling problems require a large amount computation power and innovative solution methods. The objective of this paper is the conception and implementation of a multi-agent system that is applicable in various problem domains.…

Multiagent Systems · Computer Science 2020-04-21 Peter Hillmann , Tobias Uhlig , Gabi Dreo Rodosek , Oliver Rose

We develop a general framework for agent abstraction based on the situation calculus and the ConGolog agent programming language. We assume that we have a high-level specification and a low-level specification of the agent, both represented…

Logic in Computer Science · Computer Science 2024-10-22 Bita Banihashemi , Giuseppe De Giacomo , Yves Lespérance

In Reasoning about Action and Planning, one synthesizes the agent plan by taking advantage of the assumption on how the environment works (that is, one exploits the environment's effects, its fairness, its trajectory constraints). In this…

Logic in Computer Science · Computer Science 2019-05-23 Benjamin Aminof , Giuseppe De Giacomo , Aniello Murano , Sasha Rubin

Generalized planning accelerates classical planning by finding an algorithm-like policy that solves multiple instances of a task. A generalized plan can be learned from a few training examples and applied to an entire domain of problems.…

Robotics · Computer Science 2021-09-24 Aidan Curtis , Tom Silver , Joshua B. Tenenbaum , Tomas Lozano-Perez , Leslie Pack Kaelbling

This paper introduces a framework for Planning while Learning where an agent is given a goal to achieve in an environment whose behavior is only partially known to the agent. We discuss the tractability of various plan-design processes. We…

Artificial Intelligence · Computer Science 2014-11-17 S. Safra , M. Tennenholtz

We consider the problem of using an autonomous agent to persistently monitor a collection of dynamic targets distributed in an environment. We generalize existing work by allowing the agent's dynamics to vary throughout the environment,…

Optimization and Control · Mathematics 2025-03-03 Jonas Hall , Christos G. Cassandras , Sean B. Andersson

Making decisions in complex environments is a key challenge in artificial intelligence (AI). Situations involving multiple decision makers are particularly complex, leading to computational intractability of principled solution methods. A…

Artificial Intelligence · Computer Science 2021-03-02 Frans A. Oliehoek , Stefan Witwicki , Leslie P. Kaelbling

Humans and animals have the ability to reason and make predictions about different courses of action at many time scales. In reinforcement learning, option models (Sutton, Precup \& Singh, 1999; Precup, 2000) provide the framework for this…

Machine Learning · Computer Science 2021-08-09 Khimya Khetarpal , Zafarali Ahmed , Gheorghe Comanici , Doina Precup

Whereas distributed computing research has been very successful in exploring the solvability/impossibility border of distributed computing problems like consensus in representative classes of computing models with respect to model…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-05-27 Hugo Rincon Galeana , Ulrich Schmid