TY - UNPB
T1 - The complexity of data-driven norm synthesis and revision
AU - Dell'Anna, D.
AU - Alechina, N.
AU - Logan, B.
AU - Löffler, M.
AU - Dalpiaz, F.
AU - Dastani, M.
PY - 2021/12/5
Y1 - 2021/12/5
N2 - Norms have been widely proposed as a way of coordinating and controlling the activities of agents in a multi-agent system (MAS). A norm specifies the behaviour an agent should follow in order to achieve the objective of the MAS. However, designing norms to achieve a particular system objective can be difficult, particularly when there is no direct link between the language in which the system objective is stated and the language in which the norms can be expressed. In this paper, we consider the problem of synthesising a norm from traces of agent behaviour, where each trace is labelled with whether the behaviour satisfies the system objective. We show that the norm synthesis problem is NP-complete.
AB - Norms have been widely proposed as a way of coordinating and controlling the activities of agents in a multi-agent system (MAS). A norm specifies the behaviour an agent should follow in order to achieve the objective of the MAS. However, designing norms to achieve a particular system objective can be difficult, particularly when there is no direct link between the language in which the system objective is stated and the language in which the norms can be expressed. In this paper, we consider the problem of synthesising a norm from traces of agent behaviour, where each trace is labelled with whether the behaviour satisfies the system objective. We show that the norm synthesis problem is NP-complete.
UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-85169852886&partnerID=MN8TOARS
U2 - 10.48550/arxiv.2112.02626
DO - 10.48550/arxiv.2112.02626
M3 - Preprint
BT - The complexity of data-driven norm synthesis and revision
PB - arXiv
ER -