Abstract
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 well-established 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. We also study the problem of removing existing norms to satisfy a new objective, which we
show to be 2EXPTIME-complete.
show to be 2EXPTIME-complete.
| Original language | English |
|---|---|
| Publication status | Accepted/In press - 7 Nov 2022 |
| Event | AIxIA 2022: 21st International Conference of the Italian Association for Artificial Intelligence - University of Udine, Udine, Italy Duration: 28 Nov 2022 → 2 Dec 2022 Conference number: 21st https://aixia2022.uniud.it/ |
Conference
| Conference | AIxIA 2022 |
|---|---|
| Country/Territory | Italy |
| City | Udine |
| Period | 28/11/22 → 2/12/22 |
| Internet address |
Keywords
- Synthesis
- Multi-Agent Systems
- Normative Systems
- Temporal Logics
- Reasoning About Actions
- Strategic Reasoning