A Privacy-preserving Model for the Multi-agent Propositional Planning Problem

  title={A Privacy-preserving Model for the Multi-agent Propositional Planning Problem},
  author={Andrea Bonisoli and A. Gerevini and A. Saetti and I. Serina},

Topics from this paper

Increased Privacy with Reduced Communication in Multi-Agent Planning
A new variant of MAFS is described, called multi-agent forward-backward search (MAFBS), that uses both forward and backward messages to reduce the number of messages sent and obtain new privacy properties. Expand
Acta Polytechnica CTU Proceedings
We present a project that aggregates various existing robotic software and serves as a platform to conveniently control a quadrocopter, mainly for research or educational purposes. User interfaceExpand
A Case For Domain-Independent Deterministic Multiagent Planning
The notion of planning using multiple agents has been around since the very beginning of planning itself. It has been approached from various viewpoints especially in the multiagent systemsExpand
0 Distributed and Multi-Agent Planning : A Survey
Cooperative Multi-Agent Planning
This article reviews the most relevant approaches to cooperative multi-agent planning, putting the focus on the solvers that took part in the 2015 Competition of Distributed and Multi-Agent Planning, and classifies them according to their key features and relative performance. Expand
Configurable Heuristic Adaptation for Improving Best First Search in AI Planning
  • I. Serina, M. Vallati
  • Computer Science
  • 2020 IEEE 32nd International Conference on Tools with Artificial Intelligence (ICTAI)
  • 2020
This paper introduces a highly configurable heuristic adaptation process based on the idea of dynamically penalising unpromising actions when an inconsistency in the heuristic evaluation is detected; its aim is to reduce the bias affecting specific actions, thereby encouraging exploration by the search process and adding diversity in the neighbourhood selection process. Expand
A Unified Framework for Planning in Adversarial and Cooperative Environments
A unified framework is developed that addresses dual problems of obfuscated plans whose execution in adversarial situations protects privacy, as well as legible plans which are easy for team members to understand in cooperative situations by computing plans with a desired level of comprehensibility from the point of view of a partially informed observer. Expand
Finding optimal feasible global plans for multiple teams of heterogeneous robots using hybrid reasoning: an application to cognitive factories
It is proved that the optimal coordination problem is NP-complete, and a solution is described using automated reasoners, to find an optimal global plan for multiple teams. Expand
Opponent-Aware Planning with Admissible Privacy Preserving for UGV Security Patrol under Contested Environment
This paper first defines the opponent-aware privacy-preserving planning problem, where the generated plans preserve admissible privacy, and demonstrates how to generate opponent- aware privacy- Preserving plans. Expand
A privacy-preserving model for multi-agent propositional planning
This paper proposes a model of the MA-planning tasks that preserves the privacy of the involved agents when this happens, and investigates an algorithm based on best first search for a model that uses some new heuristics providing a trade-off between accuracy and agents’ privacy. Expand


An approach to multi-agent planning with incomplete information
This paper proposes a cooperative refinement planning approach, built upon the partial-order planning paradigm, that allows agents to work with incomplete information and to have incomplete views of the world, i.e. being ignorant of other agents' information and maintaining their own private information. Expand
Multi-agent A* for parallel and distributed systems
This paper provides a simple formulation of multi-agent A*, with a parallel and distributed variant, which leads to super-linear speedup, solving benchmark problems that have not been solved before. Expand
From One to Many: Planning for Loosely Coupled Multi-Agent Systems
This paper establishes an upper bound on the complexity of multi-agent planning problems that depends exponentially on two parameters quantifying the level of agents' coupling, and on these parameters only. Expand