TL;DR: It is proven that the theory of knowledge, communication, and planning is consistent with a broad range of physical theories, despite the existence of a number of potential paradoxes.
Abstract: This paper presents a theory expressed in first-order logic for describing and supporting inference about action, knowledge, planning, and communication, in an egalitarian multi-agent setting. The underlying ontology of the theory uses a situationbased temporal model and a possible-worlds model of knowledge. It supports plans and communications of a very general kind, both informative communications and requests. Communications may refer to states of the world or states of knowledge in the past, present, or future. We demonstrate that the theory is powerful enough to represent several interesting multi-agent planning problems and to justify their solutions. We have proven that the theory of knowledge, communication, and planning is consistent with a broad range of physical theories, despite the existence of a number of potential paradoxes.
TL;DR: A multi-agent planning system (MAPS) of autonomous spacecraft is proposed, which is capable of describing simultaneous activity, continue time, resource and temporal constraints in MAPS, and a new planning formal model is given firstly.
TL;DR: This chapter focuses on approaches to coordinate the multi-agent planning process, and presents a plan merging algorithm that uses these resources to reduce the costs of independently developed plans.
TL;DR: The main shortcomoing of this model is the absence of explicit handling of temporal constraints, so a model based on Hybrid Automata that model different clocks evolving with different speeds is developed.
Abstract: The two models presented in this paper are suitable for multi-agent planning. The Recursive Petri nets allow the plans modeling (both at the agent and multi-agents levels) and their management when abstraction and dynamic refinement are required. RPN allows. easily. the synchronization of individual agents’ plans. They are, in particular, Interesting for the multi-agent validation thanks to the reachability tree building if combined to reduction technics (in order to avoid the combinatory explosion of the the number of states). The main shortcomoing of this model is the absence of explicit handling of temporal constraints. This is why we developed a model based on Hybrid Automata that model different clocks evolving with different speeds. These Clocks may be the resources of each agent and the time.
TL;DR: This paper presents an integral cycle developed to build feasible multi-agent plans in a dynamic context (i.e. aircraft simulation) and allows the management of different constraints at the single- and multi- agent levels.
Abstract: This paper proposes a multi-agent planning framework. It presents an integral cycle we developed to build feasible multi-agent plans in a dynamic context (i.e. aircraft simulation). This cycle takes into account both functional and computational features of our multi-agent planning framework. From modeling to validation, this cycle allows the management of different constraints (e.g. time, physical resources, etc.) at the single- and multi-agent levels
TL;DR: A simplification of the general planning problem called ‘the classical planning problem’ is focused on planning agents, which are often classified into two categories according to the techniques they employ in their decision making: reactive and planning.
Abstract: Many day-to-day situations involve decision making: for example, a taxi company has some transportation tasks to be carried out, a large firm has to distribute a lot of complicated tasks among its subdivisions or subcontractors, and an air-traffic controller has to assign time slots to planes that are landing or taking off. Intelligent agents can aid in this decision-making process. Agents are often classified into two categories according to the techniques they employ in their decision making: reactive agents (cf. (Ferber and Drogoul, 1992)) base their next decision solely on their current sensory input; planning agents, on the other hand, take into account anticipated future developments — for instance as a result of their own actions — to decide on the most favourable course of action. When an agent should plan and when it should be reactive depends on the particular situation it finds itself in. Consider the example where an agent has to plan a route from one place to another. A reactive agent might use a compass to plot its course, whereas a planning agent would consult a map. Clearly, the planning agent will come up with the shortest route in most cases, as it won’t be confounded by uncrossable rivers, one-way streets, and labyrinthine city layouts. On the other hand, there are also situations where a reactive agent can at least be equally effective, for instance if there are no maps to consult, for instance in a domain of (Mars) exploration rovers. Nevertheless, the ability to plan ahead is invaluable in many domains, so in this paper we will focus on planning agents. The general structure of a planning problem is easy to explain: (the relevant part of) the world is in a certain state, but managers or directors would like it to be in another state. The (abstract) problem of how one should get from the current state of the world through a sequence of actions to the desired goal state is a planning problem. Ideally, to solve such planning problems, we would like to have a general planning-problem solver. However, such an algorithm solving all planning problems can be proven to be non-existing.1 We therefore start to concentrate on a simplification of the general planning problem called ‘the classical planning problem’. Although not all realistic problems can be modeled as a classical planning problem, they can help to solve more