Partial-Order Planning with Concurrent Interacting Actions

  title={Partial-Order Planning with Concurrent Interacting Actions},
  author={Craig Boutilier and Ronen I. Brafman},
In order to generate plans for agents with multiple actuators, agent teams, or distributed controllers, we must be able to represent and plan using concurrent actions with interacting effects. This has historically been considered a challenging task requiring a temporal planner with the ability to reason explicitly about time. We show that with simple modifications, the STRIPS action representation language can be used to represent interacting actions. Moreover, algorithms for partial-order… 

Multi-agent Planning with Collaborative Actions

This paper gives a new specification technique for handling collaborative actions in a PDDL-like language and proposes a new approach to solve multi-agent planning problems without reasoning explicitly about time.

Temporal Multiagent Planning with Concurrent Action Constraints

This paper investigates how centralised, cooperative, multiagent planning problems with concurrent action constraints and heterogeneous agents can be encoded with some minor additions to PDDL, and

Planning for Loosely Coupled Agents Using Partial Order Forward-Chaining

A hybrid between temporal partial-order and forward-chaining planning where each action in a partially ordered plan is associated with a partially defined state that can be used for partial evaluation of preconditions as well as precondition control formulas used as guidance is investigated.

Solving Multiagent Planning Problems with Concurrent Conditional Effects

This work relies on a compilation from concurrent multiagent planning to classical planning, allowing it to be used to use an off-the-shelf classical planner to solve the original multiagent problem.

A Single-Agent Approach to Multiagent Planning

This paper presents a novel approach to multiagent planning in domains with concurrent actions and associated concurrent action constraints, which allows for a transformation of the problems into single-agent planning problems that are considerably easier to solve.

Multiagent Planning with Partially Ordered Temporal Plans

This paper discusses the specifics of planning in multiagent environments and presents the formal framework MAPL ("maple") for describing multiagent planning domains, and presents a novel forward-search algorithm synthesizing MAPL's partially ordered temporal plans.

Multiagent Planning with Partially Ordered Temporal Plans Technical Report

This paper discusses the specifics of planning in multiagent environments and presents the formal framework MAPL (“maple”) for describing multiagent planning domains and algorithms that in the future might allow crossevaluation of Multiagent Planning algorithms on standardized benchmarks.

Planning for Multiagent Environments From Individual Perceptions to Coordinated Execution

In this paper, we discuss the particular characteristics of planning for multiagent systems, and present a rich formal model for describing features like concurrency, individual and mutual beliefs of

Reasoning and Planning with Cooperative Actions for Multiagents Using Answer Set Programming

This paper extends the action language $\mathcal A$ in [12] to represent and reason about plans with cooperative actions of an individual agent operating in a multiagent environment and uses the proposed language to formalize the multiagent planning problem and the notion of a joint plan for multiagents in this setting.

Resolution of concurrent planning problems using classical planning

The compilation for multiagent planning is able to generate concurrent actions that satisfy a set of concurrency constraints, and avoids the exponential blowup associated with concurrent actions, a problem that many multiagent planners are facing nowadays.



A Survey of Research in Distributed, Continual Planning

It is argued that developing DCP systems will be necessary for planning applications to be successful in these environments and a historical overview of research leading to the current state of the art in DCP is given.

Generating Parallel Execution Plans with a Partial-order Planner

The underlying assumptions about when a partial plan can be executed in parallel are identified, the classes of parallel plans that can be generated by different partial-order planners are defined, and the changes required to turn UCPOP into a parallel execution planner are described.

Partial global planning: a coordination framework for distributed hypothesis formation

The authors implement and evaluate partial global planning in a simulated vehicle monitoring application and identifying promising extensions to the framework.

An Introduction to Least Commitment Planning

A progression of least commitment planners is summarized, starting with one that handles the simple STRIPS representation and ending with UCPOP, a planner that manages actions with disjunctive precondition, conditional effects, and universal quantification over dynamic universes.

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

This article introduces a new planning domain description language, NADL, to specify non-deterministic, multi-agent domains and describes the syntax and semantics of NADL and shows how to build an efficient OBDD-based representation of an NADL description.

A Multiagent Planning Architecture

The Multiagent Planning Architecture is a framework for integrating diverse technologies into a system capable of solving complex planning problems and has been validated through its use in developing several large-scale problem-solving systems for Air Campaign Planning.

Sequential Optimality and Coordination in Multiagent Systems

This work proposes an extension of value iteration in which the system's state space is augmented with the state of the coordination mechanism adopted, allowing agents to reason about the short and long term prospects for coordination, the long term consequences of (mis)coordination, and make decisions to engage or avoid coordination problems based on expected value.

Controlling Communication in Distributed Planning Using Irrelevance Reasoning

This paper describes an approach to controlling information distribution among planning agents using irrelevance reasoning, and describes an implementation of this approach within a distributed version of the SIPE-2 planner.

UCPOP: A Sound, Complete, Partial Order Planner for ADL

It is proved ucpop is both sound and complete for this representation and a practical implementation that succeeds on all of Pednault's and McDermott's examples, including the infamous "Yale Stacking Problem".

Planning Parallel Actions