• Aucun résultat trouvé

Multi-Agent Epistemic Planning

N/A
N/A
Info
Télécharger
Protected

Academic year: 2022

Partager "Multi-Agent Epistemic Planning"

Copied!
1
0
0

Chargement.... (Voir le texte intégral maintenant)

Texte intégral

(1)

Multi-Agent Epistemic Planning

Enrico Pontelli

Dept. of Computer Science, New Mexico State University

[email protected]

Abstract. In this talk, I will provide an introduction to the concepts underlying planning for multi-agent systems in presence of epistemic ac- tions. We will start with a brief overview of some of the logical foun- dations and then proceed with the analysis of a recent approach to the description of multi-agent epistemic planning problems (using the lan- guage mA*). We will explore the syntactic characterization of mA* and its semantics, based on update models. We will also discuss briefly two implementation schemes that have been developed to resolve concrete planning problems.

The talk is meant to be highly introductory and accessible to a broad audience, especially composed of students.

Références

Télécharger maintenant ( PDF - 1 Page - 115.53 KB )

Documents relatifs

Epistemic logic meets epistemic game theory: a comparison between multi-agent Kripke models and type spaces

In this section we want to show how to extend our analysis about the equiva- lence between Kripke-style semantics and type space semantics for epistemic modal languages to a

MULTI-AGENT PLANNING FOR THE ROBOCUP RESCUE SIMULATION Applying Clustering into Task Allocation and Coordination

The RoboCup Rescue Simulation defines a multi- agent planning optimization problem that requires an efficient strategy for distributing up-to 30 agents over the simulated map,

Collaborative Agent-Based Negotiation in Supply Chain Planning using Multi-Behaviour Agents

Using multi-behaviour agents in an agent-based supply chain planning platform, the objective of this paper was to report the results of the simulation of various collaborative

Multi-criteria and multi-objective dynamic planning by self-adaptive multi-agent system, application to earth observation satellite constellations

Thus, we design ATLAS (Adaptive saTellite pLanning for dynamic eArth obServation), an adaptive multi-agent system to dynamically plan missions of constellations of satellites..

Finite Abstractions for the Verification of Epistemic Properties in Open Multi-Agent Systems

Further, we specify properties of interest on OMAS in a variant of first- order temporal-epistemic logic, whose characteris- ing features include epistemic modalities indexed

Generalizing AGM to a multi-agent setting

The epistemic state of the agent being represented semantically by a finite set of possible worlds (or interpretations) in AGM, this leads us to introduce the analogue notion

A Multi-agent Based Multi-Layer Distributed Hybrid Planning Model for Demand Responsive Transport System Study

This re- search presents a multi-agent based demand responsive transport (DRT) services model, which adopts a practical multi-agents planning approach for urban DRT services control

Multi-Criteria and Multi-Objective Dynamic Planning by Self-Adaptive Multi-Agent System, Application to Earth Observation Satellite Constellations

Thus, we design ATLAS (Adaptive saTellite pLanning for dynamic eArth obServation), an adaptive multi-agent system to dynamically plan missions of constellations of satellites..