A computational model of Ostrom's Institutional Analysis and Development framework

作者:

Highlights:

• A new logic programming language to systematically describe multiagent social interactions.

• The syntax is tailored to the IAD framework, and its semantics are grounded as extensive-form games.

• The generation of the game semantics is automatically performed by a game engine that iteratively interprets the rules.

摘要

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.

论文关键词:Institutional Analysis and Development framework,Rules,Normative multiagent systems,Game theory,Logic programming

论文评审过程:Received 29 November 2021, Revised 28 June 2022, Accepted 1 July 2022, Available online 8 July 2022, Version of Record 20 July 2022.

论文官网地址:https://doi.org/10.1016/j.artint.2022.103756