The WeNet partners at IIIA-CSIC just published the eponymous paper through Elsevier’s Artificial Intelligence Vol. 311, which is still in progress – with finalisation scheduled for October 2022 – but already featuring final articles, fully available online.
The IIIA-CSIC’s partners’ paper revolves on three key highlights: a new logic programming language to systematically describe multiagent social interactions; a syntax tailored to the IAD framework, with its semantics are grounded as extensive-form games; and a generation of the game semantics automatically performed by a game engine that iteratively interprets the rules.
For more details, read the abstract here below:
The Institutional Analysis and Development (IAD) framework developed by Elinor Ostrom and colleagues provides great conceptual clarity on the immensely varied topic of social interactions. In this work, we propose a computational model to examine the impact that any of the variables outlined in the IAD framework has on the resulting social interactions. Of particular interest are the rules adopted by a community of agents, as they are the variables most susceptible to change in the short term. To provide systematic descriptions of social interactions, we define the Action Situation Language (ASL) and provide a game engine capable of automatically generating formal game-theoretical models out of ASL descriptions. Then, by incorporating any agent decision-making models, the connection from a rule configuration description to the outcomes encouraged by it is complete. Overall, our model enables any community of agents to perform what-if analysis, where they can foresee and examine the impact that a set of regulations will have on the social interaction they are engaging in. Hence, they can decide whether their implementation is desirable.
To read more, the full article is available in our Scientific Publications section.