Governing Government: A Framework for Multi-tier Institution Specification and Reasoning

A key challenge of institutions is how to guide their governing into being desirable. This is important from the perspective of an agent governed by an institution to maintain specific rights, and of cross-institutional policies that require institutions' regulations to be coordinated (e.g. national legislations with supranational policy). This research addresses this problem by developing a framework for the specification and automated reasoning of institution governing institutions, in a hierarchical structure called multi-tier institutions, and automated revision of institutions for compliance. This automates guiding institutional designers towards desirable institutional specifications respecting autonomy and subsidiarity.