Automatic Synthesis of Dynamic Norms for Multi-Agent Systems

Natasha Alechina, Giuseppe De Giacomo, Brian Logan, Giuseppe Perelli

Research output: Chapter in Book/Report/Conference proceedingPublished conference contribution

Abstract

Norms have been widely proposed to coordinate and regulate behaviour in multi-agent systems (MAS). We consider the problem of synthesising and revising the set of norms in a normative MAS to satisfy a design objective expressed in Alternating Time Temporal Logic (ATL∗). ATL∗is a wellestablished language for strategic reasoning, which allows the specification of norms that constrain the strategic behaviour of agents. We focus on dynamic norms, that is, norms corresponding to Mealy machines, that allow us to place different
constraints on the agents’ behaviour depending on the state of the norm and the state of the underlying MAS. We show that synthesising dynamic norms is (k+ 1)-EXPTIME where k is the alternation depth of quantifiers in the ATL∗ specification. Note that for typical cases of interest, k is either 1 or 2. We also study the problem of removing existing norms to satisfy a new objective, which we show to be 2EXPTIME-complete.
Original languageEnglish
Title of host publicationKR2022 proceedings
Publication statusAccepted/In press - 15 Apr 2022
Event19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022: KR 2022 - Haifa, Israel
Duration: 31 Jul 20225 Aug 2022
Conference number: 19th
https://kr2022.cs.tu-dortmund.de/

Conference

Conference19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022
Country/TerritoryIsrael
CityHaifa
Period31/07/225/08/22
Internet address

Fingerprint

Dive into the research topics of 'Automatic Synthesis of Dynamic Norms for Multi-Agent Systems'. Together they form a unique fingerprint.

Cite this