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.

由埃莉诺·奥斯特罗姆及其同事开发的制度分析和发展 (IAD) 框架为千变万化的社会互动主题提供了非常清晰的概念。在这项工作中，我们提出了一个计算模型来检查 IAD 框架中概述的任何变量对由此产生的社会互动的影响。特别感兴趣的是代理人社区采用的规则，因为它们是最容易在短期内发生变化的变量。为了提供对社交互动的系统描述，我们定义了动作情境语言 (ASL)，并提供了一个能够从 ASL 描述中自动生成正式博弈论模型的游戏引擎。然后，通过结合任何代理决策模型，从规则配置描述到它所鼓励的结果的连接是完整的。总体而言，我们的模型使任何代理社区都能执行假设分析，他们可以预见和检查一套法规将对他们所从事的社会互动产生的影响。因此，他们可以决定其实施是否可取。