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.
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 language | English |
|---|---|
| Title of host publication | Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning |
| Publisher | IJCAI |
| Pages | 12-21 |
| Number of pages | 11 |
| ISBN (Print) | 978-1-956792-01-0 |
| DOIs | |
| Publication status | Published - 5 Aug 2022 |
| Event | 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022: KR 2022 - Haifa, Israel Duration: 31 Jul 2022 → 5 Aug 2022 Conference number: 19th https://kr2022.cs.tu-dortmund.de/ |
Publication series
| Name | |
|---|---|
| ISSN (Electronic) | 2334-1033 |
Conference
| Conference | 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022 |
|---|---|
| Country/Territory | Israel |
| City | Haifa |
| Period | 31/07/22 → 5/08/22 |
| Internet address |
Bibliographical note
Funding Information:This work is partially supported by the ERC Advanced Grant WhiteMech (No. 834228), by the EU ICT-48 2020 project TAILOR (No. 952215), by the PRIN project RIPER (No. 20203FFYLK), and by the JPMorgan AI Faculty Research Award ”Resilience-based Generalized Planning and Strategic Reasoning”.
Publisher Copyright:
© 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022. All rights reserved.
Keywords
- KR and autonomous agents
- multi-agent systems
- Reasoning about actions and change
- action languages